t

scalaz

# IsomorphismStrong 

#### trait IsomorphismStrong[F[_, _], G[_, _]] extends Strong[F] with IsomorphismProfunctor[F, G]

Source
Isomorphism.scala
Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. IsomorphismStrong
2. IsomorphismProfunctor
3. Strong
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: Strong[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[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
12. def first[A, B, C](fa: F[A, B]): F[(A, C), (B, C)]
Definition Classes
IsomorphismStrongStrong
13. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
14. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
15. def invariantFunctor: InvariantFunctor[[α]F[α, α]]
Definition Classes
Profunctor
16. final def isInstanceOf[T0]
Definition Classes
Any
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 profunctorSyntax: ProfunctorSyntax[F]
Definition Classes
Profunctor
23. def second[A, B, C](fa: F[A, B]): F[(C, A), (C, B)]
Definition Classes
IsomorphismStrongStrong
24. val strongSyntax: StrongSyntax[F]
Definition Classes
Strong
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
@native() @throws( ... )