14 Oct
2010
14 Oct
'10
1:20 p.m.
On 10/14/10 1:15 AM, Jonas Almström Duregård wrote:
[...]
Also, what is UntaggedList used for, and how is it different from [].
/J
UntaggedList makes it easy for you do things like the following: processListAsTaggedList :: [a] -> (forall n. TaggedList n a -> b) -> b processListAsTaggedList xs f = case fromListAsUntagged xs of UntaggedList lst -> f lst Cheers, Greg