Mercurial > urweb

comparison lib/ur/list.urs @ 1321:4172863d049d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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)