cabal-version: 3.0

name: nat-optics
version: 1.0.0.1
category: Numeric, Optics

synopsis:
    Refinement types for natural numbers with an optics interface

description:
    Modules:

    - "NatOptics.NonNegative" includes 0, 1, 2, 3, ...
    - "NatOptics.Positive" includes 1, 2, 3, 4, ...

    The modules in this package re-export some optics functions
    to cover basic usage, but you probably also want to import
    the "Optics" module from the `optics` package.

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

author:     Chris Martin
maintainer: Chris Martin, Julie Moronuki

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

build-type: Simple

extra-source-files: changelog.txt

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

common language
    default-language:   Haskell2010
    ghc-options:        -Wall
    default-extensions: DerivingStrategies
                      , GeneralizedNewtypeDeriving
                      , NoImplicitPrelude
                      , TypeApplications

common dependencies
    build-depends:      base        ^>= 4.14 || ^>= 4.15
                      , text        ^>= 1.2.3
                      , optics-core ^>= 0.4

common test
    import:             language
                      , dependencies
    default-extensions: TemplateHaskell
    build-depends:      hedgehog ^>= 1.0.4
                      , nat-optics
    other-modules:      TestPrelude

library
    import:             language
                      , dependencies
    hs-source-dirs:     src
    exposed-modules:    NatOptics.NonNegative
                      , NatOptics.Positive
    other-modules:      NatOptics.Internal

test-suite NonNegative
    import:             test
    type:               exitcode-stdio-1.0
    hs-source-dirs:     test
    main-is:            NonNegative.hs

test-suite Positive
    import:             test
    type:               exitcode-stdio-1.0
    hs-source-dirs:     test
    main-is:            Positive.hs