@hackage type-functions0.0.0.0

Emulation of type-level functions

Categories
- Type System
License
BSD-3-Clause
Maintainer
jeltsch@tu-cottbus.de
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.2.0.4 Thu, 21 Jul 2016
- 0.2.0.3 Mon, 11 Jul 2016
- 0.2.0.2 Mon, 31 Oct 2011
- 0.2.0.0 Sat, 4 Sep 2010
- 0.1.0.0 Fri, 28 May 2010
- 0.0.0.0 Sat, 3 Apr 2010

Installation
In your cabal file:
Dependencies (2)
- base >=3.0 && <4.1
- kinds >=0.0 && <0.1
Dependents (4)
@hackage/records, @hackage/acme-everything, @hackage/records-th, @hackage/yoko

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.

@hackage type-functions0.0.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (2)

Dependents (4)