[Haskell-cafe] Deconstructing types

Sean Leather leather at cs.uu.nl
Wed Sep 9 10:24:59 EDT 2009

> 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

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

More information about the Haskell-Cafe mailing list