Mercurial > urweb
view demo/more/conferenceFields.ur @ 1205:7cd11380cdf1
WHERE-dependent checking
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 17:18:41 -0400 |
parents | 5d9f47124c4c |
children |
line wrap: on
line source
open Meta val title = string "Title" val abstract = textarea "Abstract" val commentsForAuthors = textarea "Comments for Authors" fun charIn s = if String.length s = 0 then error <xml>Impossible: Empty option value</xml> else String.sub s 0 con dropdown = (char, string) fun dropdown name opts = {Nam = name, Show = txt, Widget = fn [nm :: Name] => <xml><select{nm}> {List.mapX (fn x => <xml><option>{[x]}</option></xml>) opts} </select></xml>, WidgetPopulated = fn [nm :: Name] v => <xml><select{nm}> {List.mapX (fn x => <xml><option selected={x = v}>{[x]}</option></xml>) opts} </select></xml>, Parse = charIn, Inject = _} val dropdown_show = _