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 || ^>=4.17
• 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