Mercurial > urweb
comparison demo/more/dlist.urs @ 962:7e7edfb6fe82
Testing Dlist StartPosition with constant offset
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Sep 2009 13:44:12 -0400 |
parents | 2a50da66ffd8 |
children | 6f9d1565de56 |
comparison
equal
deleted
inserted
replaced
961:8c37699de273 | 962:7e7edfb6fe82 |
---|---|
10 val elements : t ::: Type -> dlist t -> signal (list t) | 10 val elements : t ::: Type -> dlist t -> signal (list t) |
11 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc | 11 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc |
12 | 12 |
13 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type | 13 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type |
14 -> (t -> position -> xml (ctx ++ body) [] []) | 14 -> (t -> position -> xml (ctx ++ body) [] []) |
15 -> {Filter : t -> signal bool, | 15 -> {StartPosition : signal (option int), |
16 Filter : t -> signal bool, | |
16 Sort : signal (option (t -> t -> signal bool)) (* <= *)} | 17 Sort : signal (option (t -> t -> signal bool)) (* <= *)} |
17 -> dlist t | 18 -> dlist t |
18 -> xml (ctx ++ body) [] [] | 19 -> xml (ctx ++ body) [] [] |