repo.or.cz
/
sqlgg.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
option -gen
[sqlgg.git]
/
sql.ml
blob
52988d50e1aa7cc99572318f105f841b4bc80d1b
1
(** *)
2
3
module
Type
=
4
struct
5
type
t
= |
Int
|
Text
|
Blob
|
Float
|
Bool
6
deriving
(
Show
)
7
8
let
to_string
=
Show
.
show
<
t
>
9
end
10
11
module
Constraint
=
12
struct
13
type
conflict_algo
= |
Ignore
|
Replace
|
Abort
|
Fail
|
Rollback
14
deriving
(
Show
)
15
16
type
t
= |
PrimaryKey
|
NotNull
|
Unique
|
Autoincrement
|
OnConflict
of
conflict_algo
17
deriving
(
Show
)
18
end
19