Version 1.0.0.3-0 of nat-optics is deprecated.
The latest version of nat-optics is 1.0.1.0-1.
lib:nat-optics
Modules
- NatOptics.NonNegative
- NatOptics.NonNegative.Unsafe
- NatOptics.Positive
- NatOptics.Positive.Math
- NatOptics.Positive.Unsafe
- NatOptics.Signed
Dependencies
- base lib:base ^>=4.14 || ^>=4.15 || ^>=4.16
- optics-core lib:optics-core ^>=0.4
- text lib:text ^>=1.2.3.2 || ^>=2.0
Reverse dependencies
Direct only. Not exhaustive.
- nat-optics test:NonNegative
- nat-optics test:Positive
- nat-optics test:nat-optics-test