Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1839:d8c260bcc1f9 1840:146ec8e90063
61 val all : a ::: Type -> (a -> bool) -> t a -> bool 61 val all : a ::: Type -> (a -> bool) -> t a -> bool
62 62
63 val app : m ::: (Type -> Type) -> monad m -> a ::: Type 63 val app : m ::: (Type -> Type) -> monad m -> a ::: Type
64 -> (a -> m unit) -> t a -> m unit 64 -> (a -> m unit) -> t a -> m unit
65 65
66 val tabulateM : m ::: (Type -> Type) -> monad m -> a ::: Type
67 -> (int -> m a) -> int -> m (t a)
68
66 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type 69 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
67 -> [tables ~ exps] => 70 -> [tables ~ exps] =>
68 sql_query [] [] tables exps 71 sql_query [] [] tables exps
69 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t) 72 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t)
70 -> transaction (list t) 73 -> transaction (list t)