Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/list.urs	Thu May 17 10:20:24 2012 -0400
+++ b/lib/ur/list.urs	Sat May 19 11:32:12 2012 -0400
@@ -36,6 +36,8 @@
 val mapXM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit}
             -> (a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] [])
 
+val mapXiM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit} -> (int -> a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] [])
+
 val filter : a ::: Type -> (a -> bool) -> t a -> t a
 
 val exists : a ::: Type -> (a -> bool) -> t a -> bool