scalaz-core/scalaz/IsomorphismBitraverse

IsomorphismBitraverse

trait IsomorphismBitraverse[F[_, _], G[_, _]] extends Bitraverse[F] with IsomorphismBifunctor[F, G] with IsomorphismBifoldable[F, G]
trait Bitraverse[F]
trait Bifoldable[F]
trait Bifunctor[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait BifoldableLaw
Inherited from
Bifoldable
class Bitraversal[G[_]](implicit G: Applicative[G])
Inherited from
Bitraverse

Value members

Concrete methods

def bitraverseImpl[H[_] : Applicative, A, B, C, D](fab: F[A, B])(f: A => H[C], g: B => H[D]): H[F[C, D]]

Inherited methods

final
def bifoldL[A, B, C](fa: F[A, B], z: C)(f: C => A => C)(g: C => B => C): C

Curried version of bifoldLeft

Curried version of bifoldLeft

Inherited from
Bifoldable
def bifoldLShape[A, B, C](fa: F[A, B], z: C)(f: (C, A) => C)(g: (C, B) => C): (C, F[Unit, Unit])
Inherited from
Bitraverse
final override
def bifoldLeft[A, B, C](fa: F[A, B], z: C)(f: (C, A) => C)(g: (C, B) => C): C
Definition Classes
Inherited from
IsomorphismBifoldable
final override
def bifoldMap[A, B, M : Monoid](fab: F[A, B])(f: A => M)(g: B => M): M
Definition Classes
Inherited from
IsomorphismBifoldable
def bifoldMap1[A, B, M](fa: F[A, B])(f: A => M)(g: B => M)(implicit F: Semigroup[M]): Option[M]
Inherited from
Bifoldable
final
def bifoldR[A, B, C](fa: F[A, B], z: => C)(f: A => (=> C) => C)(g: B => (=> C) => C): C

Curried version of bifoldRight

Curried version of bifoldRight

Inherited from
Bifoldable
final override
def bifoldRight[A, B, C](fab: F[A, B], z: => C)(f: (A, => C) => C)(g: (B, => C) => C): C
Definition Classes
Inherited from
IsomorphismBifoldable
override
def bimap[A, B, C, D](fab: F[A, B])(f: A => C, g: B => D): F[C, D]
Definition Classes
Inherited from
IsomorphismBifunctor
def bisequence[G[_] : Applicative, A, B](x: F[G[A], G[B]]): G[F[A, B]]
Inherited from
Bitraverse
def bitraversal[G[_] : Applicative]: Bitraversal[G]
Inherited from
Bitraverse
def bitraversalS[S]: Bitraversal[[_] =>> State[S, _$14]]
Inherited from
Bitraverse
def bitraverse[G[_] : Applicative, A, B, C, D](fa: F[A, B])(f: A => G[C])(g: B => G[D]): G[F[C, D]]
Inherited from
Bitraverse
def bitraverseF[G[_] : Applicative, A, B, C, D](f: A => G[C], g: B => G[D]): F[A, B] => G[F[C, D]]

Flipped bitraverse.

Flipped bitraverse.

Inherited from
Bitraverse
def bitraverseKTrampoline[S, G[_] : Applicative, A, B, C, D](fa: F[A, B])(f: A => Kleisli[G, S, C])(g: B => Kleisli[G, S, D]): Kleisli[G, S, F[C, D]]

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.

Inherited from
Bitraverse
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]]
Inherited from
Bitraverse
def compose[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β] =>> F[G[α, β], G[α, β]]]

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

Inherited from
Bifoldable
def compose[G[_, _]](implicit G0: Bifunctor[G]): Bifunctor[[α, β] =>> F[G[α, β], G[α, β]]]

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

Inherited from
Bifunctor
def compose[G[_, _]](implicit G0: Bitraverse[G]): Bitraverse[[α, β] =>> F[G[α, β], G[α, β]]]

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

Inherited from
Bitraverse
def embed[G[_], H[_]](implicit G0: Foldable[G], H0: Foldable[H]): Bifoldable[[α, β] =>> F[G[α], H[β]]]

Embed one Foldable at each side of this Bifoldable

Embed one Foldable at each side of this Bifoldable

Inherited from
Bifoldable
def embed[G[_], H[_]](implicit G0: Functor[G], H0: Functor[H]): Bifunctor[[α, β] =>> F[G[α], H[β]]]

Embed two Functors , one on each side

Embed two Functors , one on each side

Inherited from
Bifunctor
def embed[G[_], H[_]](implicit G0: Traverse[G], H0: Traverse[H]): Bitraverse[[α, β] =>> F[G[α], H[β]]]

