nat-optics-1.0.1.0: Refinement types for natural numbers with an optics interface
Contents
Index
Index
absoluteDifference
NatOptics.Positive.Math
Integer
NatOptics.NonNegative
,
NatOptics.Positive
intIso
NatOptics.Signed
intNatIso
NatOptics.Signed
intPrism
1 (Function)
NatOptics.NonNegative
2 (Function)
NatOptics.Positive
Iso'
NatOptics.NonNegative
Minus
NatOptics.Signed
minus
NatOptics.Positive.Math
natIso
NatOptics.NonNegative
natPrism
1 (Function)
NatOptics.NonNegative
2 (Function)
NatOptics.Positive
Natural
NatOptics.NonNegative
,
NatOptics.Positive
NonNegative
NatOptics.NonNegative.Unsafe
,
NatOptics.NonNegative
NonNegativeUnsafe
NatOptics.NonNegative.Unsafe
number
1 (Function)
NatOptics.NonNegative.Unsafe
2 (Function)
NatOptics.Positive.Unsafe
Plus
NatOptics.Signed
plus
NatOptics.Positive.Math
Positive
NatOptics.Positive.Unsafe
,
NatOptics.Positive
PositiveUnsafe
NatOptics.Positive.Unsafe
preview
NatOptics.NonNegative
,
NatOptics.Positive
Prism'
NatOptics.NonNegative
,
NatOptics.Positive
refine
1 (Function)
NatOptics.NonNegative
2 (Function)
NatOptics.Positive
review
NatOptics.NonNegative
,
NatOptics.Positive
Signed
NatOptics.Signed
stringPrism
1 (Function)
NatOptics.NonNegative
2 (Function)
NatOptics.Positive
textPrism
1 (Function)
NatOptics.NonNegative
2 (Function)
NatOptics.Positive
view
NatOptics.NonNegative
,
NatOptics.Positive
Zero
NatOptics.Signed