nat-optics-1.0.0.2: nat-optics.cabal
cabal-version: 3.0
name: nat-optics
version: 1.0.0.2
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 || ^>= 4.16
, text ^>= 1.2.3 || ^>= 2.0
, optics-core ^>= 0.4
common test
import: language
, dependencies
build-depends: 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