d10-0.3.0.1: d10.cabal

cabal-version: 2.2

name: d10
version: 0.3.0.1
category: Data
synopsis: Digits 0-9

description:
    Data types representing the digits zero through nine.
    .
    == Modules
    .
    Each of the following modules defines a different type named
    @D10@, all of which are different representations of the same
    concept:
    .
    * "Data.D10.Char" - Defines a @D10@ type as a newtype for @Char@,
      where the values are restricted to characters between @'0'@ and
      @'9'@.
    * "Data.D10.Num" - Defines a @D10@ type as a newtype for any
      type with an instance of the @Num@ class, where the values
      are restricted to numbers between @fromInteger 0@ and
      @fromInteger 9@.
    * "Data.D10.Safe" - Defines a @D10@ type as
      @D0 | D1 | D2 | ... | D9@.
    .
    Other modules:
    .
    * "Data.D10.Predicate" - Functions to test whether values of
      various types represent digits in the range /0/ to /9/.
    .
    == Quasi-quoters
    .
    Each module that defines a @D10@ type also defines quasi-quoters
    for it. With the @QuasiQuotes@ GHC extension enabled, a single
    digit like /7/ can be written as @[d10|7|]@, and a list of digits
    like /[4,5,6]/ can be written as @[d10|456|]@. For "Data.D10.Char"
    and "Data.D10.Num", the quasi-quoters are an important feature,
    because the @D10@ types defined in these modules have unsafe
    constructors, and the quasi-quoters provide compile-time assurance
    that we never construct a @D10@ that represents a value outside
    the range /0/ to /9/. For "Data.D10.Safe", the quasi-quoter is
    offered merely as a possible convenience, allowing you to write
    @[d10|456789|]@ in place of the somewhat longer expression
    @[D4,D5,D6,D7,D8,D9]@.

homepage:    https://github.com/typeclasses/d10
bug-reports: https://github.com/typeclasses/d10/issues

author:     Chris Martin
maintainer: Chris Martin, Julie Moronuki

copyright: 2018-2021 Mission Valley Software LLC
license: MIT
license-file: license.txt

build-type: Simple

tested-with:
    GHC == 8.2.2
  , GHC == 8.4.3
  , GHC == 8.6.1
  , GHC == 8.8.1
  , GHC == 8.10.1
  , GHC == 9.0.1

extra-source-files:
    README.md
    CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/typeclasses/d10

library
  default-language: Haskell2010
  ghc-options: -Wall
  hs-source-dirs: src

  build-depends:
      base ^>= 4.10 || ^>= 4.11 || ^>= 4.12
        || ^>= 4.13 || ^>= 4.14 || ^>= 4.15
    , template-haskell
           ^>= 2.12 || ^>= 2.13 || ^>= 2.14
        || ^>= 2.15 || ^>= 2.16 || ^>= 2.17

  exposed-modules:
      Data.D10.Char
    , Data.D10.Num
    , Data.D10.Predicate
    , Data.D10.Safe

  default-extensions:
      DeriveDataTypeable
      DeriveGeneric
      DeriveLift
      DerivingStrategies
      GeneralizedNewtypeDeriving
      InstanceSigs
      QuasiQuotes
      ScopedTypeVariables
      TemplateHaskell
      TypeApplications

test-suite char
  default-language: Haskell2010
  ghc-options: -Wall
  hs-source-dirs: test
  type: exitcode-stdio-1.0
  main-is: char.hs

  other-modules:
      AssertQFails
      Fallible

  build-depends:
      d10
    , base ^>= 4.10 || ^>= 4.11 || ^>= 4.12
        || ^>= 4.13 || ^>= 4.14 || ^>= 4.15
    , hedgehog ^>= 1.0
    , template-haskell
           ^>= 2.12 || ^>= 2.13 || ^>= 2.14
        || ^>= 2.15 || ^>= 2.16 || ^>= 2.17

  default-extensions:
      DeriveDataTypeable
      DeriveGeneric
      DeriveLift
      DerivingStrategies
      GeneralizedNewtypeDeriving
      InstanceSigs
      QuasiQuotes
      ScopedTypeVariables
      TemplateHaskell
      TypeApplications

test-suite num
  default-language: Haskell2010
  ghc-options: -Wall
  hs-source-dirs: test
  type: exitcode-stdio-1.0
  main-is: num.hs

  other-modules:
      AssertQFails
      Fallible

  build-depends:
      d10
    , base ^>= 4.10 || ^>= 4.11 || ^>= 4.12
        || ^>= 4.13 || ^>= 4.14 || ^>= 4.15
    , hedgehog ^>= 1.0
    , template-haskell
           ^>= 2.12 || ^>= 2.13 || ^>= 2.14
        || ^>= 2.15 || ^>= 2.16 || ^>= 2.17

  default-extensions:
      DeriveDataTypeable
      DeriveGeneric
      DeriveLift
      DerivingStrategies
      GeneralizedNewtypeDeriving
      InstanceSigs
      QuasiQuotes
      ScopedTypeVariables
      TemplateHaskell
      TypeApplications

test-suite safe
  default-language: Haskell2010
  ghc-options: -Wall
  hs-source-dirs: test
  type: exitcode-stdio-1.0
  main-is: safe.hs

  other-modules:
      AssertQFails
      Fallible

  build-depends:
      d10
    , base ^>= 4.10 || ^>= 4.11 || ^>= 4.12
        || ^>= 4.13 || ^>= 4.14 || ^>= 4.15
    , hedgehog ^>= 1.0
    , template-haskell
           ^>= 2.12 || ^>= 2.13 || ^>= 2.14
        || ^>= 2.15 || ^>= 2.16 || ^>= 2.17

  default-extensions:
      DeriveDataTypeable
      DeriveGeneric
      DeriveLift
      DerivingStrategies
      GeneralizedNewtypeDeriving
      InstanceSigs
      QuasiQuotes
      ScopedTypeVariables
      TemplateHaskell
      TypeApplications