Mercurial > urweb

diff lib/ur/list.urs @ 850:1c2f335297b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a variable capture bug in nested JavaScript; some more list stuff
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Jun 2009 17:52:44 -0400
parents 0d30e6338c65
children ed06e25c70ef
line wrap: on
line diff
--- a/lib/ur/list.urs	Tue Jun 16 14:38:01 2009 -0400
+++ b/lib/ur/list.urs	Tue Jun 16 17:52:44 2009 -0400
@@ -4,7 +4,9 @@
 val eq : a ::: Type -> eq a -> eq (t a)
 
 val foldl : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b
-val foldlPartial : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> option b
+val foldlAbort : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> option b
+val foldlMapAbort : a ::: Type -> b ::: Type -> c ::: Type
+                    -> (a -> b -> option (c * b)) -> b -> t a -> option (t c * b)
 
 val rev : a ::: Type -> t a -> t a