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

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

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.

Versions [RSS] [faq] 1, 1.0.0.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 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-12T22:51:03Z
Distributions NixOS:1.0.0.1
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]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates