[Haskell-cafe] Deconstructing types

[Sean Leather]

> The goal is similar, but I'm attempting to automatically infer the
> appropriate map type for any algebraic datatype -- and while I'm at it, the
> TrieMap package aims to include all the methods Data.Map offers.
>

Perhaps you want to read about the type-indexed tries in "Generic Haskell:
Applications": http://www.cs.uu.nl/~johanj/publications/ghpractice.pdf

Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090909/784dc290/attachment.html