The latest version of type-functions is 0.2.0.4-0.

type-functions

Version 0.2.0.3 revision 1 uploaded by phadej.

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–2012 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.3/type-functions-0.2.0.3.tar.gz
Stability
provisional

Components