diff options
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) |