natural-0.5.0.1: Natural number

Index

!!Natural
!!!Natural
absoluteNZNatural
AsNaturalNatural
AsNotZeroNatural
AsPositiveNatural
dropNatural
drop1Natural
elemIndexNatural
elemIndex1Natural
elemIndicesNatural
elemIndices1Natural
findIndexNatural
findIndex1Natural
findIndicesNatural
findIndices1Natural
HasNaturalNatural
HasNotZeroNatural
HasPositiveNatural
isNegativeNatural
isPositiveNatural
lengthNatural
length1Natural
listNatural
list1Natural
MaxNatural 
1 (Type/Class)Natural
2 (Data Constructor)Natural
MaxNotZero 
1 (Type/Class)Natural
2 (Data Constructor)Natural
MaxPositive 
1 (Type/Class)Natural
2 (Data Constructor)Natural
MinNatural 
1 (Type/Class)Natural
2 (Data Constructor)Natural
MinNotZero 
1 (Type/Class)Natural
2 (Data Constructor)Natural
MinPositive 
1 (Type/Class)Natural
2 (Data Constructor)Natural
minusNatural
minus1Natural
minusoneNatural
multiplyNatural
multiply1Natural
multiplyNZNatural
NaturalNatural
naturalNatural
naturalPositiveNatural
negateNZNatural
negativeNotZeroNatural
NotZero 
1 (Type/Class)Natural
2 (Data Constructor)Natural
notZeroNatural
notZeroIntegerNatural
notZeroOrNatural
notZeroPositiveNatural
oneNatural
one'Natural
oneOrNatural
parseJsonNaturalNatural
parseJsonNotZeroNatural
parseJsonPositiveNatural
plusNatural
plus1Natural
plusNZNatural
plusoneNatural
PositiveNatural
positiveNatural
positiveNotZeroNatural
powerNatural
power1Natural
ProductNatural 
1 (Type/Class)Natural
2 (Data Constructor)Natural
replicateNatural
replicate1Natural
signumNZNatural
splitAtNatural
splitAt1Natural
successorNatural
successor'Natural
successor1Natural
successor1'Natural
successorWNatural
SumNotZero 
1 (Type/Class)Natural
2 (Data Constructor)Natural
SumPositive 
1 (Type/Class)Natural
2 (Data Constructor)Natural
takeNatural
take1Natural
toJsonNaturalNatural
toJsonNotZeroNatural
toJsonPositiveNatural
zeroNatural
zero'Natural
zeroOrNatural
_NaturalNatural
_NotZeroNatural
_PositiveNatural