The type-eq package

[ Tags: 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:

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.7), groupoids (>=0.1 && <3.1), semigroupoids (>=1.0 && <3.1) [details]
License BSD3
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 repository head: git clone git://github.com/glehel/type-eq.git
Uploaded Sun Sep 16 19:40:22 UTC 2012 by GaborLehel
Distributions NixOS:0.5, Tumbleweed:0.5
Downloads 6708 total (16 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees