name: eliminators version: 0.3 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 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.2.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.10 && < 4.11 , extra >= 1.4.2 && < 1.7 , singletons >= 2.3 && < 2.4 , singleton-nats >= 0.4.0.3 && < 0.5 , template-haskell >= 2.12 && < 2.13 , th-abstraction >= 0.2.3 && < 0.3 , th-desugar >= 1.7 && < 1.8 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.10 && < 4.11 , eliminators , hspec >= 2 && < 3 , singletons >= 2.3 && < 2.4 , singleton-nats >= 0.4.0.3 && < 0.5 hs-source-dirs: tests default-language: Haskell2010 ghc-options: -Wall -Wno-unticked-promoted-constructors -threaded -rtsopts