@hackage type-eq0.1

Type equality evidence you can carry around

Categories
- Type System
License
BSD-3-Clause
Maintainer
Gábor Lehel <illissius@gmail.com>
Links
Versions
- 0.5 Tue, 21 Jun 2016
- 0.4.2 Thu, 6 Mar 2014
- 0.4.1 Wed, 15 Jan 2014
- 0.4 Wed, 18 Dec 2013
- 0.3 Fri, 27 Sep 2013
- 0.2.1 Fri, 27 Sep 2013

Installation
In your cabal file:
Dependencies (3)
- base >=3.0 && <4.6
- groupoids >=0.1 && <0.3
- semigroupoids >=1.0 && <1.4
Dependents (4)
@hackage/superconstraints, @hackage/haskell-names, @hackage/acme-everything, @hackage/fay

This package provides types and combinators to store and manipulate evidence of equality between types.

To take advantage of kind-polymorphism when it is available but not require it, this it is split into the following primary modules:

Type.Eq: Types and combinators which can be kind-polymorphic if PolyKinds are available, but are specific to kind * otherwise.
Type.Eq.Higher: Kind-monomorphic types and combinators of higher kind, up to * -> * -> *.
Type.Eq.Poly: Combinators that require kind-polymorphism. This module is only available if PolyKinds are available.

Support for kind-polymorphism first appeared with GHC 7.4, but because it is too buggy to be practical, it will only be enabled with GHC 7.6.

Major required extensions: GADTs, TypeFamilies (for ~), Rank2Types, TypeOperators

Optional extensions: PolyKinds (GHC 7.6+)

Minimum GHC: 6.10

Related packages: