type: Dynamic casting library with support for arbitrary rank type kinds.
Originally written out of need to write Typeable instances for monad transformers. This is troublesome since monad transformer type constructors have by definition at least rank 2 kind.
By default only type constructors whose kind contains maximum of 8 units are supported, for example:
* -> (* -> *) -> ((* -> *) -> *) -> * -> * .
The provided generator allows one to support even more complex types.
However be aware that the amount of code generated increases exponentially.
|Versions [RSS]||0.1.0, 0.2.0|
|Dependencies||base (>=4.0 && <4.2), containers (>=0.2 && <0.3), template-haskell (>=2.3 && <2.4) [details]|
|Copyright||Copyright (c) Topi Karvonen 2009|
|Uploaded||by TopiKarvonen at 2009-04-13T15:26:32Z|
|Downloads||1659 total (3 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]