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
Change logNone available
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
UploadedMon Oct 31 15:27:01 UTC 2011 by WolfgangJeltsch
DistributionsNixOS:0.2.0.3
Downloads656 total (30 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees