type: Dynamic casting library with support for arbitrary rank type kinds.
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.
| Versions | 0.1.0, 0.2.0 |
|---|---|
| Dependencies | base (>=4.2 && <4.3), containers (>=0.3 && <0.4), template-haskell (>=2.4 && <2.5) |
| License | BSD3 |
| Copyright | Copyright (c) Topi Karvonen 2010 |
| Author | Topi Karvonen |
| Maintainer | topi.karvonen@gmail.com |
| Stability | experimental |
| Category | Data |
| Bug tracker | mailto:topi.karvonen@gmail.com |
| Upload date | Tue Feb 9 16:40:35 UTC 2010 |
| Uploaded by | TopiKarvonen |
| Built on | ghc-6.12 |
| Distributions | Arch: 0.1.0 |
Modules
Downloads
- type-0.2.0.tar.gz (Cabal source package)
- package description (included in the package)