Mercurial > urweb

comparison lib/ur/list.urs @ 1481:3061d1bf4b2d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recToList
author Robin Green <greenrd@greenrd.org>
date Mon, 27 Jun 2011 21:36:32 +0100
parents d328983dc5a6
children ada582d07ae1
comparison
equal deleted inserted replaced
1480:aa0c6382aa57 1481:3061d1bf4b2d
77 (** Association lists *) 77 (** Association lists *)
78 78
79 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
80 80
81 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b) 81 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b)
82
83 (** Converting records to lists *)
84
85 val recToList : a ::: Type -> r ::: {Unit} -> folder r -> $(mapU a r) -> t a