Mercurial > urweb

comparison demo/more/dlist.urs @ 965:e9c5992bc9bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Progress on sorting + filtering
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 14:42:36 -0400
parents fbc3a0eef45a
children 68429cfce8db
comparison
equal deleted inserted replaced
964:fbc3a0eef45a 965:e9c5992bc9bc
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 size : t ::: Type -> dlist t -> signal int
12 val numPassing : t ::: Type -> (t -> signal bool) -> dlist t -> signal int
12 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc 13 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc
13 14
14 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type 15 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
15 -> (t -> position -> xml (ctx ++ body) [] []) 16 -> (t -> position -> xml (ctx ++ body) [] [])
16 -> {StartPosition : signal (option int), 17 -> {StartPosition : signal (option int),