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@1093: {@foldURX2 [string] [string] [body] adamc@1093: (fn [nm :: Name] [rest :: {Unit}] [[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:
    adamc@1093: {@foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] adamc@1093: (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name adamc@1093: (acc : xml form [] (mapU string rest)) => adamc@1093:
  • {[name]}:
    • adamc@1093: {useMore acc} adamc@1093:     ) adamc@1093: adamc@1093: M.fl M.names} adamc@418: adamc@418: adamc@418:
    adamc@418: adamc@418: end