Cabal revisions of type-equality-1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: type-equality-version: 1-stability: provisional-cabal-version: >=1.10-build-type: Simple-author: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen-maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>-license: BSD3-license-file: LICENSE-homepage: https://github.com/hesselink/type-equality-category: Data, Dependent Types-synopsis: Data.Type.Equality compat package-description:- This library defines a propositional equality data type,- shims @Data.Type.Equality" as well as possible for older GHCs (< 7.8).- .- @- data a :~: b where- \ Refl :: a :~: a- @- .- The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for- compilers with @PolyKinds@--extra-source-files: CHANGELOG.md-tested-with:- GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4---source-repository head- type: git- location: git://github.com/hesselink/type-equality--library- default-language: Haskell2010- build-depends: base >=4.3 && <4.14-- if !impl(ghc >=7.8)- hs-source-dirs: src-old- exposed-modules: Data.Type.Equality-- if impl(ghc >=8.0)- hs-source-dirs: src-hetero- exposed-modules: Data.Type.Equality.Hetero- other-extensions: PolyKinds+name: type-equality +version: 1 +x-revision: 1 +stability: provisional +cabal-version: >=1.10 +build-type: Simple +author: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen +maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com> +license: BSD3 +license-file: LICENSE +homepage: https://github.com/hesselink/type-equality +category: Data, Dependent Types +synopsis: Data.Type.Equality compat package +description: + This library defines a propositional equality data type, + shims @Data.Type.Equality" as well as possible for older GHCs (< 7.8). + . + @ + data a :~: b where + \ Refl :: a :~: a + @ + . + The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for + compilers with @PolyKinds@ + +extra-source-files: CHANGELOG.md +tested-with: + GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4 + + +source-repository head + type: git + location: git://github.com/hesselink/type-equality + +library + default-language: Haskell2010 + build-depends: base >=4.3 && <4.15 + + if !impl(ghc >=7.8) + hs-source-dirs: src-old + exposed-modules: Data.Type.Equality + + if impl(ghc >=8.0) + hs-source-dirs: src-hetero + exposed-modules: Data.Type.Equality.Hetero + other-extensions: PolyKinds
revision 2
-name: type-equality -version: 1 -x-revision: 1 -stability: provisional -cabal-version: >=1.10 -build-type: Simple -author: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen -maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com> -license: BSD3 -license-file: LICENSE -homepage: https://github.com/hesselink/type-equality -category: Data, Dependent Types -synopsis: Data.Type.Equality compat package -description: - This library defines a propositional equality data type, - shims @Data.Type.Equality" as well as possible for older GHCs (< 7.8). - . - @ - data a :~: b where - \ Refl :: a :~: a - @ - . - The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for - compilers with @PolyKinds@ - -extra-source-files: CHANGELOG.md -tested-with: - GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4 - - -source-repository head - type: git - location: git://github.com/hesselink/type-equality - -library - default-language: Haskell2010 - build-depends: base >=4.3 && <4.15 - - if !impl(ghc >=7.8) - hs-source-dirs: src-old - exposed-modules: Data.Type.Equality - - if impl(ghc >=8.0) - hs-source-dirs: src-hetero - exposed-modules: Data.Type.Equality.Hetero - other-extensions: PolyKinds +name: type-equality+version: 1+x-revision: 2+stability: provisional+cabal-version: >=1.10+build-type: Simple+author:+ Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen++maintainer:+ Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>++license: BSD3+license-file: LICENSE+homepage: https://github.com/hesselink/type-equality+category: Data, Dependent Types+synopsis: Data.Type.Equality compat package+description:+ This library defines a propositional equality data type,+ shims @Data.Type.Equality@ as well as possible for older GHCs (< 7.8).+ .+ @+ data a :~: b where+ \ Refl :: a :~: a+ @+ .+ The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for+ compilers with @PolyKinds@++extra-source-files: CHANGELOG.md+tested-with:+ GHC ==7.0.4+ || ==7.2.2+ || ==7.4.2+ || ==7.6.3+ || ==7.8.4+ || ==7.10.3+ || ==8.0.2+ || ==8.2.2+ || ==8.4.4+ || ==8.6.5+ || ==8.8.4+ || ==8.10.3++source-repository head+ type: git+ location: git://github.com/hesselink/type-equality++library+ default-language: Haskell2010+ build-depends: base >=4.3 && <4.16++ if !impl(ghc >=7.8)+ hs-source-dirs: src-old+ exposed-modules: Data.Type.Equality++ if impl(ghc >=8.0)+ hs-source-dirs: src-hetero+ exposed-modules: Data.Type.Equality.Hetero+ other-extensions: PolyKinds
revision 3
name: type-equality version: 1-x-revision: 2+x-revision: 3 stability: provisional cabal-version: >=1.10 build-type: Simple || ==8.4.4 || ==8.6.5 || ==8.8.4- || ==8.10.3+ || ==8.10.4+ || ==9.0.1+ || ==9.2.1 source-repository head type: git library default-language: Haskell2010- build-depends: base >=4.3 && <4.16+ build-depends: base >=4.3 && <4.17 if !impl(ghc >=7.8) hs-source-dirs: src-old
revision 4
name: type-equality version: 1-x-revision: 3+x-revision: 4 stability: provisional cabal-version: >=1.10 build-type: Simple || ==8.6.5 || ==8.8.4 || ==8.10.4- || ==9.0.1- || ==9.2.1+ || ==9.0.2+ || ==9.2.4+ || ==9.4.1 source-repository head type: git library default-language: Haskell2010- build-depends: base >=4.3 && <4.17+ build-depends: base >=4.3 && <4.18 if !impl(ghc >=7.8) hs-source-dirs: src-old
revision 5
name: type-equality version: 1-x-revision: 4+x-revision: 5 stability: provisional cabal-version: >=1.10 build-type: Simple || ==8.4.4 || ==8.6.5 || ==8.8.4- || ==8.10.4+ || ==8.10.7 || ==9.0.2- || ==9.2.4- || ==9.4.1+ || ==9.2.7+ || ==9.4.4+ || ==9.6.1 source-repository head type: git library default-language: Haskell2010- build-depends: base >=4.3 && <4.18+ build-depends: base >=4.3 && <4.19 if !impl(ghc >=7.8) hs-source-dirs: src-old
revision 6
name: type-equality version: 1-x-revision: 5+x-revision: 6 stability: provisional cabal-version: >=1.10 build-type: Simple || ==8.8.4 || ==8.10.7 || ==9.0.2- || ==9.2.7- || ==9.4.4- || ==9.6.1+ || ==9.2.8+ || ==9.4.7+ || ==9.6.3+ || ==9.8.1 source-repository head type: git library default-language: Haskell2010- build-depends: base >=4.3 && <4.19+ build-depends: base >=4.3 && <4.20 if !impl(ghc >=7.8) hs-source-dirs: src-old