MonadicCondition

A MonadicCondition allows building boolean expressions of the form (a(0) && a(1) && .. && a(n)), where a(k) is a boolean expression, and collecting the computation failures to a list of messages.

Example:

  val isTooYoung = true;
  val isTooBad = false;
  val isTooStupid = true;

  val exp = (!isTooYoung ~ "too young") &&
            (!isTooBad ~ "too bad") &&
            (!isTooStupid ~ "too stupid")

  println(exp match {
    case False(msgs) => msgs mkString("Test failed because it is '", "' and '", "'.")
    case _ => "success"
  })