Class

cats.data

BinestedBitraverse

Related Doc: package data

Permalink

sealed abstract class BinestedBitraverse[F[_, _], G[_], H[_]] extends BinestedBifoldable[F, G, H] with Bitraverse[[δ$14$, ε$15$]Binested[F, G, H, δ$14$, ε$15$]]

Linear Supertypes
Bitraverse[[δ$14$, ε$15$]Binested[F, G, H, δ$14$, ε$15$]], Bifunctor[[δ$14$, ε$15$]Binested[F, G, H, δ$14$, ε$15$]], BinestedBifoldable[F, G, H], Bifoldable[[δ$12$, ε$13$]Binested[F, G, H, δ$12$, ε$13$]], Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BinestedBitraverse
  2. Bitraverse
  3. Bifunctor
  4. BinestedBifoldable
  5. Bifoldable
  6. Serializable
  7. Serializable
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def F: Bitraverse[F]

    Permalink
    Definition Classes
    BinestedBitraverseBinestedBifoldable
  2. implicit abstract def G: Traverse[G]

    Permalink
    Definition Classes
    BinestedBitraverseBinestedBifoldable
  3. implicit abstract def H: Traverse[H]

    Permalink
    Definition Classes
    BinestedBitraverseBinestedBifoldable

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. def bifoldLeft[A, B, C](fab: Binested[F, G, H, A, B], c: C)(f: (C, A) ⇒ C, g: (C, B) ⇒ C): C

    Permalink

    Collapse the structure with a left-associative function

    Collapse the structure with a left-associative function

    Definition Classes
    BinestedBifoldableBifoldable
  6. def bifoldMap[A, B, C](fab: Binested[F, G, H, A, B])(f: (A) ⇒ C, g: (B) ⇒ C)(implicit C: Monoid[C]): C

    Permalink

    Collapse the structure by mapping each element to an element of a type that has a cats.Monoid

    Collapse the structure by mapping each element to an element of a type that has a cats.Monoid

    Definition Classes
    Bifoldable
  7. def bifoldRight[A, B, C](fab: Binested[F, G, H, A, B], c: Eval[C])(f: (A, Eval[C]) ⇒ Eval[C], g: (B, Eval[C]) ⇒ Eval[C]): Eval[C]

    Permalink

    Collapse the structure with a right-associative function

    Collapse the structure with a right-associative function

    Definition Classes
    BinestedBifoldableBifoldable
  8. def bimap[A, B, C, D](fab: Binested[F, G, H, A, B])(f: (A) ⇒ C, g: (B) ⇒ D): Binested[F, G, H, C, D]

    Permalink

    The quintessential method of the Bifunctor trait, it applies a function to each "side" of the bifunctor.

    The quintessential method of the Bifunctor trait, it applies a function to each "side" of the bifunctor.

    Example:

    scala> import cats.implicits._
    
    scala> val x: (List[String], Int) = (List("foo", "bar"), 3)
    scala> x.bimap(_.headOption, _.toLong + 1)
    res0: (Option[String], Long) = (Some(foo),4)
    Definition Classes
    BitraverseBifunctor
  9. def bisequence[G[_], A, B](fab: Binested[F, G, H, G[A], G[B]])(implicit arg0: Applicative[G]): G[Binested[F, G, H, A, B]]

    Permalink

    Invert the structure from F[G[A], G[B]] to G[F[A, B]].

    Invert the structure from F[G[A], G[B]] to G[F[A, B]].

    Example:

    scala> import cats.implicits._
    
    scala> val rightSome: Either[Option[String], Option[Int]] = Either.right(Some(3))
    scala> rightSome.bisequence
    res0: Option[Either[String, Int]] = Some(Right(3))
    
    scala> val rightNone: Either[Option[String], Option[Int]] = Either.right(None)
    scala> rightNone.bisequence
    res1: Option[Either[String, Int]] = None
    
    scala> val leftSome: Either[Option[String], Option[Int]] = Either.left(Some("foo"))
    scala> leftSome.bisequence
    res2: Option[Either[String, Int]] = Some(Left(foo))
    
    scala> val leftNone: Either[Option[String], Option[Int]] = Either.left(None)
    scala> leftNone.bisequence
    res3: Option[Either[String, Int]] = None
    Definition Classes
    Bitraverse
  10. def bitraverse[I[_], A, B, C, D](fab: Binested[F, G, H, A, B])(f: (A) ⇒ I[C], g: (B) ⇒ I[D])(implicit I: Applicative[I]): I[Binested[F, G, H, C, D]]

    Permalink

    Traverse each side of the structure with the given functions.

    Traverse each side of the structure with the given functions.

    Example:

    scala> import cats.implicits._
    
    scala> def parseInt(s: String): Option[Int] = Either.catchOnly[NumberFormatException](s.toInt).toOption
    
    scala> ("1", "2").bitraverse(parseInt, parseInt)
    res0: Option[(Int, Int)] = Some((1,2))
    
    scala> ("1", "two").bitraverse(parseInt, parseInt)
    res1: Option[(Int, Int)] = None
    Definition Classes
    BinestedBitraverseBitraverse
  11. def clone(): AnyRef

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

    Permalink

    If F and G are both cats.Bitraverse then so is their composition F[G[_, _], G[_, _]]

    If F and G are both cats.Bitraverse then so is their composition F[G[_, _], G[_, _]]

    Definition Classes
    Bitraverse
  13. def compose[G[_, _]](implicit G0: Bifunctor[G]): Bifunctor[[α, β]Binested[F, G, H, G[α, β], G[α, β]]]

    Permalink

    The composition of two Bifunctors is itself a Bifunctor

    The composition of two Bifunctors is itself a Bifunctor

    Definition Classes
    Bifunctor
  14. def compose[G[_, _]](implicit ev: Bifoldable[G]): Bifoldable[[α, β]Binested[F, G, H, G[α, β], G[α, β]]]

    Permalink
    Definition Classes
    Bifoldable
  15. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  21. def leftFunctor[X]: Functor[[α$1$]Binested[F, G, H, α$1$, X]]

    Permalink
    Definition Classes
    Bifunctor
  22. def leftMap[A, B, C](fab: Binested[F, G, H, A, B])(f: (A) ⇒ C): Binested[F, G, H, C, B]

    Permalink

    apply a function to the "left" functor

    apply a function to the "left" functor

    Definition Classes
    Bifunctor
  23. def leftWiden[A, B, AA >: A](fab: Binested[F, G, H, A, B]): Binested[F, G, H, AA, B]

    Permalink

    Widens A into a supertype AA.

    Widens A into a supertype AA. Example:

    scala> import cats.implicits._
    scala> sealed trait Foo
    scala> case object Bar extends Foo
    scala> val x1: Either[Bar.type, Int] = Either.left(Bar)
    scala> val x2: Either[Foo, Int] = x1.leftWiden
    Definition Classes
    Bifunctor
  24. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  27. def rightFunctor[X]: Functor[[β$0$]Binested[F, G, H, X, β$0$]]

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  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 Bitraverse[[δ$14$, ε$15$]Binested[F, G, H, δ$14$, ε$15$]]

Inherited from Bifunctor[[δ$14$, ε$15$]Binested[F, G, H, δ$14$, ε$15$]]

Inherited from BinestedBifoldable[F, G, H]

Inherited from Bifoldable[[δ$12$, ε$13$]Binested[F, G, H, δ$12$, ε$13$]]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped