profunctor
object profunctor
Value members
Concrete methods
def compose[M[_, _], A, B, C, D, E, F](implicit M: Profunctor[M], mab: Arbitrary[M[A, D]], fba: Arbitrary[B => A], fcb: Arbitrary[C => B], fde: Arbitrary[D => E], fef: Arbitrary[E => F], e: Equal[M[C, F]]): Prop
def identity[M[_, _], A, B](implicit M: Profunctor[M], mba: Arbitrary[M[A, B]], ef: Equal[M[A, B]]): Prop
def laws[M[_, _]](implicit F: Profunctor[M], af: Arbitrary[M[Int, Int]], itf: Arbitrary[Int => Int], e: Equal[M[Int, Int]]): Properties