Mercurial > urweb

diff lib/ur/list.urs @ 916:b873feb3eb52

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dragList almost kinda works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 10:18:19 -0400
parents ed06e25c70ef
children eaba663fd6aa
line wrap: on
line diff
--- a/lib/ur/list.urs	Tue Sep 08 07:48:57 2009 -0400
+++ b/lib/ur/list.urs	Tue Sep 08 10:18:19 2009 -0400
@@ -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 length : a ::: Type -> t a -> int
+
 val rev : a ::: Type -> t a -> t a
 
 val revAppend : a ::: Type -> t a -> t a -> t a