Mercurial > urweb
comparison lib/ur/list.urs @ 1321:4172863d049d
queryL1 and List.sort
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 20 Nov 2010 10:45:22 -0500 |
parents | 4c367c8f5b2d |
children | 80bff6449f41 |
comparison
equal
deleted
inserted
replaced
1320:add5ae41969e | 1321:4172863d049d |
---|---|
67 -> [tables ~ exps] => | 67 -> [tables ~ exps] => |
68 sql_query [] tables exps | 68 sql_query [] tables exps |
69 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t)) | 69 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t)) |
70 -> transaction (list t) | 70 -> transaction (list t) |
71 | 71 |
72 val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a | |
73 | |
72 (** Association lists *) | 74 (** Association lists *) |
73 | 75 |
74 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b | 76 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b |
75 | 77 |
76 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b) | 78 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b) |