type-eq

Type equality evidence you can carry around

http://github.com/glaebhoerl/type-eq

Version on this page:0.5
LTS Haskell 8.24:0.5@rev:1
Stackage Nightly 2017-06-26:0.5@rev:1
Latest on Hackage:0.5@rev:1

See all snapshots type-eq appears in

BSD-3-Clause licensed by Gábor Lehel
Maintained by Gábor Lehel
This version can be pinned in stack with:type-eq-0.5@sha256:4145ef5aaca8a06d8ba2bdb81c220c4e557c5efefc323731fc18e5d542580a05,2844

Module documentation for 0.5

Depends on 1 package(full list with versions):
base
Used by 1 package in nightly-2016-05-01(full list with versions):
fay

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

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

  • Type.Eq: Types and functions which can be kind-polymorphic if PolyKinds are available, but are specific to kind * otherwise.

  • Type.Eq.Higher: Kind-monomorphic types and functions of higher kind, up to * -> * -> *.

  • Type.Eq.Poly: Combinators that require kind polymorphism. This module is only available if PolyKinds are available.

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

Optional extensions: PolyKinds (GHC 7.6+)

Minimum GHC: 6.10

Related packages: