lawblog-proptest.scala

val evalGen = for {total <- Gen.choose(0, 1000);
                  correct <- Gen.choose(0, total)} 
                      yield Evaluation(total,correct)

"Evaluation Monoid" should {

    import EvaluationMonoid._
    implicit val eq = Equal.equalA[Evaluation]
 
    "obey Monoid typeclass Law" in {
        forAll (evalGen) { testEval => {
            Monoid.monoidLaw.leftIdentity(testEval) should be (true) 
            Monoid.monoidLaw.rightIdentity(testEval) should be (true)
        }}
    }
}