scalaz-core/scalaz.syntax/ToChoiceOps

ToChoiceOps

trait ToChoiceOps[TC <: ([F[_, _]] =>> Choice[F])] extends ToChoiceOps0[TC] with ToCategoryOps[TC]
trait ToCategoryOps[TC]
trait ToComposeOps[TC]
trait ToComposeOps0[TC]
trait ToComposeOpsU[TC]
trait ToCategoryOps0[TC]
trait ToCategoryOpsU[TC]
trait ToChoiceOps0[TC]
trait ToChoiceOpsU[TC]
class Object
trait Matchable
class Any
object choice

Implicits

Inherited implicits

implicit
def ToCategoryOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): CategoryOps[F, A, B]
Inherited from
ToCategoryOps0
implicit
def ToCategoryOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): CategoryOps[M, A, B]
Inherited from
ToCategoryOpsU
implicit
def ToCategoryVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): CategoryOps[[_, _] =>> F[G, _$15, _$16], A, B]
Inherited from
ToCategoryOps0
implicit
def ToChoiceOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): ChoiceOps[F, A, B]
Inherited from
ToChoiceOps0
implicit
def ToChoiceOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): ChoiceOps[M, A, B]
Inherited from
ToChoiceOpsU
implicit
def ToChoiceVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): ChoiceOps[[_, _] =>> F[G, _$15, _$16], A, B]
Inherited from
ToChoiceOps0
implicit
def ToComposeOps[F[_, _], A, B](v: F[A, B])(implicit F0: TC[F]): ComposeOps[F, A, B]
Inherited from
ToComposeOps0
implicit
def ToComposeOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): ComposeOps[M, A, B]
Inherited from
ToComposeOpsU
implicit
def ToComposeVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): ComposeOps[[_, _] =>> F[G, _$15, _$16], A, B]
Inherited from
ToComposeOps0