Add an applicative notation for generators

[etorreborre]

The for/yield notation can be used with generators because they are monads, but I sometimes wish a more concise notation when just applicatives are needed (because generators are independent):

Contrast:

case class Time(hour: Int, minute: Int)

for {
  hour <- Gen.choose(0, 23)
  minute <- Gen.choose(0, 59)
} yield Time(hour, minute)

with (using the scalaz syntax)

(Gen.choose(0, 23) |@| Gen.choose(0, 59))(Time)

[tonymorris]

On 08/11/13 09:41, Eric Torreborre wrote:

The |for/yield| notation can be used with generators because they are
monads, but I sometimes wish a more concise notation when just
applicatives are needed (because generators are independent):

Contrast:

case class Time(hour: Int, minute: Int)

for {
hour <- Gen.choose(0, 23)
minute <- Gen.choose(0, 59)
} yield Time(hour, minute)

with (using the scalaz syntax)

(Gen.choose(0, 23) |@| Gen.choose(0, 59))(Time)

—
Reply to this email directly or view it on GitHub
#73.

There is the scalaz-scalacheck module that will give you this.

[etorreborre]

You're right @tonymorris I should just do that.