type

Dynamic casting library with support for arbitrary rank type kinds.

Latest on Hackage:

0.2.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Topi Karvonen

Maintained by [email protected]

By default kinds which contains maximum of 8 stars (*) are supported, for example: * -> (* -> *) -> ((* -> *) -> *) -> * -> *. By recompiling the library one can support even more complex types. However be aware that the amount of code generated increases exponentially.