cmpNatLT | Data.Number.Nat |
cmpNatOLT | Data.Number.NatO |
drop | Data.Number.NatO |
dropNum | Data.Number.NatO |
fromNat | Data.Number.Nat |
fromNatO | Data.Number.NatO |
I | Data.Number.Nat |
IHi | Data.Number.Nat |
Int | Data.Number.Int |
invOrd | Data.Number.Nat |
length | Data.Number.NatO |
lengthNum | Data.Number.NatO |
minusNat | Data.Number.Nat |
Nat | |
1 (Type/Class) | Data.Number.Nat |
2 (Data Constructor) | Data.Number.NatO |
NatO | |
1 (Type/Class) | Data.Number.NatO |
2 (Data Constructor) | Data.Number.Int |
Neg | Data.Number.Int |
O | Data.Number.Nat |
pos | Data.Number.Int |
replicate | Data.Number.NatO |
replicateNum | Data.Number.NatO |
take | Data.Number.NatO |
takeNum | Data.Number.NatO |
toNat | Data.Number.Nat |
toNatO | Data.Number.NatO |
Zero | Data.Number.NatO |