Mercurial > urweb
annotate tests/crud.urs @ 325:e457d8972ff1
Crud listing IDs
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 11 Sep 2008 17:41:52 -0400 |
| parents | |
| children | 950320f33232 |
| rev | line source |
|---|---|
| adamc@325 | 1 functor Make(M : sig |
| adamc@325 | 2 con cols :: {Type} |
| adamc@325 | 3 constraint [Id] ~ cols |
| adamc@325 | 4 val tab : sql_table ([Id = int] ++ cols) |
| adamc@325 | 5 |
| adamc@325 | 6 val title : string |
| adamc@325 | 7 |
| adamc@325 | 8 val cols : $(mapTT (fn t => {Show : t -> xbody}) cols) |
| adamc@325 | 9 end) : sig |
| adamc@325 | 10 val main : unit -> transaction page |
| adamc@325 | 11 end |