Mercurial > urweb

comparison lib/basis.lig @ 155:4334bb734187

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Password inputs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:32:01 -0400
parents e2b185379592
children 88d46972de53
comparison
equal deleted inserted replaced
154:e2b185379592 155:4334bb734187
64 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} => 64 con lformTag = fn ty :: Type => fn inner :: {Unit} => 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) inner [] [nm = ty] 67 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
68 val textbox : lformTag string [] [] 68 val textbox : lformTag string [] []
69 val password : lformTag string [] []
69 val ltextarea : lformTag string [] [] 70 val ltextarea : lformTag string [] []
70 71
71 con radio = [Body, Radio] 72 con radio = [Body, Radio]
72 val radio : lformTag string radio [] 73 val radio : lformTag string radio []
73 val radioOption : unit -> tag [Value = string] radio [] [] [] 74 val radioOption : unit -> tag [Value = string] radio [] [] []