eliminators-0.2: eliminators.cabal

name:                eliminators
version:             0.2
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.2.1

source-repository head
  type:                git
  location:            https://github.com/RyanGlScott/eliminators

library
  exposed-modules:     Data.Eliminator
                       Data.Eliminator.TH
  build-depends:       base             >= 4.10  && < 4.11
                     , extra            >= 1.4.2 && < 1.7
                     , singletons       >= 2.3   && < 2.4
                     , 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:       EqualitySpec
                       GADTSpec
                       ListSpec
                       ListTypes
                       PeanoSpec
                       PeanoTypes
                       VecSpec
  build-depends:       base       >= 4.10 && < 4.11
                     , eliminators
                     , hspec      >= 2    && < 3
                     , singletons >= 2.3  && < 2.4
  hs-source-dirs:      tests
  default-language:    Haskell2010
  ghc-options:         -Wall -Wno-unticked-promoted-constructors -threaded -rtsopts