The latest version of type-functions is 0.2.0.4-0.
type-functions
Version 0.2.0.2 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
- n/a
- Category
- Type System
- Copyright
- © 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch
- Homepage
- http://darcs.wolfgang.jeltsch.info/haskell/type-functions
- Maintainer
- wolfgang@cs.ioc.ee
- Package URL
- http://hackage.haskell.org/packages/archive/type-functions/0.2.0.2/type-functions-0.2.0.2.tar.gz
- Stability
- provisional