Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/list.urs	Tue Jun 28 11:55:57 2011 +0100
+++ b/lib/ur/list.urs	Mon Jun 27 21:36:32 2011 +0100
@@ -79,3 +79,7 @@
 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b
 
 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b)
+
+(** Converting records to lists *)
+
+val recToList : a ::: Type -> r ::: {Unit} -> folder r -> $(mapU a r) -> t a