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.lo...@gmail.com 2009/9/9 José Pedro Magalhães <j...@cs.uu.nl> > Hello Louis, > > On Tue, Sep 8, 2009 at 19:06, Louis Wasserman > <wasserman.lo...@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/ > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe