root/scalaz/Profunctor

Profunctor

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

Profunctors are covariant on the right and contravariant on the left.

Companion
object
class Object
trait Matchable
class Any
trait ProChoice[=>:]
trait Strong[=>:]
trait Arrow[=>:]

Type members

Classlikes

trait ProfunctorLaw

Value members

Abstract methods

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

Contramap on A.

Contramap on A.

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

Functor map on B.

Functor map on B.

Concrete methods

def covariantInstance[C]: Functor[[_] =>> C =>: _$4]
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.

Concrete fields