[Haskell-cafe] What is the most modern associative list in types?

Daniel Díaz diaz.carrete at gmail.com
Wed Jul 24 14:05:00 UTC 2019

Hi Serguey,

I don’t know what extra functionality you require but, for what is worth,
my library red-black-record features a Symbol-to-Type map . It’s
implemented as a type-level red-black-tree.


The map can be manipulated with the Insert, Delete and Value associated
type families.


Daniel Díaz

> Hello cafe.
> I am trying to express some environment in types to constrain program
> behavour. For this I need associative list of types, something along the
> lines of [(Symbol, *)] so that I can lookup on "variable" name and get
> associated with it.
> I looked into HList library but it does not provide one most generally
> useful way (albeit there are dozen or so of ways in there).
> So where can I get most modern HList-like library? Or what should I read
> to get most modern HList myself?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190724/822e402f/attachment.html>

More information about the Haskell-Cafe mailing list