Mercurial > urweb

comparison demo/more/orm.urs @ 991:b132f8620a66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial Orm1 demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 10:34:27 -0400
parents 46803e668a89
children bb3fc575cfe7
comparison
equal deleted inserted replaced
990:46803e668a89 991:b132f8620a66
3 3
4 con meta = fn col_parent :: (Type * Type) => { 4 con meta = fn col_parent :: (Type * Type) => {
5 Link : link col_parent, 5 Link : link col_parent,
6 Inj : sql_injectable col_parent.1 6 Inj : sql_injectable col_parent.1
7 } 7 }
8
9 val local : t :: Type -> sql_injectable t -> meta (t, unit)
8 10
9 functor Table(M : sig 11 functor Table(M : sig
10 con cols :: {(Type * Type)} 12 con cols :: {(Type * Type)}
11 val cols : $(map meta cols) 13 val cols : $(map meta cols)
12 constraint [Id] ~ cols 14 constraint [Id] ~ cols