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