compose

scalaprops.scalazlaws.compose
object compose

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
compose.type

Members list

Value members

Concrete methods

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