diff options
author | 2009-10-20 12:48:53 -0400 | |
---|---|---|
committer | 2009-10-20 12:48:53 -0400 | |
commit | 8ba88fa1aacb63cff48fe42ba7d3dcfc31c45bbb (patch) | |
tree | 06207c87f54c242948fab98a5331a12d0557c85d /demo/more/conference.urs | |
parent | e23f4d764bc93640cb08a7d6ebd7e261fac2cb05 (diff) |
Start of user management
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 |