type: Dynamic casting library with support for arbitrary rank type kinds.
[ bsd3, data ] [ Propose Tags ]
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.
- type-0.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
- No Candidates
|Versions [RSS]||0.1.0, 0.2.0|
|Dependencies||base (>=4.2 && <4.3), containers (>=0.3 && <0.4), template-haskell (>=2.4 && <2.5) [details]|
|Copyright||Copyright (c) Topi Karvonen 2010|
|Uploaded||by TopiKarvonen at 2010-02-09T16:40:35Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||1697 total (6 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]