cabal-version:      2.2
name:               finitary
version:            2.0.0.0
synopsis:           A better, more type-safe Enum.
description:
  Provides a type class witnessing that a type has
  finitely-many inhabitants, as well as its cardinality.
  Also provides an auto-deriving framework using GHC
  Generics, together with a range of instances for existing
  types.

homepage:           https://notabug.org/koz.ross/finitary
bug-reports:        https://notabug.org/koz.ross/finitary/issues
license:            GPL-3.0-or-later
license-file:       LICENSE.md
author:             Koz Ross
maintainer:         koz.ross@retro-freedom.nz
copyright:          (C) Koz Ross 2019-2020
category:           Data
build-type:         Simple
tested-with:        GHC ==8.6.5 || ==8.8.3 || ==8.10.1
extra-source-files:
  CHANGELOG.md
  README.md
  LICENSE.md

source-repository head
  type:     git
  location: git://notabug.org/koz.ross/finitary.git

library
  exposed-modules:  Data.Finitary
  other-modules:    Data.Finitary.TH
  build-depends:
    , base                       >=4.12     && <5
    , bitvec                     ^>=1.0.3.0
    , finite-typelits            ^>=0.1.4.2
    , ghc-typelits-knownnat      ^>=0.7.2
    , ghc-typelits-natnormalise  ^>=0.7.2
    , primitive                  ^>=0.7.0.1
    , template-haskell           >=2.14.0.0 && <3.0.0.0
    , typelits-witnesses         ^>=0.4.0.0
    , vector                     ^>=0.12.1.2
    , vector-sized               ^>=1.4.1.0

  hs-source-dirs:   src
  ghc-options:
    -Wall -Wcompat -Wincomplete-record-updates
    -Wincomplete-uni-patterns -Wredundant-constraints

  default-language: Haskell2010

test-suite tests
  type:             exitcode-stdio-1.0
  main-is:          Main.hs
  other-modules:
    Data.Finitary
    Data.Finitary.TH

  build-depends:
    , base
    , bitvec
    , finite-typelits
    , ghc-typelits-knownnat
    , ghc-typelits-natnormalise
    , hedgehog                   ^>=1.0.2
    , hspec                      ^>=2.7.1
    , hspec-hedgehog             ^>=0.0.1.2
    , primitive
    , template-haskell
    , typelits-witnesses
    , vector
    , vector-sized

  hs-source-dirs:   test src
  ghc-options:
    -Wall -Wcompat -Wincomplete-record-updates
    -Wincomplete-uni-patterns -Wredundant-constraints -O2 -threaded
    -with-rtsopts=-N

  default-language: Haskell2010