Cabal revisions of eliminators-0.6
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: eliminators-version: 0.6-synopsis: Dependently typed elimination functions using singletons-description: This library provides eliminators for inductive data types,- leveraging the power of the @singletons@ library to allow- dependently typed elimination.-homepage: https://github.com/RyanGlScott/eliminators-bug-reports: https://github.com/RyanGlScott/eliminators/issues-license: BSD3-license-file: LICENSE-author: Ryan Scott-maintainer: Ryan Scott <ryan.gl.scott@gmail.com>-stability: Experimental-copyright: (C) 2017 Ryan Scott-category: Dependent Types-build-type: Simple-extra-source-files: CHANGELOG.md, README.md-cabal-version: >=1.10-tested-with: GHC == 8.8.1--source-repository head- type: git- location: https://github.com/RyanGlScott/eliminators--library- exposed-modules: Data.Eliminator- Data.Eliminator.TH- Data.Eliminator.TypeNats- build-depends: base >= 4.13 && < 4.14- , extra >= 1.4.2 && < 1.7- , singletons >= 2.6 && < 2.7- , singleton-nats >= 0.4.2 && < 0.5- , template-haskell >= 2.15 && < 2.16- , th-abstraction >= 0.3 && < 0.4- , th-desugar >= 1.10 && < 1.11- hs-source-dirs: src- default-language: Haskell2010- ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors--test-suite spec- type: exitcode-stdio-1.0- main-is: Spec.hs- other-modules: DecideSpec- DecideTypes- EqualitySpec- EqualityTypes- GADTSpec- Internal- ListSpec- ListTypes- VecTypes- VecSpec- build-depends: base >= 4.13 && < 4.14- , eliminators- , hspec >= 2 && < 3- , singletons >= 2.6 && < 2.7- , singleton-nats >= 0.4.2 && < 0.5- build-tool-depends: hspec-discover:hspec-discover- hs-source-dirs: tests- default-language: Haskell2010- ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -threaded -rtsopts+name: eliminators +version: 0.6 +x-revision: 1 +synopsis: Dependently typed elimination functions using singletons +description: This library provides eliminators for inductive data types, + leveraging the power of the @singletons@ library to allow + dependently typed elimination. +homepage: https://github.com/RyanGlScott/eliminators +bug-reports: https://github.com/RyanGlScott/eliminators/issues +license: BSD3 +license-file: LICENSE +author: Ryan Scott +maintainer: Ryan Scott <ryan.gl.scott@gmail.com> +stability: Experimental +copyright: (C) 2017 Ryan Scott +category: Dependent Types +build-type: Simple +extra-source-files: CHANGELOG.md, README.md +cabal-version: >=1.10 +tested-with: GHC == 8.8.1 + +source-repository head + type: git + location: https://github.com/RyanGlScott/eliminators + +library + exposed-modules: Data.Eliminator + Data.Eliminator.TH + Data.Eliminator.TypeNats + build-depends: base >= 4.13 && < 4.14 + , extra >= 1.4.2 && < 1.8 + , singletons >= 2.6 && < 2.7 + , singleton-nats >= 0.4.2 && < 0.5 + , template-haskell >= 2.15 && < 2.16 + , th-abstraction >= 0.3 && < 0.4 + , th-desugar >= 1.10 && < 1.11 + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors + +test-suite spec + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: DecideSpec + DecideTypes + EqualitySpec + EqualityTypes + GADTSpec + Internal + ListSpec + ListTypes + VecTypes + VecSpec + build-depends: base >= 4.13 && < 4.14 + , eliminators + , hspec >= 2 && < 3 + , singletons >= 2.6 && < 2.7 + , singleton-nats >= 0.4.2 && < 0.5 + build-tool-depends: hspec-discover:hspec-discover + hs-source-dirs: tests + default-language: Haskell2010 + ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -threaded -rtsopts