type-eq

Version 0.2 revision 0 uploaded 2012-09-16T19:40:22.000Z 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 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:

• http://hackage.haskell.org/package/type-equality

• http://hackage.haskell.org/package/eq

• http://hackage.haskell.org/package/ty

• http://hackage.haskell.org/package/dependent-sum

• http://hackage.haskell.org/package/categories (Data.Category.Discrete)

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

Components

• lib:type-eq