Trait

scalaz

IsomorphismBifunctor

Related Doc: package scalaz

Permalink

trait IsomorphismBifunctor[F[_, _], G[_, _]] extends Bifunctor[F]

Source
Isomorphism.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismBifunctor
  2. Bifunctor
  3. BifunctorParent
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def G: Bifunctor[G]

    Permalink
  2. abstract def iso: Isomorphism.<~~>[F, G]

    Permalink

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. val bifunctorSyntax: BifunctorSyntax[F]

    Permalink
    Definition Classes
    Bifunctor
  6. def bimap[A, B, C, D](fab: F[A, B])(f: (A) ⇒ C, g: (B) ⇒ D): F[C, D]

    Permalink

    map over both type parameters.

    map over both type parameters.

    Definition Classes
    IsomorphismBifunctorBifunctor
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def compose[G[_, _]](implicit G0: Bifunctor[G]): Bifunctor[[α, β]F[G[α, β], G[α, β]]]

    Permalink

    The composition of Bifunctors F and G, [x,y]F[G[x,y],G[x,y]], is a Bifunctor

    The composition of Bifunctors F and G, [x,y]F[G[x,y],G[x,y]], is a Bifunctor

    Definition Classes
    Bifunctor
  9. def embed[G[_], H[_]](implicit G0: Functor[G], H0: Functor[H]): Bifunctor[[α, β]F[G[α], H[β]]]

    Permalink

    Embed two Functors , one on each side

    Embed two Functors , one on each side

    Definition Classes
    Bifunctor
  10. def embedLeft[G[_]](implicit G0: Functor[G]): Bifunctor[[α, β]F[G[α], β]]

    Permalink

    Embed one Functor to the left

    Embed one Functor to the left

    Definition Classes
    Bifunctor
  11. def embedRight[H[_]](implicit H0: Functor[H]): Bifunctor[[α, β]F[α, H[β]]]

    Permalink

    Embed one Functor to the right

    Embed one Functor to the right

    Definition Classes
    Bifunctor
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  18. def leftFunctor[X]: Functor[[α$0$]F[α$0$, X]]

    Permalink

    Extract the Functor on the first param.

    Extract the Functor on the first param.

    Definition Classes
    Bifunctor
  19. def leftMap[A, B, C](fab: F[A, B])(f: (A) ⇒ C): F[C, B]

    Permalink
    Definition Classes
    Bifunctor
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. def product[G[_, _]](implicit G0: Bifunctor[G]): Bifunctor[[α, β](F[α, β], G[α, β])]

    Permalink

    The product of Bifunctors F and G, [x,y](F[x,y], G[x,y]), is a Bifunctor

    The product of Bifunctors F and G, [x,y](F[x,y], G[x,y]), is a Bifunctor

    Definition Classes
    Bifunctor
  24. def rightFunctor[X]: Functor[[β$1$]F[X, β$1$]]

    Permalink

    Extract the Functor on the second param.

    Extract the Functor on the second param.

    Definition Classes
    Bifunctor
  25. def rightMap[A, B, D](fab: F[A, B])(g: (B) ⇒ D): F[A, D]

    Permalink
    Definition Classes
    Bifunctor
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  28. def uFunctor: Functor[[α]F[α, α]]

    Permalink

    Unify the functor over both params.

    Unify the functor over both params.

    Definition Classes
    Bifunctor
  29. def umap[A, B](faa: F[A, A])(f: (A) ⇒ B): F[B, B]

    Permalink
    Definition Classes
    Bifunctor
  30. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Bifunctor[F]

Inherited from BifunctorParent[F]

Inherited from AnyRef

Inherited from Any

Ungrouped