@hackage nat-optics1.0.0.4

Refinement types for natural numbers with an optics interface

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.