Packages

c

cats.syntax

LeftNestedBitraverseOps

final class LeftNestedBitraverseOps[F[_, _], G[_], A, B] extends AnyVal

Source
bitraverse.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LeftNestedBitraverseOps
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LeftNestedBitraverseOps(fgab: F[G[A], B])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val fgab: F[G[A], B]
  6. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  7. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  8. def leftSequence(implicit F: Bitraverse[F], G: Applicative[G]): G[F[A, B]]

    Sequence the left side of the structure.

    Sequence the left side of the structure. For the right side, use the standard sequence from cats.Traverse.

    Example:

    scala> import cats.implicits._
    
    scala> val optionalErrorRight: Either[Option[String], Int] = Either.right(123)
    scala> optionalErrorRight.leftSequence
    res1: Option[Either[String, Int]] = Some(Right(123))
    
    scala> val optionalErrorLeftSome: Either[Option[String], Int] = Either.left(Some("something went wrong"))
    scala> optionalErrorLeftSome.leftSequence
    res2: Option[Either[String, Int]] = Some(Left(something went wrong))
    
    scala> val optionalErrorLeftNone: Either[Option[String], Int] = Either.left(None)
    scala> optionalErrorLeftNone.leftSequence
    res3: Option[Either[String,Int]] = None
  9. def toString(): String
    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped