Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/demo/more/dlist.urs	Sat Sep 19 13:55:37 2009 -0400
+++ b/demo/more/dlist.urs	Sat Sep 19 14:21:25 2009 -0400
@@ -8,6 +8,7 @@
 
 val delete : position -> transaction unit
 val elements : t ::: Type -> dlist t -> signal (list t)
+val size : t ::: Type -> dlist t -> signal int
 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc
 
 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type