t

scalaz

# Profunctor 

### Companion object Profunctor

#### trait Profunctor[=>:[_, _]] extends AnyRef

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

Self Type
Profunctor[=>:]
Source
Profunctor.scala
Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Profunctor
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Type Members

1. trait SndCovariant [C] extends Functor[[β\$0\$]=>:[C, β\$0\$]]
Attributes
protected[this]

### Abstract Value Members

1. abstract def mapfst[A, B, C](fab: =>:[A, B])(f: (C) ⇒ A): =>:[C, B]

Contramap on `A`.

2. abstract def mapsnd[A, B, C](fab: =>:[A, B])(f: (B) ⇒ C): =>:[A, C]

Functor map on `B`.

### Concrete Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##(): Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
4. final def asInstanceOf[T0]: T0
Definition Classes
Any
5. def clone()
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
6. def contravariantInstance[C]: Contravariant[[α\$2\$]=>:[α\$2\$, C]]
7. def covariantInstance[C]: Functor[[β\$1\$]=>:[C, β\$1\$]]
8. def dimap[A, B, C, D](fab: =>:[A, B])(f: (C) ⇒ A)(g: (B) ⇒ D): =>:[C, D]

Functor map on `A` and `B`.

9. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
10. def equals(arg0: Any)
Definition Classes
AnyRef → Any
11. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
12. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
13. def hashCode(): Int
Definition Classes
AnyRef → Any
14. def invariantFunctor: InvariantFunctor[[α]=>:[α, α]]
15. final def isInstanceOf[T0]
Definition Classes
Any
16. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
17. final def notify(): Unit
Definition Classes
AnyRef
18. final def notifyAll(): Unit
Definition Classes
AnyRef
19. val profunctorSyntax: ProfunctorSyntax[=>:]
20. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
21. def toString()
Definition Classes
AnyRef → Any
22. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
23. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
24. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )