Skip to content

Instantly share code, notes, and snippets.

@davidandrzej
Last active August 29, 2015 14:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save davidandrzej/837f1f4fed2d366e34bd to your computer and use it in GitHub Desktop.
Save davidandrzej/837f1f4fed2d366e34bd to your computer and use it in GitHub Desktop.
object EvaluationMonoid extends Monoid[Evaluation] {
def zero = Evaluation(0,0)
def append(x: Evaluation, y: => Evaluation) =
Evaluation(x.total + y.total, x.correct + y.correct)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment