genRange should be constant for a RandomGen - enforce this with types

[kuk0]

the comment says genRange should not examine its argument - well,
we can enforce this by types and instead of having genRange with a
RandomGen argument, we can create a phantom type GenRange g and
let genRange :: GenRange g (with no arguments)

[cartazio]

Just to be clear the v2 work isn't on master yet and will be a complete
rewrite of a lot of this stuff :)

Looks like the middle of my day will be consumed my family events but I'll
try to get that branch into shape and public later today

On Sunday, May 8, 2016, Kubo Kováč [email protected] wrote:

the comment says genRange should not examine its argument - well,
we can enforce this by types and instead of having genRange with a
RandomGen argument, we can create a phantom type GenRange g and

let genRange :: GenRange g (with no arguments)

You can view, comment on, or merge this pull request online at:

#38
Commit Summary

• genRange should be constant for a RandomGen - enforce with types

File Changes

• M System/Random.hs
  https://github.com/haskell/random/pull/38/files#diff-0 (39)

Patch Links:

• https://github.com/haskell/random/pull/38.patch
• https://github.com/haskell/random/pull/38.diff

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub
#38

[Zemyla]

Some of the code would be simpler if you had a function like:

getRange :: (RandomGen g) => g -> GenRange g
getRange = const genRange

[cartazio]

Yeah, there's definitely a whole bunch of design ideas that are worth
enumerating and comparing.

On Tuesday, May 10, 2016, Zemyla [email protected] wrote:

Some of the code would be simpler if you had a function like:

getRange :: (RandomGen g) => g -> GenRange g
getRange = const genRange

—
You are receiving this because you commented.
Reply to this email directly or view it on GitHub
#38 (comment)

[lehins]

genRange is now deprecated as of random-1.2. See #62