Repository navigation
Instances for Fixed #76
Description
Activity
For a change I think UniformRange is perfectly reasonable instance. Only question is what should
randomreturn? I think it should follow Dounle/Float/proposed instance for Rationals and return numbers in [0,1] range.Reacted by Alexey KuleshevichYes, [0, 1] range for
Randomis also what I had in mind.
One more type from base that is missing some instances.
I think I can see a lawful implementation for
HasResolution e => UniformRange (Fixed e)instance. Also considering that we already haveinstance Random Integerwe can definitely addinstance HasResolution e => Random (Fixed e)