Mercurial > urweb

comparison lib/ur/list.urs @ 2095:d9f918b79b5a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List.mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 14:41:23 -0500
parents 146ec8e90063
children
comparison
equal deleted inserted replaced
2094:0d898b086bbe 2095:d9f918b79b5a
52 -> (a -> m bool) -> t a -> m (t a) 52 -> (a -> m bool) -> t a -> m (t a)
53 53
54 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type 54 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type
55 -> (a -> b -> c * b) -> b -> t a -> t c * b 55 -> (a -> b -> c * b) -> b -> t a -> t c * b
56 56
57 val mem : a ::: Type -> eq a -> a -> t a -> bool
58
57 val find : a ::: Type -> (a -> bool) -> t a -> option a 59 val find : a ::: Type -> (a -> bool) -> t a -> option a
58 60
59 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b 61 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b
60 62
61 val all : a ::: Type -> (a -> bool) -> t a -> bool 63 val all : a ::: Type -> (a -> bool) -> t a -> bool