scalaz/scalaz.syntax/ToStrongOps

ToStrongOps

trait ToStrongOps extends ToStrongOps0 with ToProfunctorOps
class Object
trait Matchable
class Any
object strong
object arrow
object Scalaz
object all

Implicits

Implicits

implicit
def ToStrongOps[F[_, _], A, B](v: F[A, B])(implicit F0: Strong[F]): StrongOps[F, A, B]
implicit
def ToStrongVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: Strong[[_, _] =>> F[G, _$9, _$10]]): StrongOps[[_, _] =>> F[G, _$11, _$12], A, B]

Inherited implicits

implicit
def ToProfunctorOps[F[_, _], A, B](v: F[A, B])(implicit F0: Profunctor[F]): ProfunctorOps[F, A, B]
Inherited from
ToProfunctorOps
implicit
def ToProfunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply2[[=>:[_, _]] =>> Profunctor[=>:], FA]): ProfunctorOps[M, A, B]
Inherited from
ToProfunctorOps0
implicit
def ToProfunctorVFromKleisliLike[G[_], F[G[_], _, _], A, B](v: F[G, A, B])(implicit F0: Profunctor[[_, _] =>> F[G, _$9, _$10]]): ProfunctorOps[[_, _] =>> F[G, _$11, _$12], A, B]
Inherited from
ToProfunctorOps
implicit
def ToStrongOpsUnapply[FA](v: FA)(implicit F0: Unapply2[[=>:[_, _]] =>> Strong[=>:], FA]): StrongOps[M, A, B]
Inherited from
ToStrongOps0