sql.ml

   1 (* $Id$ *)
   2
   3 open Printf
   4
   5 module Type =
   6 struct
   7   type t = | Int | Text | Blob
   8         deriving (Show)
   9
  10   let to_string = Show.show<t>
  11 (*   let to_string = function | Int -> "Int" | Text -> "Text" | Blob -> "Blob" *)
  12   let to_cpp_string x = "typename Traits::" ^ (to_string x)
  13 end
  14
  15 module Constraint =
  16 struct
  17   type conflict_algo = | Ignore | Replace | Abort | Fail | Rollback
  18        deriving (Show)
  19
  20   type t = | PrimaryKey | NotNull | Unique | Autoincrement | OnConflict of conflict_algo
  21        deriving (Show)
  22 end
  23