type-eq
Version 0.1.1 revision 0 uploaded by GaborLehel.
Package meta
- Synopsis
- Type equality evidence you can carry around
- Description
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 ifPolyKinds
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 ifPolyKinds
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:
- Author
- Gábor Lehel
- Bug reports
- n/a
- Category
- Type System
- Copyright
- Copyright (C) 2012 Gábor Lehel
- Homepage
- http://github.com/glehel/type-eq
- Maintainer
- Gábor Lehel <illissius@gmail.com>
- Package URL
- n/a
- Stability
- experimental