Cabal revisions of eliminators-0.4
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: eliminators-version: 0.4-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.4.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.11 && < 4.12- , extra >= 1.4.2 && < 1.7- , singletons >= 2.4 && < 2.5- , singleton-nats >= 0.4.0.3 && < 0.5- , template-haskell >= 2.13 && < 2.14- , th-abstraction >= 0.2.3 && < 0.3- , th-desugar >= 1.8 && < 1.9- hs-source-dirs: src- default-language: Haskell2010- ghc-options: -Wall -Wno-unticked-promoted-constructors--test-suite spec- type: exitcode-stdio-1.0- main-is: Spec.hs- other-modules: DecideSpec- DecideTypes- EqualitySpec- GADTSpec- ListSpec- ListTypes- VecTypes- VecSpec- build-depends: base >= 4.11 && < 4.12- , eliminators- , hspec >= 2 && < 3- , singletons >= 2.4 && < 2.5- , singleton-nats >= 0.4.0.3 && < 0.5- build-tool-depends: hspec-discover:hspec-discover- hs-source-dirs: tests- default-language: Haskell2010- ghc-options: -Wall -Wno-unticked-promoted-constructors -threaded -rtsopts+name: eliminators +version: 0.4 +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.4.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.11 && < 4.12 + , extra >= 1.4.2 && < 1.7 + , singletons >= 2.4.1 && < 2.5 + , singleton-nats >= 0.4.0.4 && < 0.5 + , template-haskell >= 2.13 && < 2.14 + , th-abstraction >= 0.2.3 && < 0.3 + , th-desugar >= 1.8 && < 1.9 + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: -Wall -Wno-unticked-promoted-constructors + +test-suite spec + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: DecideSpec + DecideTypes + EqualitySpec + GADTSpec + ListSpec + ListTypes + VecTypes + VecSpec + build-depends: base >= 4.11 && < 4.12 + , eliminators + , hspec >= 2 && < 3 + , singletons >= 2.4.1 && < 2.5 + , singleton-nats >= 0.4.0.4 && < 0.5 + build-tool-depends: hspec-discover:hspec-discover + hs-source-dirs: tests + default-language: Haskell2010 + ghc-options: -Wall -Wno-unticked-promoted-constructors -threaded -rtsopts