Mercurial > urweb
annotate demo/batchFun.urs @ 1726:4df4521fbd3b
Removed excess zero byte from empty pages.
Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js
author | Vladimir Shabanov <vshabanoff@gmail.com> |
---|---|
date | Wed, 25 Apr 2012 03:07:07 +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 |