Embed a Traverse on each side of this Bitraverse .

Embed a Traverse on each side of this Bitraverse .

Inherited from
Bitraverse
def embedLeft[G[_]](implicit G0: Foldable[G]): Bifoldable[[α, β] =>> F[G[α], β]]

Embed one Foldable to the left of this Bifoldable .

Embed one Foldable to the left of this Bifoldable .

Inherited from
Bifoldable
def embedLeft[G[_]](implicit G0: Functor[G]): Bifunctor[[α, β] =>> F[G[α], β]]

Embed one Functor to the left

Embed one Functor to the left

Inherited from
Bifunctor
def embedLeft[G[_]](implicit G0: Traverse[G]): Bitraverse[[α, β] =>> F[G[α], β]]

Embed a Traverse on the left side of this Bitraverse .

Embed a Traverse on the left side of this Bitraverse .

Inherited from
Bitraverse
def embedRight[H[_]](implicit H0: Foldable[H]): Bifoldable[[α, β] =>> F[α, H[β]]]

Embed one Foldable to the right of this Bifoldable .

Embed one Foldable to the right of this Bifoldable .

Inherited from
Bifoldable
def embedRight[H[_]](implicit H0: Functor[H]): Bifunctor[[α, β] =>> F[α, H[β]]]

Embed one Functor to the right

Embed one Functor to the right

Inherited from
Bifunctor
def embedRight[H[_]](implicit H0: Traverse[H]): Bitraverse[[α, β] =>> F[α, H[β]]]

Embed a Traverse on the right side of this Bitraverse .

Embed a Traverse on the right side of this Bitraverse .

Inherited from
Bitraverse
def iso: IsoBifunctor[F, G]
Inherited from
IsomorphismBifunctor
def leftFoldable[X]: Foldable[F]

Extract the Foldable on the first parameter.

Extract the Foldable on the first parameter.

Inherited from
Bifoldable
def leftFunctor[X]: Functor[F]

Extract the Functor on the first param.

Extract the Functor on the first param.

Inherited from
Bifunctor
def leftMap[A, B, C](fab: F[A, B])(f: A => C): F[C, B]
Inherited from
Bifunctor
def leftTraverse[X]: Traverse[F]

Extract the Traverse on the first param.

Extract the Traverse on the first param.

Inherited from
Bitraverse
def product[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β] =>> (F[α, β], G[α, β])]

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

Inherited from
Bifoldable
def product[G[_, _]](implicit G0: Bifunctor[G]): Bifunctor[[α, β] =>> (F[α, β], G[α, β])]

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

Inherited from
Bifunctor
def product[G[_, _]](implicit G0: Bitraverse[G]): Bitraverse[[α, β] =>> (F[α, β], G[α, β])]

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

Inherited from
Bitraverse
def rightFoldable[X]: Foldable[[_] =>> F[X, _$8]]

Extract the Foldable on the second parameter.

Extract the Foldable on the second parameter.

Inherited from
Bifoldable
def rightFunctor[X]: Functor[[_] =>> F[X, _$8]]

Extract the Functor on the second param.

Extract the Functor on the second param.

Inherited from
Bifunctor
def rightMap[A, B, D](fab: F[A, B])(g: B => D): F[A, D]
Inherited from
Bifunctor
def rightTraverse[X]: Traverse[[_] =>> F[X, _$11]]

Extract the Traverse on the second param.

Extract the Traverse on the second param.

Inherited from
Bitraverse
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])
Inherited from
Bitraverse
def traverseSTrampoline[S, G[_] : Applicative, A, B, C, D](fa: F[A, B])(f: A => State[S, G[C]])(g: B => State[S, G[D]]): State[S, G[F[C, D]]]

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.

Inherited from
Bitraverse
def uFoldable: Foldable[F]

Unify the foldable over both params.

Unify the foldable over both params.

Inherited from
Bifoldable
def uFunctor: Functor[F]

Unify the functor over both params.

Unify the functor over both params.

Inherited from
Bifunctor
def uTraverse: Traverse[F]

Unify the traverse over both params.

Unify the traverse over both params.

Inherited from
Bitraverse
def umap[A, B](faa: F[A, A])(f: A => B): F[B, B]
Inherited from
Bifunctor
def widen[A, B, C >: A, D >: B](fab: F[A, B]): F[C, D]

Bifunctors are covariant by nature

Bifunctors are covariant by nature

Inherited from
BifunctorParent

Inherited fields

Implicits

Implicits

implicit
def G: Bitraverse[G]