Pre-Post Conditionals on Functions

PostFunction.scala

//This even reasonably useable?

implicit class AddPost[T, R](f: T => R){
  def withPostCondition(pred: R => Boolean) = {x: T => 
    val out = f(x)
    if(pred(out)) out else throw new MatchException("Did not satisfy post condition")
  }
}