ToArrowOps
trait ToArrowOps[TC <: ([F[_, _]] =>> Arrow[F])] extends ToArrowOps0[TC] with ToSplitOps[TC] with ToStrongOps[TC] with ToCategoryOps[TC]
trait ToCategoryOps[TC]
trait ToCategoryOps0[TC]
trait ToCategoryOpsU[TC]
trait ToStrongOps[TC]
trait ToProfunctorOps[TC]
trait ToProfunctorOps0[TC]
trait ToProfunctorOpsU[TC]
trait ToStrongOps0[TC]
trait ToStrongOpsU[TC]
trait ToSplitOps[TC]
trait ToComposeOps[TC]
trait ToComposeOps0[TC]
trait ToComposeOpsU[TC]
trait ToSplitOps0[TC]
trait ToSplitOpsU[TC]
trait ToArrowOps0[TC]
trait ToArrowOpsU[TC]
class Object
trait Matchable
class Any
object arrow
Implicits
Inherited implicits
implicit
def ToArrowVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): ArrowOps[[_, _] =>> F[G, _$15, _$16], A, B]
- Inherited from
- ToArrowOps0
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 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
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 ToSplitVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: TC[[_, _] =>> F[G, _$13, _$14]]): SplitOps[[_, _] =>> F[G, _$15, _$16], A, B]
- Inherited from
- ToSplitOps0
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