The type-eq package

[Tags:bsd3, library]

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:

Properties

Versions 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 BSD3
Copyright Copyright (C) 2012-2013 Gábor Lehel
Author Gábor Lehel
Maintainer Gábor Lehel <glaebhoerl@gmail.com>
Stability experimental
Category Type System
Home page http://github.com/glaebhoerl/type-eq
Source repository head: git clone git://github.com/glaebhoerl/type-eq.git
Uploaded Tue Feb 10 12:16:11 UTC 2015 by GaborLehel
Updated Tue Jun 21 11:10:36 UTC 2016 by AdamBergmark to revision 1
Distributions LTSHaskell:0.5, NixOS:0.5, Stackage:0.5, Tumbleweed:0.5
Downloads 6328 total (35 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-05-21 [all 2 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees