Scalaz ScalaCheckBinding runs on Specs2

ScalazScalaCheckSpecs2Spec.scala

import org.scalacheck.Properties
import org.specs2.ScalaCheck
import org.specs2.scalacheck.Parameters
import org.specs2.specification.core.Fragments

import scalaz.Scalaz._
import scalaz.scalacheck.ScalazProperties._

class ResourceSpec extends org.specs2.mutable.Specification with ScalaCheck {

  def toExamples(props: Properties, verbosity: Int = 1): Fragments =
    t ^ Fragments.foreach(props.properties) { case (name, prop) => br ^ name ! prop.setVerbosity(verbosity) }

  "Option" should {
    "Option is monad" >> toExamples(monad.laws[Option])
  }

}