The latest version of type-functions is 0.2.0.4-0.
type-functions
Version 0.2.0.0 revision 0 uploaded by WolfgangJeltsch.
Package meta
- Synopsis
- Emulation of type-level functions
- Description
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.
- Author
- Wolfgang Jeltsch
- Bug reports
- jeltsch@tu-cottbus.de
- Category
- Type System
- Copyright
- © 2009–2010 Brandenburgische Technische Universität Cottbus
- Homepage
- http://community.haskell.org/~jeltsch/type-functions/
- Maintainer
- jeltsch@tu-cottbus.de
- Package URL
- http://hackage.haskell.org/packages/archive/type-functions/0.2.0.0/type-functions-0.2.0.0.tar.gz
- Stability
- provisional