type-equality 0.1.0.2 → 0.1.1
raw patch · 3 files changed
+45/−27 lines, 3 files
Files
- CHANGELOG +14/−0
- src/Data/Type/Equality.hs +3/−0
- type-equality.cabal +28/−27
+ CHANGELOG view
@@ -0,0 +1,14 @@+0.1.1+ * Turn on PolyKinds for GHC >= 7.6. Thanks to Ben Franksen.++0.1.0.2+ * Move 'Build-depends' to 'Library' section. Thanks to Brent Yorgey.++0.1.0.1+ * Added EqT instance for (:=:)+ * Removed 'cast' as synonym for 'coerce'.+ * Show and read instances for (:=:).+ * Lots of small changes.++0.1.0+ * Initial version.
src/Data/Type/Equality.hs view
@@ -3,6 +3,9 @@ , FlexibleInstances , CPP #-}+#if __GLASGOW_HASKELL__ >= 706+{-# LANGUAGE PolyKinds #-}+#endif ------------------------------------------------------------------------------- -- | -- Module : Data.Type.Equality
type-equality.cabal view
@@ -1,31 +1,32 @@-Name: type-equality-Version: 0.1.0.2-Synopsis: Type equality, coercion/cast and other operations.-Description: In the presence of GADTs, sometimes a proof is- needed that two types are equal. This package- contains an equality type for this purpose, plus its- properties (reflexive, symmetric, transitive) and- some useful operations (substitution, congruence,- coercion/cast). It also contains a type class for- producing equality proofs, providing some form of- decidable equality on types.-Category: Data-Cabal-Version: >= 1.6-Author: Erik Hesselink, Martijn van Steenbergen-License: BSD3-License-File: LICENSE-Maintainer: hesselink@gmail.com-Homepage: http://github.com/hesselink/type-equality/-Stability: experimental-Build-Type: Simple-Tested-With: GHC == 6.8.2, GHC == 6.10.3, GHC == 6.12.3, GHC == 7.0.2, GHC == 7.2.1+Name: type-equality+Version: 0.1.1+Synopsis: Type equality, coercion/cast and other operations.+Description: In the presence of GADTs, sometimes a proof is+ needed that two types are equal. This package+ contains an equality type for this purpose, plus its+ properties (reflexive, symmetric, transitive) and+ some useful operations (substitution, congruence,+ coercion/cast). It also contains a type class for+ producing equality proofs, providing some form of+ decidable equality on types.+Category: Data+Cabal-Version: >= 1.6+Author: Erik Hesselink, Martijn van Steenbergen+License: BSD3+License-File: LICENSE+Maintainer: hesselink@gmail.com+Homepage: http://github.com/hesselink/type-equality/+Stability: experimental+Build-Type: Simple+Tested-With: GHC == 7.0.4, GHC == 7.4.1, GHC == 7.6.1+Extra-Source-Files: CHANGELOG Library- Build-Depends: base >= 3 && < 5- HS-Source-Dirs: src- GHC-Options: -Wall- Exposed-Modules: Data.Type.Equality+ Build-Depends: base >= 3 && < 5+ HS-Source-Dirs: src+ GHC-Options: -Wall+ Exposed-Modules: Data.Type.Equality Source-Repository head- Type: git- Location: git://github.com/hesselink/type-equality.git+ Type: git+ Location: git://github.com/hesselink/type-equality.git