Cabal revisions of eliminators-0.9.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: eliminators-version: 0.9.5-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 == 9.10.1--source-repository head- type: git- location: https://github.com/RyanGlScott/eliminators--library- exposed-modules: Data.Eliminator- Data.Eliminator.Functor- Data.Eliminator.Monoid- Data.Eliminator.Semigroup- Data.Eliminator.TH- Data.Eliminator.TypeLits- Data.Eliminator.TypeNats- build-depends: base >= 4.20 && < 4.21- , extra >= 1.4.2 && < 1.8- , singletons-base >= 3.4 && < 3.5- , singleton-nats >= 0.4.2 && < 0.5- , template-haskell >= 2.22 && < 2.23- , text >= 2.0.1 && < 2.2- , th-abstraction >= 0.4 && < 0.8- , th-desugar >= 1.17 && < 1.18- hs-source-dirs: src- default-language: GHC2021- ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -fenable-th-splice-warnings--test-suite spec- type: exitcode-stdio-1.0- main-is: Spec.hs- other-modules: DecideSpec- DecideTypes- EqualitySpec- EqualityTypes- GADTSpec- Internal- MatchabilizeSpec- MatchabilizeTypes- ListSpec- ListTypes- PolyRecTypes- VecTypes- VecSpec- build-depends: base >= 4.20 && < 4.21- , eliminators- , hspec >= 2 && < 3- , singletons-base >= 3.4 && < 3.5- , singleton-nats >= 0.4.2 && < 0.5- build-tool-depends: hspec-discover:hspec-discover- hs-source-dirs: tests- default-language: GHC2021- ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -fenable-th-splice-warnings -threaded -rtsopts+name: eliminators +version: 0.9.5 +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 == 9.10.1 + +source-repository head + type: git + location: https://github.com/RyanGlScott/eliminators + +library + exposed-modules: Data.Eliminator + Data.Eliminator.Functor + Data.Eliminator.Monoid + Data.Eliminator.Semigroup + Data.Eliminator.TH + Data.Eliminator.TypeLits + Data.Eliminator.TypeNats + build-depends: base >= 4.20 && < 4.21 + , extra >= 1.4.2 && < 1.9 + , singletons-base >= 3.4 && < 3.5 + , singleton-nats >= 0.4.2 && < 0.5 + , template-haskell >= 2.22 && < 2.23 + , text >= 2.0.1 && < 2.2 + , th-abstraction >= 0.4 && < 0.8 + , th-desugar >= 1.17 && < 1.18 + hs-source-dirs: src + default-language: GHC2021 + ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -fenable-th-splice-warnings + +test-suite spec + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: DecideSpec + DecideTypes + EqualitySpec + EqualityTypes + GADTSpec + Internal + MatchabilizeSpec + MatchabilizeTypes + ListSpec + ListTypes + PolyRecTypes + VecTypes + VecSpec + build-depends: base >= 4.20 && < 4.21 + , eliminators + , hspec >= 2 && < 3 + , singletons-base >= 3.4 && < 3.5 + , singleton-nats >= 0.4.2 && < 0.5 + build-tool-depends: hspec-discover:hspec-discover + hs-source-dirs: tests + default-language: GHC2021 + ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -fenable-th-splice-warnings -threaded -rtsopts