Mercurial > urweb

comparison lib/ur/list.urs @ 846:0d30e6338c65

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some standard library reorgs and additions; handle mutual datatypes better in Specialize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Jun 2009 18:11:59 -0400
parents 6725d73c3c31
children 1c2f335297b7
comparison
equal deleted inserted replaced
845:6725d73c3c31 846:0d30e6338c65
1 datatype t = datatype Basis.list 1 datatype t = datatype Basis.list
2 2
3 val show : a ::: Type -> show a -> show (list a) 3 val show : a ::: Type -> show a -> show (t a)
4 val eq : a ::: Type -> eq a -> eq (t a)
4 5
5 val foldl : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b 6 val foldl : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b
7 val foldlPartial : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> option b
6 8
7 val rev : a ::: Type -> t a -> t a 9 val rev : a ::: Type -> t a -> t a
8 10
9 val revAppend : a ::: Type -> t a -> t a -> t a 11 val revAppend : a ::: Type -> t a -> t a -> t a
10 12