[Haskell-cafe] Unification of PolyTypeable TypeReps ?

Ismael Figueroa Palet ifigueroap at gmail.com
Wed May 30 14:27:34 CEST 2012

Hi haskell-cafe

In my current project I'm working with type representations created with
PolyTypeable, and it turns out that given two type representations I need
to find out if they are unifiable.
I've looked at polytypeable-utils and see that they have some functions for
substituting/applying/free vars, but it doesn't seem like a full solution
for what I need.

So my question is: is there a library to do this? is there a known way to
transform the TypeRep's to make them more amenable to other unification
libraries. I noticed that in GHC-api there is an unification library, and
that there is also unification-fd. I wanted to ask here first in case
someone can point me to the right direction.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120530/a64fd16f/attachment.htm>

More information about the Haskell-Cafe mailing list