Mercurial > urweb
comparison demo/more/dlist.urs @ 954:2a50da66ffd8
Basic tail recursion introduction seems to be working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 16:35:11 -0400 |
parents | 07569af40069 |
children | 7e7edfb6fe82 |
comparison
equal
deleted
inserted
replaced
953:301530da2062 | 954:2a50da66ffd8 |
---|---|
2 type position | 2 type position |
3 | 3 |
4 val create : t ::: Type -> transaction (dlist t) | 4 val create : t ::: Type -> transaction (dlist t) |
5 val clear : t ::: Type -> dlist t -> transaction unit | 5 val clear : t ::: Type -> dlist t -> transaction unit |
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 | |
8 | |
7 val delete : position -> transaction unit | 9 val delete : position -> transaction unit |
8 val elements : t ::: Type -> dlist t -> signal (list t) | 10 val elements : t ::: Type -> dlist t -> signal (list t) |
9 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 |
10 | 12 |
11 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type | 13 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type |