Eight | Data.Type.Natural |
eight | Data.Type.Natural |
Eighteen | Data.Type.Natural |
eighteen | Data.Type.Natural |
EighteenSym0 | Data.Type.Natural |
EightSym0 | Data.Type.Natural |
Eleven | Data.Type.Natural |
eleven | Data.Type.Natural |
ElevenSym0 | Data.Type.Natural |
enumOrdinal | Data.Type.Ordinal |
eqlCmpEQ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
eqToRefl | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |