t

scalaz

# IsomorphismProChoice 

#### trait IsomorphismProChoice[F[_, _], G[_, _]] extends ProChoice[F] with IsomorphismProfunctor[F, G]

Source
Isomorphism.scala
Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. IsomorphismProChoice
2. IsomorphismProfunctor
3. ProChoice
4. Profunctor
5. AnyRef
6. 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]
Definition Classes
Profunctor

### Abstract Value Members

1. implicit abstract def G: ProChoice[G]
2. abstract def iso: Isomorphism.<~~>[F, G]
Definition Classes
IsomorphismProfunctor

### 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[lang]
Definition Classes
AnyRef
Annotations
@throws( ... ) @native()
6. def contravariantInstance[C]: Contravariant[[α\$2\$]F[α\$2\$, C]]
Definition Classes
Profunctor
7. def covariantInstance[C]: Functor[[β\$1\$]F[C, β\$1\$]]
Definition Classes
Profunctor
8. 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`.

Definition Classes
Profunctor
9. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
10. def equals(arg0: Any)
Definition Classes
AnyRef → Any
11. def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
12. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
13. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
14. def invariantFunctor: InvariantFunctor[[α]F[α, α]]
Definition Classes
Profunctor
15. final def isInstanceOf[T0]
Definition Classes
Any
16. def left[A, B, C](fa: F[A, B]): F[\/[A, C], \/[B, C]]
Definition Classes
IsomorphismProChoiceProChoice
17. def mapfst[A, B, C](fab: F[A, B])(f: (C) ⇒ A): F[C, B]

Contramap on `A`.

Contramap on `A`.

Definition Classes
IsomorphismProfunctorProfunctor
18. def mapsnd[A, B, C](fab: F[A, B])(f: (B) ⇒ C): F[A, C]

Functor map on `B`.

Functor map on `B`.

Definition Classes
IsomorphismProfunctorProfunctor
19. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
20. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
21. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
22. val proChoiceSyntax: ProChoiceSyntax[F]
Definition Classes
ProChoice
23. val profunctorSyntax: ProfunctorSyntax[F]
Definition Classes
Profunctor
24. def right[A, B, C](fa: F[A, B]): F[\/[C, A], \/[C, B]]
Definition Classes
IsomorphismProChoiceProChoice
25. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
26. def toString()
Definition Classes
AnyRef → Any
27. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
28. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
29. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws( ... ) @native()