Mercurial > urweb
comparison lib/ur/list.urs @ 1345:9e0fa4f6ac93
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 |