Mercurial > urweb

comparison lib/ur/basis.urs @ 761:16b34dc2e29c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<input type='hidden'>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 14:48:23 -0400
parents 21f6d2e65685
children c125df6fabfc
comparison
equal deleted inserted replaced
760:21f6d2e65685 761:16b34dc2e29c
582 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) => 582 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
583 ctx ::: {Unit} 583 ctx ::: {Unit}
584 -> [[Form] ~ ctx] => 584 -> [[Form] ~ ctx] =>
585 nm :: Name -> unit 585 nm :: Name -> unit
586 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] 586 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
587 val hidden : formTag string [] [Value = string]
587 val textbox : formTag string [] [Value = string, Size = int, Source = source string] 588 val textbox : formTag string [] [Value = string, Size = int, Source = source string]
588 val password : formTag string [] [Value = string, Size = int] 589 val password : formTag string [] [Value = string, Size = int]
589 val textarea : formTag string [] [Rows = int, Cols = int] 590 val textarea : formTag string [] [Rows = int, Cols = int]
590 591
591 val checkbox : formTag bool [] [Checked = bool] 592 val checkbox : formTag bool [] [Checked = bool]