Mercurial > urweb

comparison lib/ur/list.urs @ 1519:ada582d07ae1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List.find
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 15:47:09 -0400
parents 3061d1bf4b2d
children dde3bd82cb3d
comparison
equal deleted inserted replaced
1518:883347f5c3c2 1519:ada582d07ae1
42 -> (a -> b -> m b) -> b -> t a -> m b 42 -> (a -> b -> m b) -> b -> t a -> m b
43 43
44 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type 44 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type
45 -> (a -> b -> c * b) -> b -> t a -> t c * b 45 -> (a -> b -> c * b) -> b -> t a -> t c * b
46 46
47 val find : a ::: Type -> (a -> bool) -> t a -> option a
48
47 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b 49 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b
48 50
49 val all : a ::: Type -> (a -> bool) -> t a -> bool 51 val all : a ::: Type -> (a -> bool) -> t a -> bool
50 52
51 val app : m ::: (Type -> Type) -> monad m -> a ::: Type 53 val app : m ::: (Type -> Type) -> monad m -> a ::: Type