root/scalaz.syntax/ToStrongOps

ToStrongOps

trait ToStrongOps[TC <: ([F[_, _]] =>> Strong[F])] extends ToStrongOps0[TC] with ToProfunctorOps[TC]
trait ToProfunctorOps[TC]
trait ToStrongOps0[TC]
trait ToStrongOpsU[TC]
class Object
trait Matchable
class Any
trait ToArrowOps[TC]
object arrow
object strong

Implicits

Inherited implicits

implicit
def ToProfunctorOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): ProfunctorOps[F, A, B]
Inherited from
ToProfunctorOps0
implicit
def ToProfunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): ProfunctorOps[M, A, B]
Inherited from
ToProfunctorOpsU
implicit
def ToProfunctorVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): ProfunctorOps[[_, _] =>> F[G, _$15, _$16], A, B]
Inherited from
ToProfunctorOps0
implicit
def ToStrongOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): StrongOps[F, A, B]
Inherited from
ToStrongOps0
implicit
def ToStrongOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): StrongOps[M, A, B]
Inherited from
ToStrongOpsU
implicit
def ToStrongVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): StrongOps[[_, _] =>> F[G, _$15, _$16], A, B]
Inherited from
ToStrongOps0