Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/demo/more/dlist.urs Thu Sep 17 14:57:38 2009 -0400 +++ b/demo/more/dlist.urs Thu Sep 17 16:35:11 2009 -0400 @@ -4,6 +4,8 @@ val create : t ::: Type -> transaction (dlist t) val clear : t ::: Type -> dlist t -> transaction unit val append : t ::: Type -> dlist t -> t -> transaction position +val replace : t ::: Type -> dlist t -> list t -> transaction unit + val delete : position -> transaction unit val elements : t ::: Type -> dlist t -> signal (list t) val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc