root/scalaz/Strong

Strong

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

Strength on a product.

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

Type members

Classlikes

trait StrongLaws extends ProfunctorLaw

Inherited classlikes

trait ProfunctorLaw
Inherited from
Profunctor

Value members

Abstract methods

def first[A, B, C](fa: A =>: B): (A, C) =>: (B, C)

Concrete methods

def second[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