Mercurial > urweb

comparison lib/basis.lig @ 152:67ab26888839

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 []