cabal-version: 3.0

name: nat-optics
version: 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, ...

    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

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

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

    default-extensions:
        DerivingStrategies
        GeneralizedNewtypeDeriving
        NoImplicitPrelude

    exposed-modules:
        NatOptics.NonNegative
        NatOptics.Positive

    other-modules:
        NatOptics.Internal

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