finitary-2.0.0.0: finitary.cabal
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