scalaz-core/scalaz/IsomorphismProChoice

IsomorphismProChoice

trait IsomorphismProChoice[F[_, _], G[_, _]] extends ProChoice[F] with IsomorphismProfunctor[F, G]
trait ProChoice[F]
trait Profunctor[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait ProfunctorLaw
Inherited from
Profunctor

Value members

Concrete methods

override
def left[A, B, C](fa: F[A, B]): F[A \/ C, B \/ C]
Definition Classes
override
def right[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

Inherited fields

Implicits

Implicits

implicit
def G: ProChoice[G]