Mercurial > urweb
comparison lib/basis.lig @ 142:6f9e224692ec
Form submission type-checking
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 20 Jul 2008 12:21:30 -0400 |
parents | 63c699450281 |
children | 15e8b9775539 |
comparison
equal
deleted
inserted
replaced
141:63c699450281 | 142:6f9e224692ec |
---|---|
61 con lformTag = fn ty :: Type => fn attrs :: {Type} => | 61 con lformTag = fn ty :: Type => fn attrs :: {Type} => |
62 ctx ::: {Unit} -> [LForm] ~ ctx | 62 ctx ::: {Unit} -> [LForm] ~ ctx |
63 -> nm :: Name -> unit | 63 -> nm :: Name -> unit |
64 -> tag attrs ([LForm] ++ ctx) [] [] [nm = ty] | 64 -> tag attrs ([LForm] ++ ctx) [] [] [nm = ty] |
65 val textbox : lformTag string [] | 65 val textbox : lformTag string [] |
66 | |
67 val submit : ctx ::: {Unit} -> [LForm] ~ ctx | |
68 -> use ::: {Type} -> unit | |
69 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] |