Mercurial > urweb
annotate demo/more/dlist.urs @ 930:51bc7681c47e
Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 12 Sep 2009 15:08:16 -0400 |
| parents | 5e8b6fa5b48f |
| children | 37dd42935dad |
| rev | line source |
|---|---|
| adamc@915 | 1 con dlist :: Type -> Type |
| adamc@915 | 2 type position |
| adamc@915 | 3 |
| adamc@915 | 4 val create : t ::: Type -> transaction (dlist t) |
| adamc@915 | 5 val clear : t ::: Type -> dlist t -> transaction unit |
| adamc@915 | 6 val append : t ::: Type -> dlist t -> t -> transaction position |
| adamc@915 | 7 val delete : position -> transaction unit |
| adamc@915 | 8 val elements : t ::: Type -> dlist t -> signal (list t) |
| adamc@915 | 9 |
| adamc@915 | 10 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type |
| adamc@915 | 11 -> (t -> position -> xml (ctx ++ body) [] []) |
| adamc@915 | 12 -> dlist t |
| adamc@915 | 13 -> xml (ctx ++ body) [] [] |