CastedOrdinal | |
1 (Type/Class) | Data.Type.Ordinal |
2 (Data Constructor) | Data.Type.Ordinal |
cmpSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
cmpSuccStepR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
cmpZero | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
cmpZero' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
coerceLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
coerceLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |