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

[ library, mit, numeric, optics ] [ Propose Tags ]


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.

Versions [RSS] [faq] 1,
Change log changelog.txt
Dependencies base (>=4.14 && <4.16), optics-core (==0.4.*), 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
Bug tracker
Source repo head: git clone
Uploaded by chris_martin at 2021-07-12T22:51:03Z
Distributions NixOS:
Downloads 87 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-07-12 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees