con colMeta = fn t_formT :: (Type * Type) => { Nam : string, Show : t_formT.1 -> xbody, Widget : nm :: Name -> xml form [] [nm = t_formT.2], Parse : t_formT.2 -> t_formT.1, Inject : sql_injectable t_formT.1 } con colsMeta = fn cols :: {(Type * Type)} => $(Top.mapT2T colMeta cols) functor Make(M : sig con cols :: {(Type * Type)} constraint [Id] ~ cols val tab : sql_table ([Id = int] ++ mapT2T fstTT cols) val title : string val cols : colsMeta cols end) = struct open constraints M val tab = M.tab sequence seq fun create (inputs : $(mapT2T sndTT M.cols)) = id <- nextval seq; () <- dml (insert tab (foldT2R2 [sndTT] [colMeta] [fn cols => $(mapT2T (fn t :: (Type * Type) => sql_exp [T = [Id = int] ++ mapT2T fstTT M.cols] [] [] t.1) cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) => [[nm] ~ rest] => fn input col acc => acc with nm = sql_inject col.Inject (col.Parse input)) {} [M.cols] inputs M.cols with #Id = (SQL {id}))); return
Inserted with ID {txt _ id}. fun delete (id : int) = () <- dml (DELETE FROM tab WHERE Id = {id}); return The deed is done. fun confirm (id : int) = returnAre you sure you want to delete ID #{txt _ id}?
fun main () : transaction page = rows <- queryX (SELECT * FROM tab AS T) (fn (fs : {T : $([Id = int] ++ mapT2T fstTT M.cols)}) =>ID | {foldT2RX [colMeta] [tr] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) => [[nm] ~ rest] => fn col =>
---|
{cdata col.Nam} |