@hackage nat-optics1

Refinement types for natural numbers with an optics interface

Categories
- Mathematics
- Lenses
License
MIT
Maintainer
Chris Martin, Julie Moronuki
Links
Versions
- 1.0.1.0 Wed, 31 May 2023
- 1.0.0.4 Mon, 25 Jul 2022
- 1.0.0.3 Tue, 19 Jul 2022
- 1.0.0.2 Mon, 10 Jan 2022
- 1.0.0.1 Mon, 12 Jul 2021
- 1 Thu, 8 Jul 2021

Installation
In your cabal file:
Dependencies (3)
- base ^>=4.14 || ^>=4.15
- text ^>=1.2.3
- optics-core ^>=0.4
Dependents (0)

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.