Mercurial > urweb
annotate demo/batchFun.urs @ 2209:0ca11d57c175
Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Sat, 31 May 2014 03:08:16 -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 |