Index - O
od | Data.Type.Ordinal |
One | Data.Type.Natural |
one | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSNat | Data.Type.Ordinal |
ordToSNat' | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |
type-natural-0.2.1.0: Type-level natural and proofs of their properties.
Index - O
od | Data.Type.Ordinal |
One | Data.Type.Natural |
one | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSNat | Data.Type.Ordinal |
ordToSNat' | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |