type-natural-0.7.1.2: Type-level natural and proofs of their properties.

Index - O

od 
1 (Function)Data.Type.Ordinal.Builtin
2 (Function)Data.Type.Ordinal.Peano
odLitData.Type.Ordinal
odPNData.Type.Ordinal
OLt 
1 (Data Constructor)Data.Type.Ordinal
2 (Data Constructor)Data.Type.Ordinal.Builtin
3 (Data Constructor)Data.Type.Ordinal.Peano
One 
1 (Type/Class)Data.Type.Natural
2 (Type/Class)Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
oneData.Type.Natural
OneSym0Data.Type.Natural
Ordinal 
1 (Type/Class)Data.Type.Ordinal
2 (Type/Class)Data.Type.Ordinal.Builtin
3 (Type/Class)Data.Type.Ordinal.Peano
ordToInt 
1 (Function)Data.Type.Ordinal
2 (Function)Data.Type.Ordinal.Builtin
3 (Function)Data.Type.Ordinal.Peano
ordToSingData.Type.Ordinal
OS 
1 (Data Constructor)Data.Type.Ordinal
2 (Data Constructor)Data.Type.Ordinal.Builtin
3 (Data Constructor)Data.Type.Ordinal.Peano
OZ 
1 (Data Constructor)Data.Type.Ordinal
2 (Data Constructor)Data.Type.Ordinal.Builtin
3 (Data Constructor)Data.Type.Ordinal.Peano