Skip to content

Instantly share code, notes, and snippets.

@davidandrzej
Last active August 29, 2015 14:04
Show Gist options
  • Save davidandrzej/6248a52718525e005cd4 to your computer and use it in GitHub Desktop.
Save davidandrzej/6248a52718525e005cd4 to your computer and use it in GitHub Desktop.
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)
}}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment