scalaprops-all/scalaprops.scalazlaws/arrow

arrow

object arrow
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[=>:[_, _] : Arrow](implicit evidence$9: Arrow[=>:], A1: Equal[=>:[Int, Int]], A2: Gen[=>:[Int, Int]], A3: Equal[=>:[(Int, Int), (Int, Int)]], A4: Equal[=>:[(Int, Int), Int]], A5: Equal[=>:[((Int, Int), Int), (Int, (Int, Int))]]): Properties[ScalazLaw]
def association[=>:[_, _] : Arrow, A, B, C, D](implicit evidence$7: Arrow[=>:], f: Gen[=>:[A, B]], E: Equal[=>:[((A, C), D), (B, (C, D))]]): Property
def composition[=>:[_, _] : Arrow, A, B, C](implicit evidence$2: Arrow[=>:], ab: Gen[A => B], bc: Gen[B => C], E: Equal[=>:[A, C]]): Property
def exchange[=>:[_, _] : Arrow, A, B, C, D](implicit evidence$5: Arrow[=>:], f: Gen[=>:[A, B]], g: Gen[C => D], E: Equal[=>:[(A, C), (B, D)]]): Property
def extension[=>:[_, _] : Arrow, A, B, C](implicit evidence$3: Arrow[=>:], ab: Gen[A => B], E: Equal[=>:[(A, C), (B, C)]]): Property
def functor[=>:[_, _] : Arrow, A, B, C, D](implicit evidence$4: Arrow[=>:], ab: Gen[=>:[A, B]], bc: Gen[=>:[B, C]], E: Equal[=>:[(A, D), (C, D)]]): Property
def identity[=>:[_, _] : Arrow, A](implicit evidence$1: Arrow[=>:], E: Equal[=>:[A, A]]): Property
def laws[=>:[_, _] : Arrow](implicit evidence$8: Arrow[=>:], A1: Equal[=>:[Int, Int]], A2: Gen[=>:[Int, Int]], A3: Equal[=>:[(Int, Int), (Int, Int)]], A4: Equal[=>:[(Int, Int), Int]], A5: Equal[=>:[((Int, Int), Int), (Int, (Int, Int))]]): Properties[ScalazLaw]
def unit[=>:[_, _] : Arrow, A, B, C](implicit evidence$6: Arrow[=>:], f: Gen[=>:[A, B]], E: Equal[=>:[(A, C), B]]): Property