diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 12:48:53 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 12:48:53 -0400 |
commit | 4ce29a476f2f02448db865787b55037b7b10da69 (patch) | |
tree | 06207c87f54c242948fab98a5331a12d0557c85d /demo/more/meta.urs | |
parent | 2fdb4d380392a2a221e4f0ebec1bf555e2c73ba3 (diff) |
Start of user management
Diffstat (limited to 'demo/more/meta.urs')
-rw-r--r-- | demo/more/meta.urs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/demo/more/meta.urs b/demo/more/meta.urs new file mode 100644 index 00000000..d4d626c5 --- /dev/null +++ b/demo/more/meta.urs @@ -0,0 +1,12 @@ +con meta = fn (db :: Type, widget :: Type) => + {Nam : string, + 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 : string -> meta (int, string) +val float : string -> meta (float, string) +val string : string -> meta (string, string) +val bool : string -> meta (bool, bool) |