Mercurial > urweb
comparison lib/basis.lig @ 152:67ab26888839
textarea
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 24 Jul 2008 10:41:53 -0400 |
parents | 15e8b9775539 |
children | cfe6f9db74aa |
comparison
equal
deleted
inserted
replaced
151:6c14e78feb6d | 152:67ab26888839 |
---|---|
64 con lformTag = fn ty :: Type => fn attrs :: {Type} => | 64 con lformTag = fn ty :: Type => fn attrs :: {Type} => |
65 ctx ::: {Unit} -> [LForm] ~ ctx | 65 ctx ::: {Unit} -> [LForm] ~ ctx |
66 -> nm :: Name -> unit | 66 -> nm :: Name -> unit |
67 -> tag attrs ([LForm] ++ ctx) [] [] [nm = ty] | 67 -> tag attrs ([LForm] ++ ctx) [] [] [nm = ty] |
68 val textbox : lformTag string [] | 68 val textbox : lformTag string [] |
69 val ltextarea : lformTag string [] | |
69 | 70 |
70 val submit : ctx ::: {Unit} -> [LForm] ~ ctx | 71 val submit : ctx ::: {Unit} -> [LForm] ~ ctx |
71 -> use ::: {Type} -> unit | 72 -> use ::: {Type} -> unit |
72 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] | 73 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] |