How to compile Matcher [Iterable [A]] from Matcher [A] with a specification testing circuit

Question

If I have Matcher [A], how to create Matcher [Iterable [A]], which is only executed if every Iterable element satisfies the original Matcher.

class ExampleSpec extends Specification {
  def allSatisfy[A](m: => Matcher[A]): Matcher[Iterable[A]] = error("TODO")
  def notAllSatisfy[A](m: => Matcher[A]): Matcher[Iterable[A]] = allSatisfy(m).not    

   "allSatisfy" should {
     "Pass if all elements satisfy the expectation" in {
      List(1, 2, 3, 4) must allSatisfy(beLessThan(5))
    }

    "Fail if any elements do not satisfy the expectation" in {
      List(1, 2, 3, 5) must notAllSatisfy(beLessThan(5))
    }
  }
}

Answer 1

Of course, I do not pretend to be a Specs expert, so my code most likely can be significantly improved. Anyway, I was able to get it to work as follows:

class ExampleSpec extends Specification {
  def allSatisfy[A](m: Matcher[A]): Matcher[Iterable[A]] = new Matcher[Iterable[A]]() {
    def apply(v: => Iterable[A]) = {
      val iterable = v
      (iterable.forall(e => {println("checking el " + e); m(e)._1}), "all elements match", "not all elements match")
    }
  }

  def notAllSatisfy[A](m: => Matcher[A]): Matcher[Iterable[A]] = allSatisfy(m).not

  "allSatisfy" should {
    "Pass if all elements satisfy the expectation" in {
      List(1, 2, 3, 4) must allSatisfy(beLessThan(5))
    }

    "Fail if any elements do not satisfy the expectation" in {
      List(1, 2, 3, 5) must notAllSatisfy(beLessThan(5))
    }
  }
}

Answer 2

I thought I already had it out of the box, but it is not. I plan to add this to the specifications in the following days:

import org.specs._
import org.specs.matcher._
object SeqMatcher extends Specification {
  implicit def toSeqMatcher[T](m: Matcher[T]) = new ToSeqMatcher(m)
  class ToSeqMatcher[T](m: Matcher[T]) {
    def toSeq: Matcher[Seq[T]] = new Matcher[Seq[T]]() {
      type Res = (Boolean, String, String)
      def apply(v: =>Seq[T]) = ((true, "", "") /: v) { (res: Res, cur: T) =>
        def append(first: String, separator: String, second: String) = 
           first + (if (first.isEmpty) "" else separator) + second
        val currentRes = m(cur)
        if (currentRes._1) 
          (res._1 && currentRes._1, append(res._2, " and ", currentRes._2),  append(res._3, " and ", currentRes._2))
        else
          (res._1 && currentRes._1, append(res._2, " and ", currentRes._2),  append(res._2, " but ", currentRes._2))
      }
    }
  }
  List(1, 2, 6).toSeq must beLessThan(5).toSeq
}
SeqMatcher.reportSpecs

This will print:

x example 1
    1 is less than 5 and 2 is less than 5 but 6 is less than 5 

Stay with us!

.