scalaz-core/scalaz/IsomorphismStrong

IsomorphismStrong

trait IsomorphismStrong[F[_, _], G[_, _]] extends Strong[F] with IsomorphismProfunctor[F, G]
trait Strong[F]
trait Profunctor[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait ProfunctorLaw
Inherited from
Profunctor
trait StrongLaws
Inherited from
Strong

Value members

Concrete methods

override
def first[A, B, C](fa: F[A, B]): F[(A, C), (B, C)]
Definition Classes
override
def second[A, B, C](fa: F[A, B]): F[(C, A), (C, B)]
Definition Classes

Inherited methods

def covariantInstance[C]: Functor[[_] =>> F[C, _$4]]
Inherited from
Profunctor
def dimap[A, B, C, D](fab: F[A, B])(f: C => A)(g: B => D): F[C, D]

Functor map on A and B.

Functor map on A and B.

Inherited from
Profunctor
def iso: IsoBifunctor[F, G]
Inherited from
IsomorphismProfunctor
override
def mapfst[A, B, C](fab: F[A, B])(f: C => A): F[C, B]
Definition Classes
Inherited from
IsomorphismProfunctor
override
def mapsnd[A, B, C](fab: F[A, B])(f: B => C): F[A, C]
Definition Classes
Inherited from
IsomorphismProfunctor
def strongLaw: StrongLaws
Inherited from
Strong

Inherited fields

val strongSyntax: StrongSyntax[F]
Inherited from
Strong

Implicits

Implicits

implicit
def G: Strong[G]