root/scalaz/ProChoice

ProChoice

trait ProChoice[=>:[_, _]] extends Profunctor[=>:]

Strength on a coproduct.

Companion
object
trait Profunctor[=>:]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait ProfunctorLaw
Inherited from
Profunctor

Value members

Abstract methods

def left[A, B, C](fa: A =>: B): A \/ C =>: B \/ C
def right[A, B, C](fa: A =>: B): C \/ A =>: C \/ B

Inherited methods

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

Functor map on A and B.

Functor map on A and B.

Inherited from
Profunctor
def mapfst[A, B, C](fab: A =>: B)(f: C => A): C =>: B

Contramap on A.

Contramap on A.

Inherited from
Profunctor
def mapsnd[A, B, C](fab: A =>: B)(f: B => C): A =>: C

Functor map on B.

Functor map on B.

Inherited from
Profunctor

Concrete fields

Inherited fields