Mercurial > urweb

comparison lib/ur/list.urs @ 1768:a613cae954ca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some standard library additions from Edward Z. Yang
author Adam Chlipala <adam@chlipala.net>
date Sat, 19 May 2012 11:32:12 -0400
parents f4cb4eebf7ae
children 146ec8e90063
comparison
equal deleted inserted replaced
1766:92cfc69419bd 1768:a613cae954ca
33 33
34 val mapPartialM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m (option b)) -> t a -> m (t b) 34 val mapPartialM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m (option b)) -> t a -> m (t b)
35 35
36 val mapXM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit} 36 val mapXM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit}
37 -> (a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] []) 37 -> (a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] [])
38
39 val mapXiM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit} -> (int -> a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] [])
38 40
39 val filter : a ::: Type -> (a -> bool) -> t a -> t a 41 val filter : a ::: Type -> (a -> bool) -> t a -> t a
40 42
41 val exists : a ::: Type -> (a -> bool) -> t a -> bool 43 val exists : a ::: Type -> (a -> bool) -> t a -> bool
42 44