From d07c91bf275874a5f6f13af5f338def78eea7ae0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 8 Sep 2009 10:18:19 -0400 Subject: dragList almost kinda works --- lib/ur/list.urs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/ur/list.urs') diff --git a/lib/ur/list.urs b/lib/ur/list.urs index ece85e8c..df1c8a52 100644 --- a/lib/ur/list.urs +++ b/lib/ur/list.urs @@ -8,6 +8,8 @@ val foldlAbort : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> 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 -- cgit v1.2.3