diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-06 10:34:27 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-06 10:34:27 -0400 |
commit | 140bf664ca2e8e0f38650226d025eab952d93b9e (patch) | |
tree | 8a386900871e1e5f5b8e0bc71360b35155987e1d /demo/more/orm.ur | |
parent | 80d6d2caaf8994d49c7a411f22993a4bb8eef973 (diff) |
Initial Orm1 demo
Diffstat (limited to 'demo/more/orm.ur')
-rw-r--r-- | demo/more/orm.ur | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/demo/more/orm.ur b/demo/more/orm.ur index a0fd82a3..24ccac67 100644 --- a/demo/more/orm.ur +++ b/demo/more/orm.ur @@ -1,11 +1,14 @@ con link = fn col_parent :: (Type * Type) => col_parent.1 -> transaction (option col_parent.2) -fun noParent [t ::: Type] _ = return None +fun noParent [t ::: Type] (_ : t) = return None con meta = fn col_parent :: (Type * Type) => { Link : link col_parent, Inj : sql_injectable col_parent.1 } +fun local [t :: Type] (inj : sql_injectable t) = {Link = noParent, + Inj = inj} + functor Table(M : sig con cols :: {(Type * Type)} val cols : $(map meta cols) |