diff options
Diffstat (limited to 'demo/more/conference.urs')
| -rw-r--r-- | demo/more/conference.urs | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/demo/more/conference.urs b/demo/more/conference.urs index aecdf143..7ca042a5 100644 --- a/demo/more/conference.urs +++ b/demo/more/conference.urs @@ -1,23 +1,11 @@ -con meta = fn (db :: Type, widget :: Type) => - {Show : db -> xbody, - Widget : nm :: Name -> xml form [] [nm = widget], - WidgetPopulated : nm :: Name -> db -> xml form [] [nm = widget], - Parse : widget -> db, - Inject : sql_injectable db} - -val int : meta (int, string) -val float : meta (float, string) -val string : meta (string, string) -val bool : meta (bool, bool) - functor Make(M : sig con paper :: {(Type * Type)} constraint [Id, Title] ~ paper - val paper : $(map meta paper) + val paper : $(map Meta.meta paper) con review :: {(Type * Type)} constraint [Paper, User] ~ review - val review : $(map meta review) + val review : $(map Meta.meta review) end) : sig val main : unit -> transaction page |