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.

Modules

[Index]

Downloads

• type-0.2.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• TopiKarvonen

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates