@hackage / nat-optics

Refinement types for natural numbers with an optics interface

Latest1.0.1.1

About

Metadata

  • Last updated , by chris_martin
  • License MIT
  • Categories Mathematics, Lenses

  • Maintained by: Chris Martin, Julie Moronuki

  • Lottery factor: 1

Links

Installation

Readme

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.