type-eq: Type equality evidence you can carry around

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

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:

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

Optional extensions: PolyKinds (GHC 7.6+)

Minimum GHC: 6.10

Related packages:

Versions [faq] 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.10) [details]
License BSD-3-Clause
Copyright Copyright (C) 2012-2013 Gábor Lehel
Author Gábor Lehel
Maintainer Gábor Lehel <glaebhoerl@gmail.com>
Revised Revision 1 made by AdamBergmark at 2016-06-21T11:10:36Z
Category Type System
Home page http://github.com/glaebhoerl/type-eq
Source repo head: git clone git://github.com/glaebhoerl/type-eq.git
Uploaded by GaborLehel at 2015-02-10T12:16:11Z
Distributions NixOS:0.5
Downloads 11728 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-05-21 [all 2 reports]

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees