Mercurial > urweb

comparison demo/more/dlist.urs @ 964:fbc3a0eef45a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Paging mostly working; just need to get it working properly with filtering
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 14:21:25 -0400
parents 6f9d1565de56
children e9c5992bc9bc
comparison
equal deleted inserted replaced
963:6f9d1565de56 964:fbc3a0eef45a
6 val append : t ::: Type -> dlist t -> t -> transaction position 6 val append : t ::: Type -> dlist t -> t -> transaction position
7 val replace : t ::: Type -> dlist t -> list t -> transaction unit 7 val replace : t ::: Type -> dlist t -> list t -> transaction unit
8 8
9 val delete : position -> transaction unit 9 val delete : position -> transaction unit
10 val elements : t ::: Type -> dlist t -> signal (list t) 10 val elements : t ::: Type -> dlist t -> signal (list t)
11 val size : t ::: Type -> dlist t -> signal int
11 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc 12 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc
12 13
13 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type 14 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
14 -> (t -> position -> xml (ctx ++ body) [] []) 15 -> (t -> position -> xml (ctx ++ body) [] [])
15 -> {StartPosition : signal (option int), 16 -> {StartPosition : signal (option int),