Mercurial > urweb
annotate demo/batchFun.urs @ 2204:01c8aceac480
Finishes initial prototype, caching parameterless pages with table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Tue, 27 May 2014 21:14:13 -0400 |
| parents | bb3fc575cfe7 |
| children |
| rev | line source |
|---|---|
| adamc@1002 | 1 con colMeta = fn (db :: Type, state :: Type) => |
| adamc@650 | 2 {Nam : string, |
| adamc@1002 | 3 Show : db -> xbody, |
| adamc@1002 | 4 Inject : sql_injectable db, |
| adamc@650 | 5 |
| adamc@1002 | 6 NewState : transaction state, |
| adamc@1002 | 7 Widget : state -> xbody, |
| adamc@1002 | 8 ReadState : state -> transaction db} |
| adamc@650 | 9 con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols) |
| adamc@650 | 10 |
| adamc@650 | 11 val int : string -> colMeta (int, source string) |
| adamc@650 | 12 val float : string -> colMeta (float, source string) |
| adamc@650 | 13 val string : string -> colMeta (string, source string) |
| adamc@650 | 14 |
| adamc@650 | 15 functor Make(M : sig |
| adamc@650 | 16 con cols :: {(Type * Type)} |
| adamc@650 | 17 constraint [Id] ~ cols |
| adamc@650 | 18 val fl : folder cols |
| adamc@650 | 19 |
| adamc@706 | 20 table tab : ([Id = int] ++ map fst cols) |
| adamc@650 | 21 |
| adamc@650 | 22 val title : string |
| adamc@650 | 23 |
| adamc@650 | 24 val cols : colsMeta cols |
| adamc@650 | 25 end) : sig |
| adamc@650 | 26 val main : unit -> transaction page |
| adamc@650 | 27 end |