[Haskell-cafe] Deconstructing types

[Louis Wasserman]

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.

Louis Wasserman
wasserman.louis at gmail.com


2009/9/9 José Pedro Magalhães <jpm at cs.uu.nl>

> Hello Louis,
>
>  On Tue, Sep 8, 2009 at 19:06, Louis Wasserman <wasserman.louis at gmail.com>wrote:
>
>> Sean,
>>
>> The answer is, I'm working on a recently semi-released package called
>> TrieMap.
>>
>
> Is that similar to what is done in [1]? A draft paper [2] also refers that
> implementation.
>
>
> Cheers,
> Pedro
>
> [1]
> http://www.haskell.org/haskellwiki/GHC/Indexed_types#An_associated_data_type_example
> [2] http://www.cse.unsw.edu.au/~chak/project/generics/
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090909/1a31d65f/attachment.html