Mercurial > urweb

comparison lib/ur/list.urs @ 1191:61c3139eab12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subquery expressions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Mar 2010 15:44:24 -0400
parents 52571ca9b777
children 4c367c8f5b2d
comparison
equal deleted inserted replaced
1190:899875315bde 1191:61c3139eab12
49 val app : m ::: (Type -> Type) -> monad m -> a ::: Type 49 val app : m ::: (Type -> Type) -> monad m -> a ::: Type
50 -> (a -> m unit) -> t a -> m unit 50 -> (a -> m unit) -> t a -> m unit
51 51
52 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type 52 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
53 -> [tables ~ exps] => 53 -> [tables ~ exps] =>
54 sql_query tables exps 54 sql_query [] tables exps
55 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t) 55 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t)
56 -> transaction (list t) 56 -> transaction (list t)
57 57
58 val mapQueryM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type 58 val mapQueryM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
59 -> [tables ~ exps] => 59 -> [tables ~ exps] =>
60 sql_query tables exps 60 sql_query [] tables exps
61 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction t) 61 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction t)
62 -> transaction (list t) 62 -> transaction (list t)
63 63
64 val mapQueryPartialM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type 64 val mapQueryPartialM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
65 -> [tables ~ exps] => 65 -> [tables ~ exps] =>
66 sql_query tables exps 66 sql_query [] tables exps
67 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t)) 67 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t))
68 -> transaction (list t) 68 -> transaction (list t)
69 69
70 (** Association lists *) 70 (** Association lists *)
71 71