random
random copied to clipboard
Instances for `Fixed`
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 have instance Random Integer
we can definitely add instance HasResolution e => Random (Fixed e)
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.