Documentation on Range.linearFrom parameters

[chris-martin]

linearFrom :: Integral a => a -> a -> a -> Range a

It isn't entirely clear to me what the first parameter does. Is it something like this?

linearFrom :: Integral a 
  => a -- ^ Value to shrink toward (the value produced when the size parameter is 0)
  -> a -- ^ Lower bound (the bottom of the range when the size parameter is 99)
  -> a -- ^ Upper bound (the top of the range when the size parameter is 99)
  -> Range a

data Range a =
  Range !a -- ^ Value to shrink toward (the value produced when the size parameter is zero)
        (Size -> (a, a))

[jacobstanley]

Yeah that's right, it's the value to shrink towards