@hackage nat-optics1

Refinement types for natural numbers with an optics interface

Categories
- Lenses
- Mathematics
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

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.

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