Fifteen | Data.Type.Natural |
fifteen | Data.Type.Natural |
FifteenSym0 | Data.Type.Natural |
Five | Data.Type.Natural |
five | Data.Type.Natural |
FiveSym0 | Data.Type.Natural |
flipCompare | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
FlipOrdering | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
Four | Data.Type.Natural |
four | Data.Type.Natural |
FourSym0 | Data.Type.Natural |
Fourteen | Data.Type.Natural |
fourteen | Data.Type.Natural |
FourteenSym0 | Data.Type.Natural |
fromLeqView | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
FromPeano | Data.Type.Natural.Builtin |
fromPeanoInjective | Data.Type.Natural.Builtin |
fromPeanoMonotone | Data.Type.Natural.Builtin |
fromPeanoMultCong | Data.Type.Natural.Builtin |
fromPeanoOneCong | Data.Type.Natural.Builtin |
fromPeanoPlusCong | Data.Type.Natural.Builtin |
fromPeanoSuccCong | Data.Type.Natural.Builtin |
fromPeanoZeroCong | Data.Type.Natural.Builtin |
fromSing | Data.Type.Natural |
fromToPeano | Data.Type.Natural.Builtin |