Mercurial > urweb
comparison lib/ur/list.urs @ 1481:3061d1bf4b2d
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 |