@hackage nat-optics1.0.1.0

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, ...

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.

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

@hackage nat-optics1.0.1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (3)

Dependents (0)