Mercurial > urweb

comparison lib/basis.urs @ 341:389399d65331

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud update form
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:03:55 -0400
parents 075b36dbb1a4
children f55034419a07
comparison
equal deleted inserted replaced
340:5ccb1c6412e4 341:389399d65331
294 -> xml ([Body] ++ ctx) [] [] 294 -> xml ([Body] ++ ctx) [] []
295 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} => 295 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} =>
296 ctx ::: {Unit} -> [LForm] ~ ctx 296 ctx ::: {Unit} -> [LForm] ~ ctx
297 -> nm :: Name -> unit 297 -> nm :: Name -> unit
298 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty] 298 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
299 val textbox : lformTag string [] [] 299 val textbox : lformTag string [] [Value = string]
300 val password : lformTag string [] [] 300 val password : lformTag string [] []
301 val ltextarea : lformTag string [] [] 301 val ltextarea : lformTag string [] []
302 302
303 val checkbox : lformTag bool [] [] 303 val checkbox : lformTag bool [] []
304 304