nat-optics

Version 1.0.1.0 revision 1 uploaded by chris_martin.

Package meta

Synopsis
Refinement types for natural numbers with an optics interface
Description

Modules:

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-2022 Mission Valley Software LLC
Homepage
https://github.com/typeclasses/nat-optics
Maintainer
Chris Martin, Julie Moronuki
Package URL
n/a
Stability
n/a

Components