Mercurial > urweb

comparison lib/ur/list.urs @ 1547:553a5cc3a4b5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix another list unurlification segfault bug; List.foldlMi
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Aug 2011 13:41:57 -0400
parents dde3bd82cb3d
children f4cb4eebf7ae
comparison
equal deleted inserted replaced
1546:133c71008bef 1547:553a5cc3a4b5
41 val exists : a ::: Type -> (a -> bool) -> t a -> bool 41 val exists : a ::: Type -> (a -> bool) -> t a -> bool
42 42
43 val foldlM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type 43 val foldlM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
44 -> (a -> b -> m b) -> b -> t a -> m b 44 -> (a -> b -> m b) -> b -> t a -> m b
45 45
46 val foldlMi : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
47 -> (int -> a -> b -> m b) -> b -> t a -> m b
48
46 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type 49 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type
47 -> (a -> b -> c * b) -> b -> t a -> t c * b 50 -> (a -> b -> c * b) -> b -> t a -> t c * b
48 51
49 val find : a ::: Type -> (a -> bool) -> t a -> option a 52 val find : a ::: Type -> (a -> bool) -> t a -> option a
50 53