@hackage nat-optics1.0.0.4

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

Deprecated
This release has been deprecated in favour of: @hackage/nat-optics-1.0.1.0
Dependencies (3)
- base ^>=4.14 || ^>=4.15 || ^>=4.16
- text ^>=1.2.3.2 || ^>=2.0
- optics-core ^>=0.4
Dependents (0)

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.

@hackage nat-optics1.0.0.4

Categories

License

Maintainer

Links

Versions

Deprecated

Dependencies (3)

Dependents (0)