type-eq: Type equality evidence you can carry around

[ bsd3, library, type-system ] [ Propose Tags ]

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:

Modules

[Last Documentation]

  • Type
    • Type.Eq
      • Type.Eq.Higher
        • Type.Eq.Higher.Unsafe
      • Type.Eq.Unsafe

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.3, 0.4, 0.4.1, 0.4.2, 0.5
Dependencies base (>=3.0 && <4.6), groupoids (>=0.1 && <0.3), semigroupoids (>=1.0 && <1.4) [details]
License BSD-3-Clause
Copyright Copyright (C) 2012 Gábor Lehel
Author Gábor Lehel
Maintainer Gábor Lehel <illissius@gmail.com>
Category Type System
Home page http://github.com/glehel/type-eq
Source repo head: git clone git://github.com/glehel/type-eq.git
Uploaded by GaborLehel at 2012-06-15T20:56:47Z
Distributions
Reverse Dependencies 4 direct, 23 indirect [details]
Downloads 12502 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-24 [all 6 reports]