Mercurial > urweb
view demo/crud2.ur @ 615:3c77133afd9a
Start of Featherweight Ur semantics
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 17 Feb 2009 14:49:28 -0500 |
parents | 0ce90d4d9ae7 |
children | 6c4643880df5 |
line wrap: on
line source
table t : {Id : int, Nam : string, Ready : bool} open Crud.Make(struct val tab = t val title = "Are you ready?" val cols = {Nam = Crud.string "Name", Ready = {Nam = "Ready", Show = (fn b => if b then <xml>Ready!</xml> else <xml>Not ready</xml>), Widget = (fn (nm :: Name) => <xml> <select{nm}> <option>Ready</option> <option>Not ready</option> </select> </xml>), WidgetPopulated = (fn (nm :: Name) b => <xml> <select{nm}> <option selected={b}>Ready</option> <option selected={not b}>Not ready</option> </select> </xml>), Parse = (fn s => case s of "Ready" => True | "Not ready" => False | _ => error <xml>Invalid ready/not ready</xml>), Inject = _ } } end)