Mercurial > urweb

diff lib/ur/list.urs @ 1840:146ec8e90063

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
author Adam Chlipala <adam@chlipala.net>
date Thu, 27 Dec 2012 15:34:11 -0500
parents a613cae954ca
children d9f918b79b5a
line wrap: on
line diff
--- a/lib/ur/list.urs	Thu Dec 13 17:51:34 2012 -0500
+++ b/lib/ur/list.urs	Thu Dec 27 15:34:11 2012 -0500
@@ -63,6 +63,9 @@
 val app : m ::: (Type -> Type) -> monad m -> a ::: Type
           -> (a -> m unit) -> t a -> m unit
 
+val tabulateM : m ::: (Type -> Type) -> monad m -> a ::: Type
+                -> (int -> m a) -> int -> m (t a)
+
 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
                -> [tables ~ exps] =>
     sql_query [] [] tables exps