Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/list.urs	Thu Dec 16 10:23:37 2010 -0500
+++ b/lib/ur/list.urs	Thu Dec 16 13:35:40 2010 -0500
@@ -72,6 +72,7 @@
 val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a
 
 val nth : a ::: Type -> list a -> int -> option a
+val replaceNth : a ::: Type -> list a -> int -> a -> list a
 
 (** Association lists *)