adamc@418: functor Make (M : sig adamc@418: con fs :: {Unit} adamc@632: val fl : folder fs adamc@643: val names : $(mapU string fs) adamc@418: end) = struct adamc@418: adamc@418: fun handler values = return adamc@1176: {@mapUX2 [string] [string] [body] adam@1302: (fn [nm :: Name] [rest ::_] [[nm] ~ rest] name value => adamc@1093:
  • {[name]} = {[value]}
    • adamc@1093:     ) adamc@1093: M.fl M.names values} adamc@418:     adamc@418: adamc@418: fun main () = return adamc@418:
    adam@1302: {@foldUR [string] [fn cols => xml form [] (mapU string cols)] adam@1303: (fn [nm :: Name] [rest ::_] [[nm] ~ rest] name acc => adam@1303:
  • {[name]}:
    • adam@1303: {useMore acc} adam@1303:     ) adamc@1093: adamc@1093: M.fl M.names} adamc@418: adamc@418: adamc@418:
    adamc@418: adamc@418: end