The type-functions package
This package supports emulation of type-level functions using defunctionalization. All functions whose domain is a subkind of * and whose codomain is * itself can be represented.
For detailed information, please refer to Subsection 3.2 of the paper Generic Record Combinators with Static Type Checking.
Properties
| Versions | 0.0.0.0, 0.1.0.0, 0.2.0.0, 0.2.0.2, 0.2.0.3 |
|---|---|
| Dependencies | base (≥3.0 & <4.4), kinds (≥0.0.1 & <0.1) |
| License | BSD3 |
| Copyright | © 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch |
| Author | Wolfgang Jeltsch |
| Maintainer | wolfgang@cs.ioc.ee |
| Stability | provisional |
| Category | Type System |
| Home page | http://darcs.wolfgang.jeltsch.info/haskell/type-functions |
| Source repository | darcs get http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main |
| Upload date | Mon Oct 31 15:27:01 UTC 2011 |
| Uploaded by | WolfgangJeltsch |
| Build failure | ghc-7.2 (log), ghc-7.4 (log) |
Modules
- Data
- Data.TypeFun
Downloads
- type-functions-0.2.0.2.tar.gz (Cabal source package)
- package description (included in the package)