Mercurial > urweb

diff lib/ur/list.urs @ 1057:eaba663fd6aa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Represent FFI function names as strings, to deal with cross-file recursion
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:01:34 -0500
parents b873feb3eb52
children 52571ca9b777
line wrap: on
line diff
--- a/lib/ur/list.urs	Thu Dec 03 14:32:47 2009 -0500
+++ b/lib/ur/list.urs	Sat Dec 05 14:01:34 2009 -0500
@@ -8,6 +8,8 @@
 val foldlMapAbort : a ::: Type -> b ::: Type -> c ::: Type
                     -> (a -> b -> option (c * b)) -> b -> t a -> option (t c * b)
 
+val foldr : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b
+
 val length : a ::: Type -> t a -> int
 
 val rev : a ::: Type -> t a -> t a