Mercurial > urweb

comparison lib/ur/list.urs @ 1345:9e0fa4f6ac93

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fiddly tweaks
author Adam Chlipala <adam@chlipala.net>
date Thu, 16 Dec 2010 13:35:40 -0500
parents 80bff6449f41
children d328983dc5a6
comparison
equal deleted inserted replaced
1344:660a2715e2bd 1345:9e0fa4f6ac93
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 74 val nth : a ::: Type -> list a -> int -> option a
75 val replaceNth : a ::: Type -> list a -> int -> a -> list a
75 76
76 (** Association lists *) 77 (** Association lists *)
77 78
78 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b 79 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b
79 80