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

Index

absoluteDifferenceNatOptics.Positive.Math
IntegerNatOptics.NonNegative, NatOptics.Positive
intIsoNatOptics.Signed
intNatIsoNatOptics.Signed
intPrism 
1 (Function)NatOptics.NonNegative
2 (Function)NatOptics.Positive
Iso'NatOptics.NonNegative
MinusNatOptics.Signed
minusNatOptics.Positive.Math
natIsoNatOptics.NonNegative
natPrism 
1 (Function)NatOptics.NonNegative
2 (Function)NatOptics.Positive
NaturalNatOptics.NonNegative, NatOptics.Positive
NonNegativeNatOptics.NonNegative.Unsafe, NatOptics.NonNegative
NonNegativeUnsafeNatOptics.NonNegative.Unsafe
number 
1 (Function)NatOptics.NonNegative.Unsafe
2 (Function)NatOptics.Positive.Unsafe
PlusNatOptics.Signed
plusNatOptics.Positive.Math
PositiveNatOptics.Positive.Unsafe, NatOptics.Positive
PositiveUnsafeNatOptics.Positive.Unsafe
previewNatOptics.NonNegative, NatOptics.Positive
Prism'NatOptics.NonNegative, NatOptics.Positive
refine 
1 (Function)NatOptics.NonNegative
2 (Function)NatOptics.Positive
reviewNatOptics.NonNegative, NatOptics.Positive
SignedNatOptics.Signed
stringPrism 
1 (Function)NatOptics.NonNegative
2 (Function)NatOptics.Positive
textPrism 
1 (Function)NatOptics.NonNegative
2 (Function)NatOptics.Positive
viewNatOptics.NonNegative, NatOptics.Positive
ZeroNatOptics.Signed