nat-optics: Refinement types for natural numbers with an optics interface

[ library, mit, numeric, optics ] [ Propose Tags ] [ Report a vulnerability ]

Modules:

NatOptics.NonNegative includes 0, 1, 2, 3, ...
NatOptics.Positive includes 1, 2, 3, 4, ...

You probably also want to import the Optics module from the optics package.

Modules

[Index] [Quick Jump]

NatOptics
- NatOptics.NonNegative
- NatOptics.Positive

Downloads

nat-optics-1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

chris_martin, Monoid_Mary

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	1, 1.0.0.1, 1.0.0.2, 1.0.0.3, 1.0.0.4, 1.0.1.0 (info)
Dependencies	base (>=4.14 && <4.16), optics-core (>=0.4 && <0.5), text (>=1.2.3 && <1.3) [details]
License	MIT
Copyright	2021 Mission Valley Software LLC
Author	Chris Martin
Maintainer	Chris Martin, Julie Moronuki
Category	Numeric, Optics
Home page	https://github.com/typeclasses/nat-optics
Bug tracker	https://github.com/typeclasses/nat-optics/issues
Source repo	head: git clone https://github.com/typeclasses/nat-optics
Uploaded	by chris_martin at 2021-07-08T21:46:36Z
Distributions
Downloads	487 total (17 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2021-07-08 [all 1 reports]