Mercurial > urweb
diff lib/ur/list.urs @ 1840:146ec8e90063
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