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.
|Dependencies||base (>=4.0 && <4.2), containers (==0.2.*), template-haskell (==2.3.*) [details]|
|Copyright||Copyright (c) Topi Karvonen 2009|
|Uploaded||by TopiKarvonen at Mon Apr 13 15:26:32 UTC 2009|
|Downloads||801 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees