Mercurial > urweb

comparison demo/more/dlist.urs @ 915:5e8b6fa5b48f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start 'more' demo with dbgrid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 07:48:57 -0400
parents
children 37dd42935dad
comparison
equal deleted inserted replaced
914:782f0b4eea67 915:5e8b6fa5b48f
1 con dlist :: Type -> Type
2 type position
3
4 val create : t ::: Type -> transaction (dlist t)
5 val clear : t ::: Type -> dlist t -> transaction unit
6 val append : t ::: Type -> dlist t -> t -> transaction position
7 val delete : position -> transaction unit
8 val elements : t ::: Type -> dlist t -> signal (list t)
9
10 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
11 -> (t -> position -> xml (ctx ++ body) [] [])
12 -> dlist t
13 -> xml (ctx ++ body) [] []