scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/strong

strong

object strong
class Object
trait Matchable
class Any

Value members

Concrete methods

def dinaturalityFirst[M[_, _], A, B, C, D](implicit M: Strong[M], mba: Arbitrary[M[A, B]], cd: Arbitrary[C => D], eq: Equal[M[(A, C), (B, D)]]): Prop
def dinaturalitySecond[M[_, _], A, B, C, D](implicit M: Strong[M], mba: Arbitrary[M[A, B]], cd: Arbitrary[C => D], eq: Equal[M[(C, A), (D, B)]]): Prop
def firstFirstIsDimap[M[_, _], A, B, C, D](implicit M: Strong[M], mba: Arbitrary[M[A, B]], eq: Equal[M[((A, C), D), ((B, C), D)]]): Prop
def firstIsSwappedSecond[M[_, _], A, B, C](implicit M: Strong[M], mba: Arbitrary[M[A, B]], eq: Equal[M[(A, C), (B, C)]]): Prop
def laws[M[_, _]](implicit F: Strong[M], af: Arbitrary[M[Int, Int]], eq0: Equal[M[Int, Int]], eq1: Equal[M[(Int, Int), (Int, Int)]], eq2: Equal[M[(Int, Int), Int]], eq3: Equal[M[((Int, Int), Int), ((Int, Int), Int)]], eq4: Equal[M[(Int, (Int, Int)), (Int, (Int, Int))]]): Properties
def mapfstEqualsFirstAndThenMapsnd[M[_, _], A, B, C](implicit M: Strong[M], mba: Arbitrary[M[A, B]], eq: Equal[M[(A, C), B]]): Prop
def mapfstEqualsSecondAndThenMapsnd[M[_, _], A, B, C](implicit M: Strong[M], mba: Arbitrary[M[A, B]], eq: Equal[M[(C, A), B]]): Prop
def secondIsSwappedFirst[M[_, _], A, B, C](implicit M: Strong[M], mba: Arbitrary[M[A, B]], eq: Equal[M[(C, A), (C, B)]]): Prop
def secondSecondIsDimap[M[_, _], A, B, C, D](implicit M: Strong[M], mba: Arbitrary[M[A, B]], eq: Equal[M[(D, (C, A)), (D, (C, B))]]): Prop