scalaz-core/scalaz.syntax/ToProChoiceOps

ToProChoiceOps

trait ToProChoiceOps[TC <: ([F[_, _]] =>> ProChoice[F])] extends ToProChoiceOps0[TC] with ToProfunctorOps[TC]
trait ToProfunctorOps[TC]
trait ToProChoiceOps0[TC]
trait ToProChoiceOpsU[TC]
class Object
trait Matchable
class Any
object proChoice

Implicits

Inherited implicits

implicit
def ToProChoiceOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): ProChoiceOps[F, A, B]
Inherited from
ToProChoiceOps0
implicit
def ToProChoiceOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): ProChoiceOps[M, A, B]
Inherited from
ToProChoiceOpsU
implicit
def ToProChoiceVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): ProChoiceOps[[_, _] =>> F[G, _$15, _$16], A, B]
Inherited from
ToProChoiceOps0
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