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 && <5), kinds (>=0.0.1 && <0.1) [details]
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
DistributionsNixOS:0.2.0.3
Downloads763 total (33 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees