scalaz-core/scalaz.syntax/ToCategoryOps0

ToCategoryOps0

trait ToCategoryOps0[TC <: ([F[_, _]] =>> Category[F])] extends ToCategoryOpsU[TC]
trait ToCategoryOpsU[TC]
class Object
trait Matchable
class Any
object category0
trait ToCategoryOps[TC]
object category
trait ToArrowOps[TC]
object arrow
trait ToChoiceOps[TC]
object choice
object Scalaz
object all

Implicits

Implicits

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

implicit
def ToCategoryOpsUnapply[FA](v: FA)(implicit F0: Unapply2[TC, FA]): CategoryOps[M, A, B]
Inherited from
ToCategoryOpsU