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 && <5), kinds (>=0.0.1 && <0.1)
LicenseBSD3
Copyright© 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011–2012 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.3
UploadedSun Jan 15 18:21:06 UTC 2012 by WolfgangJeltsch
Downloads445 total (28 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees