Mercurial > urweb
comparison lib/ur/list.urs @ 1191:61c3139eab12
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 |