Mercurial > urweb

comparison lib/ur/list.urs @ 1322:80bff6449f41

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a bug in C list unurlification
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Nov 2010 15:43:24 -0500
parents 4172863d049d
children 9e0fa4f6ac93
comparison
equal deleted inserted replaced
1321:4172863d049d 1322:80bff6449f41
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 72 val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a
73 73
74 val nth : a ::: Type -> list a -> int -> option a
75
74 (** Association lists *) 76 (** Association lists *)
75 77
76 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b 78 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b
77 79
78 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b) 80 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b)