The latest version of nat-optics is 1.0.1.0-1.
nat-optics
Version 1.0.0.2 revision 0 uploaded by chris_martin.
Package meta
- 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, ...
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.
- Author
- Chris Martin
- Bug reports
- https://github.com/typeclasses/nat-optics/issues
- Category
- Numeric, Optics
- Copyright
- 2021 Mission Valley Software LLC
- Homepage
- https://github.com/typeclasses/nat-optics
- Maintainer
- Chris Martin, Julie Moronuki
- Package URL
- n/a
- Stability
- n/a