scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/compose

compose

object compose
class Object
trait Matchable
class Any

Value members

Concrete methods

def associative[=>:[_, _], A, B, C, D](implicit ab: Arbitrary[=>:[A, B]], bc: Arbitrary[=>:[B, C]], cd: Arbitrary[=>:[C, D]], C: Compose[=>:], E: Equal[=>:[A, D]]): Prop
def laws[=>:[_, _]](implicit C: Compose[=>:], AB: Arbitrary[=>:[Int, Int]], E: Equal[=>:[Int, Int]]): Properties