Mercurial > urweb

comparison lib/basis.lig @ 153:cfe6f9db74aa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
radio and radioOption
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:10:23 -0400
parents 67ab26888839
children e2b185379592
comparison
equal deleted inserted replaced
152:67ab26888839 153:cfe6f9db74aa
59 val a : bodyTag [Link = page] 59 val a : bodyTag [Link = page]
60 60
61 val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type} 61 val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type}
62 -> xml lform [] bind 62 -> xml lform [] bind
63 -> xml ([Body] ++ ctx) [] [] 63 -> xml ([Body] ++ ctx) [] []
64 con lformTag = fn ty :: Type => 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) [] [] [nm = ty] 67 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
68 val textbox : lformTag string [] 68 val textbox : lformTag string [] []
69 val ltextarea : lformTag string [] 69 val ltextarea : lformTag string [] []
70
71 con radio = [Body, Radio]
72 val radio : lformTag string radio []
73 val radioOption : unit -> tag [Value = string] radio [] [] []
70 74
71 val submit : ctx ::: {Unit} -> [LForm] ~ ctx 75 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
72 -> use ::: {Type} -> unit 76 -> use ::: {Type} -> unit
73 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] 77 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []