Closed edsko closed 1 year ago
It was a bit more polymorphic than it really needed to be.
This also starts the How To Specify It paper, but only the first section so far.
Finally, this improved the Range infrastructure somewhat, and uses this to provide fromEnum alongside fromIntegral.
Range
fromEnum
fromIntegral
It was a bit more polymorphic than it really needed to be.
This also starts the How To Specify It paper, but only the first section so far.
Finally, this improved the
Rangeinfrastructure somewhat, and uses this to providefromEnumalongsidefromIntegral.