cabal-version: 3.0

name: nat-optics
version: 1.0.1.0
x-revision: 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-2022 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

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

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

common dependencies
    build-depends:      base ^>= 4.14 || ^>= 4.15 || ^>= 4.16 || ^>= 4.17
                      , text ^>= 1.2.3.2 || ^>= 2.0
                      , optics-core ^>= 0.4

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

test-suite nat-optics-test
    import:             language
                      , dependencies
    type:               exitcode-stdio-1.0
    hs-source-dirs:     test
    main-is:            Main.hs
    build-depends:      nat-optics
                      , hspec ^>= 2.8 || ^>= 2.9 || ^>= 2.10