type: Dynamic casting library with support for arbitrary rank type kinds.

[ bsd3, data ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.2.0
Dependencies base (>=4.0 && <4.2), containers (>=0.2 && <0.3), template-haskell (>=2.3 && <2.4) [details]
License BSD-3-Clause
Copyright Copyright (c) Topi Karvonen 2009
Author Topi Karvonen
Maintainer topi.karvonen@gmail.com
Category Data
Bug tracker mailto:topi.karvonen@gmail.com
Uploaded by TopiKarvonen at 2009-04-13T15:26:32Z
Distributions
Downloads 1659 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]