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