Trait

scalaz

IsomorphismBitraverse

Related Doc: package scalaz

Permalink

trait IsomorphismBitraverse[F[_, _], G[_, _]] extends Bitraverse[F] with IsomorphismBifunctor[F, G]

Source
Isomorphism.scala
Linear Supertypes
IsomorphismBifunctor[F, G], Bitraverse[F], Bifoldable[F], Bifunctor[F], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. IsomorphismBitraverse
  2. IsomorphismBifunctor
  3. Bitraverse
  4. Bifoldable
  5. Bifunctor
  6. AnyRef
  7. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. class Bitraversal[G[_]] extends AnyRef

    Permalink
    Definition Classes
    Bitraverse

Abstract Value Members

  1. implicit abstract def G: Bitraverse[G]

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

    Permalink
    Definition Classes
    IsomorphismBifunctor

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. final def bifoldL[A, B, C](fa: F[A, B], z: C)(f: (C) ⇒ (A) ⇒ C)(g: (C) ⇒ (B) ⇒ C): C

    Permalink

    Curried version of bifoldLeft

    Curried version of bifoldLeft

    Definition Classes
    Bifoldable
  6. def bifoldLShape[A, B, C](fa: F[A, B], z: C)(f: (C, A) ⇒ C)(g: (C, B) ⇒ C): (C, F[Unit, Unit])

    Permalink
    Definition Classes
    Bitraverse
  7. def bifoldLeft[A, B, C](fa: F[A, B], z: C)(f: (C, A) ⇒ C)(g: (C, B) ⇒ C): C

    Permalink

    bifoldRight, but defined to run in the opposite direction.

    bifoldRight, but defined to run in the opposite direction.

    Definition Classes
    BitraverseBifoldable
  8. def bifoldMap[A, B, M](fa: F[A, B])(f: (A) ⇒ M)(g: (B) ⇒ M)(implicit F: Monoid[M]): M

    Permalink

    Accumulate As and Bs in some unspecified order.

    Accumulate As and Bs in some unspecified order.

    Definition Classes
    BitraverseBifoldable
  9. def bifoldMap1[A, B, M](fa: F[A, B])(f: (A) ⇒ M)(g: (B) ⇒ M)(implicit F: Semigroup[M]): Option[M]

    Permalink
    Definition Classes
    Bifoldable
  10. final def bifoldR[A, B, C](fa: F[A, B], z: ⇒ C)(f: (A) ⇒ (⇒ C) ⇒ C)(g: (B) ⇒ (⇒ C) ⇒ C): C

    Permalink

    Curried version of bifoldRight

    Curried version of bifoldRight

    Definition Classes
    Bifoldable
  11. def bifoldRight[A, B, C](fa: F[A, B], z: ⇒ C)(f: (A, ⇒ C) ⇒ C)(g: (B, ⇒ C) ⇒ C): C

    Permalink

    Accumulate to C starting at the "right".

    Accumulate to C starting at the "right". f and g may be interleaved.

    Definition Classes
    BitraverseBifoldable
  12. val bifoldableSyntax: BifoldableSyntax[F]

    Permalink
    Definition Classes
    Bifoldable
  13. val bifunctorSyntax: BifunctorSyntax[F]

    Permalink
    Definition Classes
    Bifunctor
  14. 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
  15. def bisequence[G[_], A, B](x: F[G[A], G[B]])(implicit arg0: Applicative[G]): G[F[A, B]]

    Permalink
    Definition Classes
    Bitraverse
  16. def bitraversal[G[_]](implicit arg0: Applicative[G]): Bitraversal[G]

    Permalink
    Definition Classes
    Bitraverse
  17. def bitraversalS[S]: Bitraversal[[x]IndexedStateT[[+X]X, S, S, x]]

    Permalink
    Definition Classes
    Bitraverse
  18. def bitraverse[G[_], A, B, C, D](fa: F[A, B])(f: (A) ⇒ G[C])(g: (B) ⇒ G[D])(implicit arg0: Applicative[G]): G[F[C, D]]

    Permalink
    Definition Classes
    Bitraverse
  19. def bitraverseF[G[_], A, B, C, D](f: (A) ⇒ G[C], g: (B) ⇒ G[D])(implicit arg0: Applicative[G]): (F[A, B]) ⇒ G[F[C, D]]

    Permalink

    Flipped bitraverse.

    Flipped bitraverse.

    Definition Classes
    Bitraverse
  20. def bitraverseImpl[H[_], A, B, C, D](fab: F[A, B])(f: (A) ⇒ H[C], g: (B) ⇒ H[D])(implicit arg0: Applicative[H]): H[F[C, D]]

    Permalink

    Collect Gs while applying f and g in some order.

    Collect Gs while applying f and g in some order.

    Definition Classes
    IsomorphismBitraverseBitraverse
  21. def bitraverseKTrampoline[S, G[+_], A, B, C, D](fa: F[A, B])(f: (A) ⇒ Kleisli[G, S, C])(g: (B) ⇒ Kleisli[G, S, D])(implicit arg0: Applicative[G]): Kleisli[G, S, F[C, D]]

    Permalink

    Bitraverse fa with a Kleisli[G, S, C] and Kleisli[G, S, D], internally using a Trampoline to avoid stack overflow.

    Bitraverse fa with a Kleisli[G, S, C] and Kleisli[G, S, D], internally using a Trampoline to avoid stack overflow.

    Definition Classes
    Bitraverse
  22. def bitraverseS[S, A, B, C, D](fa: F[A, B])(f: (A) ⇒ State[S, C])(g: (B) ⇒ State[S, D]): State[S, F[C, D]]

    Permalink
    Definition Classes
    Bitraverse
  23. val bitraverseSyntax: BitraverseSyntax[F]

    Permalink
    Definition Classes
    Bitraverse
  24. def clone(): AnyRef

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

    Permalink

    The composition of Bitraverses F and G, [x,y]F[G[x,y],G[x,y]], is a Bitraverse

    The composition of Bitraverses F and G, [x,y]F[G[x,y],G[x,y]], is a Bitraverse

    Definition Classes
    Bitraverse
  26. def compose[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β]F[G[α, β], G[α, β]]]

    Permalink

    The composition of Bifoldables F and G, [x,y]F[G[x,y],G[x,y]], is a Bifoldable

    The composition of Bifoldables F and G, [x,y]F[G[x,y],G[x,y]], is a Bifoldable

    Definition Classes
    Bifoldable
  27. 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
  28. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  34. def leftFoldable[X]: Foldable[[α]F[α, X]]

    Permalink

    Extract the Foldable on the first parameter.

    Extract the Foldable on the first parameter.

    Definition Classes
    Bifoldable
  35. def leftFunctor[X]: Functor[[α]F[α, X]]

    Permalink

    Extract the Functor on the first param.

    Extract the Functor on the first param.

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

    Permalink
    Definition Classes
    Bifunctor
  37. def leftTraverse[X]: Traverse[[α]F[α, X]]

    Permalink

    Extract the Traverse on the first param.

    Extract the Traverse on the first param.

    Definition Classes
    Bitraverse
  38. final def ne(arg0: AnyRef): Boolean

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

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

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

    Permalink

    The product of Bitraverses F and G, [x,y](F[x,y], G[x,y]), is a Bitraverse

    The product of Bitraverses F and G, [x,y](F[x,y], G[x,y]), is a Bitraverse

    Definition Classes
    Bitraverse
  42. def product[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β](F[α, β], G[α, β])]

    Permalink

    The product of Bifoldables F and G, [x,y](F[x,y], G[x,y]), is a Bifoldable

    The product of Bifoldables F and G, [x,y](F[x,y], G[x,y]), is a Bifoldable

    Definition Classes
    Bifoldable
  43. 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
  44. def rightFoldable[X]: Foldable[[α]F[X, α]]

    Permalink

    Extract the Foldable on the second parameter.

    Extract the Foldable on the second parameter.

    Definition Classes
    Bifoldable
  45. def rightFunctor[X]: Functor[[α]F[X, α]]

    Permalink

    Extract the Functor on the second param.

    Extract the Functor on the second param.

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

    Permalink
    Definition Classes
    Bifunctor
  47. def rightTraverse[X]: Traverse[[α]F[X, α]]

    Permalink

    Extract the Traverse on the second param.

    Extract the Traverse on the second param.

    Definition Classes
    Bitraverse
  48. def runBitraverseS[S, A, B, C, D](fa: F[A, B], s: S)(f: (A) ⇒ State[S, C])(g: (B) ⇒ State[S, D]): (S, F[C, D])

    Permalink
    Definition Classes
    Bitraverse
  49. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
    Definition Classes
    AnyRef → Any
  51. def traverseSTrampoline[S, G[_], A, B, C, D](fa: F[A, B])(f: (A) ⇒ State[S, G[C]])(g: (B) ⇒ State[S, G[D]])(implicit arg0: Applicative[G]): State[S, G[F[C, D]]]

    Permalink

    Bitraverse fa with a State[S, G[C]] and State[S, G[D]], internally using a Trampoline to avoid stack overflow.

    Bitraverse fa with a State[S, G[C]] and State[S, G[D]], internally using a Trampoline to avoid stack overflow.

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

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

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

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

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

Inherited from IsomorphismBifunctor[F, G]

Inherited from Bitraverse[F]

Inherited from Bifoldable[F]

Inherited from Bifunctor[F]

Inherited from AnyRef

Inherited from Any

Ungrouped