contravariant
object contravariant
Value members
Concrete methods
def composite[F[_], X, Y, Z](implicit F: Contravariant[F], af: Arbitrary[F[Z]], axy: Arbitrary[X => Y], ayz: Arbitrary[Y => Z], ef: Equal[F[X]]): Prop
def laws[F[_]](implicit F: Contravariant[F], af: Arbitrary[F[Int]], axy: Arbitrary[Int => Int], ef: Equal[F[Int]]): Properties