adamc@1004: open Meta adamc@1004: adamc@1004: functor Make(M : sig adamc@1004: con keyName :: Name adamc@1004: con keyType :: Type adamc@1004: val showKey : show keyType adamc@1004: adamc@1004: con visible :: {(Type * Type)} adamc@1004: constraint [keyName] ~ visible adamc@1004: val folder : folder visible adamc@1004: val visible : $(map Meta.meta visible) adamc@1004: adamc@1004: con invisible :: {Type} adamc@1004: constraint [keyName] ~ invisible adamc@1004: constraint visible ~ invisible adamc@1004: adamc@1004: val title : string adamc@1004: val isAllowed : transaction bool adamc@1004: table t : ([keyName = keyType] ++ map fst visible ++ invisible) adamc@1004: end) = struct adamc@1004: adamc@1004: open M adamc@1004: adamc@1004: fun main () = adamc@1004: items <- queryX (SELECT t.{keyName}, t.{{map fst visible}} FROM t) adamc@1004: (fn r => adamc@1004: adamc@1004: {useMore (foldR2 [meta] [fst] [fn cols :: {(Type * Type)} => adamc@1004: xml [Body, Form, Tr] [] (map snd cols)] adamc@1004: (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] adamc@1004: (m : meta p) v (acc : xml [Body, Form, Tr] [] (map snd rest)) => adamc@1004: adamc@1004: {m.WidgetPopulated [nm] v} adamc@1004: {useMore acc} adamc@1004: ) adamc@1004: adamc@1004: [_] folder visible (r.T -- keyName))} adamc@1004: ); adamc@1004: adamc@1004: return adamc@1004:

{[title]}

adamc@1004: adamc@1004:

adamc@1004: {foldRX [meta] [_] adamc@1004: (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] m => adamc@1004: ) [_] folder visible} adamc@1004: {items} adamc@1004:

{[m.Nam]}

adamc@1004: adamc@1004: adamc@1004: end