final case class That[B](bb: B) extends \&/[Nothing, B] with Product with Serializable
- Source
- These.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- That
- \&/
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new That(bb: B)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def &&&[AA >: Nothing, C](t: \&/[AA, C])(implicit M: Semigroup[AA]): \&/[AA, (B, C)]
- Definition Classes
- \&/
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ===[AA >: Nothing, BB >: B](x: \&/[AA, BB])(implicit EA: Equal[AA], EB: Equal[BB]): Boolean
- Definition Classes
- \&/
- def a: Option[Nothing]
- Definition Classes
- \&/
- def append[AA >: Nothing, BB >: B](that: ⇒ \&/[AA, BB])(implicit SA: Semigroup[AA], SB: Semigroup[BB]): \&/[AA, BB]
- Definition Classes
- \&/
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def b: Option[B]
- Definition Classes
- \&/
- val bb: B
- def bifoldMap[M](f: (Nothing) ⇒ M)(g: (B) ⇒ M)(implicit M: Semigroup[M]): M
- Definition Classes
- \&/
- def bifoldRight[Z](z: ⇒ Z)(f: (Nothing, ⇒ Z) ⇒ Z)(g: (B, ⇒ Z) ⇒ Z): Z
- Definition Classes
- \&/
- def bimap[C, D](f: (Nothing) ⇒ C, g: (B) ⇒ D): \&/[C, D]
- Definition Classes
- \&/
- def bitraverse[F[_], C, D](f: (Nothing) ⇒ F[C], g: (B) ⇒ F[D])(implicit arg0: Apply[F]): F[\&/[C, D]]
- Definition Classes
- \&/
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def exists(p: (B) ⇒ Boolean): Boolean
- Definition Classes
- \&/
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def flatMap[AA >: Nothing, D](g: (B) ⇒ \&/[AA, D])(implicit M: Semigroup[AA]): \&/[AA, D]
- Definition Classes
- \&/
- def fold[X](s: (Nothing) ⇒ X, t: (B) ⇒ X, q: (Nothing, B) ⇒ X): X
- Definition Classes
- \&/
- def foldMap[C](f: (B) ⇒ C)(implicit M: Monoid[C]): C
- Definition Classes
- \&/
- def foldRight[Z](z: ⇒ Z)(f: (B, ⇒ Z) ⇒ Z): Z
- Definition Classes
- \&/
- def forall(p: (B) ⇒ Boolean): Boolean
- Definition Classes
- \&/
- def foreach(g: (B) ⇒ Unit): Unit
- Definition Classes
- \&/
- final def getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getOrElse[BB >: B](bb: ⇒ BB): BB
- Definition Classes
- \&/
- def isBoth: Boolean
- Definition Classes
- \&/
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isThat: Boolean
- Definition Classes
- \&/
- def isThis: Boolean
- Definition Classes
- \&/
- def leftMap[C](f: (Nothing) ⇒ C): \&/[C, B]
- Definition Classes
- \&/
- def map[D](g: (B) ⇒ D): \&/[Nothing, D]
- Definition Classes
- \&/
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def onlyBoth: Option[(Nothing, B)]
- Definition Classes
- \&/
- def onlyThat: Option[B]
- Definition Classes
- \&/
- def onlyThis: Option[Nothing]
- Definition Classes
- \&/
- def onlyThisOrThat: Option[\/[Nothing, B]]
- Definition Classes
- \&/
- def pad: (Option[Nothing], Option[B])
- Definition Classes
- \&/
- def show[AA >: Nothing, BB >: B](implicit SA: Show[AA], SB: Show[BB]): Cord
- Definition Classes
- \&/
- def swap: \&/[B, Nothing]
- Definition Classes
- \&/
- def swapped[AA, BB](k: (\&/[B, Nothing]) ⇒ \&/[BB, AA]): \&/[AA, BB]
- Definition Classes
- \&/
- final def synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toList: List[B]
- Definition Classes
- \&/
- def traverse[F[_], AA >: Nothing, D](g: (B) ⇒ F[D])(implicit arg0: Applicative[F]): F[\&/[AA, D]]
- Definition Classes
- \&/
- def unary_~: \&/[B, Nothing]
- Definition Classes
- \&/
- def valueOr[BB >: B](x: (Nothing) ⇒ BB)(implicit M: Semigroup[BB]): BB
- Definition Classes
- \&/
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.InterruptedException])
- def |[BB >: B](bb: ⇒ BB): BB
- Definition Classes
- \&/
- def ~[AA, BB](k: (\&/[B, Nothing]) ⇒ \&/[BB, AA]): \&/[AA, BB]
- Definition Classes
- \&/