Mercurial > urweb
annotate tests/crud.urs @ 337:18d5affa790d
Deletion for Crud
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 13 Sep 2008 20:15:30 -0400 |
parents | 34847732cefc |
children | 075b36dbb1a4 |
rev | line source |
---|---|
adamc@336 | 1 con colMeta' = fn t :: Type => {Nam : string, Show : t -> xbody} |
adamc@329 | 2 con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' cols) |
adamc@326 | 3 |
adamc@325 | 4 functor Make(M : sig |
adamc@325 | 5 con cols :: {Type} |
adamc@325 | 6 constraint [Id] ~ cols |
adamc@325 | 7 val tab : sql_table ([Id = int] ++ cols) |
adamc@325 | 8 |
adamc@325 | 9 val title : string |
adamc@325 | 10 |
adamc@326 | 11 val cols : colMeta cols |
adamc@325 | 12 end) : sig |
adamc@325 | 13 val main : unit -> transaction page |
adamc@325 | 14 end |