Open lehins opened 4 years ago
For a change I think UniformRange is perfectly reasonable instance. Only question is what should random
return? I think it should follow Dounle/Float/proposed instance for Rationals and return numbers in [0,1] range.
Yes, [0, 1] range for Random
is 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 Integer
we can definitely addinstance HasResolution e => Random (Fixed e)