Mercurial > urweb
view demo/crud2.ur @ 1348:8a169fc0838b
Change tasks to support parametric code; add clientLeaves
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 18 Dec 2010 14:17:45 -0500 (2010-12-18) |
parents | 669ac5e9a69e |
children |
line wrap: on
line source
table t : {Id : int, Nam : string, Ready : bool} PRIMARY KEY Id 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)