scalaz-core/scalaz.syntax/ToCategoryOps

ToCategoryOps

trait ToCategoryOps[TC <: ([F[_, _]] =>> Category[F])] extends ToCategoryOps0[TC] with ToComposeOps[TC]
trait ToComposeOps[TC]
trait ToComposeOps0[TC]
trait ToComposeOpsU[TC]
trait ToCategoryOps0[TC]
trait ToCategoryOpsU[TC]
class Object
trait Matchable
class Any
object category
trait ToArrowOps[TC]
object arrow
trait ToChoiceOps[TC]
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 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