summaryrefslogtreecommitdiff
path: root/demo/more/dlist.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-15 10:18:56 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-15 10:18:56 -0400
commit62c16c0eed4b755ffcc4379455971a4c0125a3a8 (patch)
treeb81fba316b6a552d9b1cf527831175d0926da43f /demo/more/dlist.urs
parent93594385adcba919b2e61785b5a60779e2be20db (diff)
Summary row with aggregates
Diffstat (limited to 'demo/more/dlist.urs')
-rw-r--r--demo/more/dlist.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/more/dlist.urs b/demo/more/dlist.urs
index 872dabcd..fcfe15ee 100644
--- a/demo/more/dlist.urs
+++ b/demo/more/dlist.urs
@@ -6,6 +6,7 @@ val clear : t ::: Type -> dlist t -> transaction unit
val append : t ::: Type -> dlist t -> t -> transaction position
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
val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
-> (t -> position -> xml (ctx ++ body) [] [])