Mercurial > urweb

comparison lib/basis.urs @ 598:4c2c740c6931

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hooking a source into an input
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Jan 2009 10:05:06 -0500
parents 9f02f1765149
children 7c3c21eb5b4c
comparison
equal deleted inserted replaced
597:d49d58a69877 598:4c2c740c6931
421 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) => 421 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
422 ctx ::: {Unit} 422 ctx ::: {Unit}
423 -> fn [[Form] ~ ctx] => 423 -> fn [[Form] ~ ctx] =>
424 nm :: Name -> unit 424 nm :: Name -> unit
425 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] 425 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
426 val textbox : formTag string [] [Value = string, Size = int] 426 val textbox : formTag string [] [Value = string, Size = int, Source = source string]
427 val password : formTag string [] [Value = string, Size = int] 427 val password : formTag string [] [Value = string, Size = int]
428 val textarea : formTag string [] [Rows = int, Cols = int] 428 val textarea : formTag string [] [Rows = int, Cols = int]
429 429
430 val checkbox : formTag bool [] [Checked = bool] 430 val checkbox : formTag bool [] [Checked = bool]
431 431