The type-functions package

[Tags: bsd3, library]

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

Versions0.0.0.0, 0.1.0.0, 0.2.0.0, 0.2.0.2, 0.2.0.3
Dependenciesbase (>=3.0 && <4.4), kinds (>=0.0.1 && <0.1)
LicenseBSD3
Copyright© 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch
AuthorWolfgang Jeltsch
Maintainerwolfgang@cs.ioc.ee
Stabilityprovisional
CategoryType System
Home pagehttp://darcs.wolfgang.jeltsch.info/haskell/type-functions
Source repositoryhead: darcs get http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main
this: darcs get http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main --tag type-functions-0.2.0.2
Upload dateMon Oct 31 15:27:01 UTC 2011
Uploaded byWolfgangJeltsch
Downloads224 total (21 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees