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, 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.

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

Optional extensions: PolyKinds (GHC 7.6+)

Minimum GHC: 6.10

Related packages:

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.7), groupoids (>=0.1 && <3.1), semigroupoids (>=1.0 && <3.2) [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 2013-09-27T16:28:18Z
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 available [build log]
Successful builds reported [all 1 reports]