[Haskell-cafe] Generating Haskell with associated types (and kind
Manuel M T Chakravarty
chak at cse.unsw.edu.au
Fri May 8 22:20:24 EDT 2009
> I was wondering whether anyone had any suggestions on a good way to
> generate repetitive code with associated types and kind annotations.
> I'd like to use TH but as far as I understand, it doesn't support this
> yet (I think associated types are in HEAD but not kinds),
I implemented type families (including associated types) and kinds for
TH in the HEAD. If there is anything missing that prevents you from
using it, please let me know and I'll have a look at it.
More information about the Haskell-Cafe