scalaz-core/scalaz.syntax/ToProChoiceOps0

ToProChoiceOps0

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

Implicits

Implicits

implicit
def ToProChoiceOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): ProChoiceOps[F, A, B]
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 implicits

implicit
def ToProChoiceOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): ProChoiceOps[M, A, B]
Inherited from
ToProChoiceOpsU