scalaz-core/scalaz.syntax/ToContravariantOps

ToContravariantOps

trait ToContravariantOps[TC <: ([F[_]] =>> Contravariant[F])] extends ToContravariantOps0[TC] with ToInvariantFunctorOps[TC]
class Object
trait Matchable
class Any
trait ToDivideOps[TC]
trait ToDivisibleOps[TC]
trait ToDecidableOps[TC]

Implicits

Inherited implicits

implicit
def ToContravariantOps[F[_], A](v: F[A])(implicit F0: TC[F]): ContravariantOps[F, A]
Inherited from
ToContravariantOps0
implicit
def ToContravariantOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): ContravariantOps[M, A]
Inherited from
ToContravariantOpsU
implicit
def ToInvariantFunctorOps[F[_], A](v: F[A])(implicit F0: TC[F]): InvariantFunctorOps[F, A]
implicit
def ToInvariantFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): InvariantFunctorOps[M, A]