Mercurial > urweb
comparison lib/ur/list.ur @ 908:ed06e25c70ef
Convert to requiring explicit 'rpc' marker
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 22 Aug 2009 12:55:18 -0400 |
| parents | 1c2f335297b7 |
| children | b873feb3eb52 |
comparison
equal
deleted
inserted
replaced
| 907:5fe49effbc83 | 908:ed06e25c70ef |
|---|---|
| 215 app' ls | 215 app' ls |
| 216 in | 216 in |
| 217 app' | 217 app' |
| 218 end | 218 end |
| 219 | 219 |
| 220 fun mapQuery [tables ::: {{Type}}] [exps ::: {Type}] [t ::: Type] | |
| 221 [tables ~ exps] (q : sql_query tables exps) | |
| 222 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) -> t) = | |
| 223 query q | |
| 224 (fn fs acc => return (f fs :: acc)) | |
| 225 [] | |
| 226 | |
| 220 fun assoc [a] [b] (_ : eq a) (x : a) = | 227 fun assoc [a] [b] (_ : eq a) (x : a) = |
| 221 let | 228 let |
| 222 fun assoc' (ls : list (a * b)) = | 229 fun assoc' (ls : list (a * b)) = |
| 223 case ls of | 230 case ls of |
| 224 [] => None | 231 [] => None |