Mercurial > urweb

comparison lib/ur/basis.urs @ 1068:757dbac0454d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checked-ness of radio options; Option.get
author Adam Chlipala <adamc@hcoop.net>
date Sat, 12 Dec 2009 11:02:20 -0500
parents 740b85ef4352
children e933297c4e24
comparison
equal deleted inserted replaced
1067:50dd937c4cb9 1068:757dbac0454d
678 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t 678 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
679 val blobSize : blob -> int 679 val blobSize : blob -> int
680 680
681 con radio = [Body, Radio] 681 con radio = [Body, Radio]
682 val radio : formTag string radio [Id = string] 682 val radio : formTag string radio [Id = string]
683 val radioOption : unit -> tag ([Value = string] ++ boxAttrs) radio [] [] [] 683 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
684 684
685 con select = [Select] 685 con select = [Select]
686 val select : formTag string select ([Onchange = transaction unit] ++ boxAttrs) 686 val select : formTag string select ([Onchange = transaction unit] ++ boxAttrs)
687 val option : unit -> tag [Value = string, Selected = bool] select [] [] [] 687 val option : unit -> tag [Value = string, Selected = bool] select [] [] []
688 688