Mercurial > urweb
comparison 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 |
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) |