Mercurial > urweb

comparison lib/basis.urs @ 444:f45f23ae20ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove _espec tag; add some tag fields
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 17:07:34 -0400
parents bd9ee9aeca2f
children 222cbc1da232
comparison
equal deleted inserted replaced
443:bd9ee9aeca2f 444:f45f23ae20ed
368 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) => 368 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
369 ctx ::: {Unit} 369 ctx ::: {Unit}
370 -> fn [[Form] ~ ctx] => 370 -> fn [[Form] ~ ctx] =>
371 nm :: Name -> unit 371 nm :: Name -> unit
372 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] 372 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
373 val textbox : formTag string [] [Value = string] 373 val textbox : formTag string [] [Value = string, Size = int]
374 val password : formTag string [] [] 374 val password : formTag string [] [Value = string, Size = int]
375 val textarea : formTag string [] [] 375 val textarea : formTag string [] [Rows = int, Cols = int]
376 376
377 val checkbox : formTag bool [] [Checked = bool] 377 val checkbox : formTag bool [] [Checked = bool]
378 378
379 con radio = [Body, Radio] 379 con radio = [Body, Radio]
380 val radio : formTag string radio [] 380 val radio : formTag string radio []