The type package
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.
Properties
| Versions | 0.1.0, 0.2.0 |
|---|---|
| Dependencies | base (≥4.0 & <4.2), containers (0.2.*), template-haskell (2.3.*) |
| License | BSD3 |
| Copyright | Copyright (c) Topi Karvonen 2009 |
| Author | Topi Karvonen |
| Maintainer | topi.karvonen@gmail.com |
| Stability | experimental |
| Category | Data |
| Bug tracker | mailto:topi.karvonen@gmail.com |
| Upload date | Mon Apr 13 15:26:32 UTC 2009 |
| Uploaded by | TopiKarvonen |
| Built on | ghc-6.10 |
| Build failure | ghc-6.12 (log) |
Modules
Downloads
- type-0.1.0.tar.gz (Cabal source package)
- package description (included in the package)