name:                finite
version:             1.5.0.0
synopsis:            Finite ranges via types
description:         A framework for capturing finite ranges with
                     types, where the sizes of the ranges are not
                     fixed statically at compile time, but instead
                     are passed at run-time via implicit parameters.
                     .
                     This is especially useful for objects of bounded
                     size, e.g. finite automata, where the number of
                     elements being part of the object, e.g. the number
                     of states, is well-defined in the context of the
                     object.
license:             MIT
license-file:        LICENSE
category:            Types
author:              Felix Klein <klein@react.uni-saarland.de>
maintainer:          Felix Klein <klein@react.uni-saarland.de>
stability:           stable
build-type:          Simple
extra-source-files:  Readme.md
cabal-version:       >=1.10
tested-with:         GHC == 9.10.1, GHC == 9.12.1

source-repository head
  type:     git
  location: https://github.com/kleinreact/finite

library

  ghc-options:
    -Wall
    -Wno-name-shadowing
    -Wno-orphans
    -fignore-asserts

  build-depends:
      base >=4.20 && <4.22
    , array >=0.5 && <0.6
    , containers >=0.7 && <0.8
    , hashable >=1.5 && <1.6
    , template-haskell >=2.22 && <2.24
    , QuickCheck >=2.10 && <=2.16

  exposed-modules:
    Finite
    Finite.TH

  other-modules:
    Finite.Class
    Finite.PowerSet
    Finite.Collection

  hs-source-dirs:
    src/lib

  default-language:
    Haskell2010

test-suite default

  ghc-options:
    -Wall
    -Wno-name-shadowing
    -Wno-orphans
    -fno-ignore-asserts

  type:
    detailed-0.9

  test-module:
    Test

  hs-source-dirs:
    src/test

  build-depends:
      base >=4.20 && <4.22
    , hashable >=1.5 && <1.6
    , Cabal >=3.12 && < 3.15
    , QuickCheck >=2.10 && <=2.16
    , finite

  default-language:
    Haskell2010