The kinds package

[Tags:bsd3, library]

Subkinds are the kind-level analog to subtypes. A kind denotes a set of types, and a subkind of some base kind denotes a subset of the base kind’s set of types. Haskell has no support for subkinds and subkind polymorphism. However, this package can be used to emulate subkinds of kind * and subkind variables.

To define a new subkind, the user declares a type that represents the subkind, and instantiates some classes. Afterwards, the user can declare types to be of that subkind and universally quantify over the inhabitants of the subkind. Since subkinds are represented by types, type-level polymorphism can be used to emulate kind-level polymorphism.

Properties

Versions 0.0.0.0, 0.0.1.0, 0.0.1.1, 0.0.1.2, 0.0.1.4, 0.0.1.5
Dependencies base (>=3.0 && <4.1) [details]
License BSD3
Copyright © 2009–2010 Brandenburgische Technische Universität Cottbus
Author Wolfgang Jeltsch
Maintainer jeltsch@tu-cottbus.de
Stability provisional
Category Type System
Home page http://community.haskell.org/~jeltsch/kinds/
Bug tracker jeltsch@tu-cottbus.de
Uploaded Fri May 28 19:33:36 UTC 2010 by WolfgangJeltsch
Distributions NixOS:0.0.1.5
Downloads 1178 total (13 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees