scalaz.\&/

That

Related Doc: package \&/

final case class That[B](bb: B) extends \&/[Nothing, B] with Product with Serializable

Source
These.scala
Linear Supertypes
\&/[Nothing, B], Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. That
  2. \&/
  3. Serializable
  4. Serializable
  5. Product
  6. Equals
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new That(bb: B)

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. def &&&[AA >: Nothing, C](t: \&/[AA, C])(implicit M: Semigroup[AA]): \&/[AA, (B, C)]

    Definition Classes
    \&/
  4. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  5. def ===[AA >: Nothing, BB >: B](x: \&/[AA, BB])(implicit EA: Equal[AA], EB: Equal[BB]): Boolean

    Definition Classes
    \&/
  6. def a: Option[Nothing]

    Definition Classes
    \&/
  7. def append[AA >: Nothing, BB >: B](that: ⇒ \&/[AA, BB])(implicit SA: Semigroup[AA], SB: Semigroup[BB]): \&/[AA, BB]

    Definition Classes
    \&/
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def b: Option[B]

    Definition Classes
    \&/
  10. val bb: B

  11. def bifoldMap[M](f: (Nothing) ⇒ M)(g: (B) ⇒ M)(implicit M: Semigroup[M]): M

    Definition Classes
    \&/
  12. def bifoldRight[Z](z: ⇒ Z)(f: (Nothing, ⇒ Z) ⇒ Z)(g: (B, ⇒ Z) ⇒ Z): Z

    Definition Classes
    \&/
  13. def bimap[C, D](f: (Nothing) ⇒ C, g: (B) ⇒ D): \&/[C, D]

    Definition Classes
    \&/
  14. def bitraverse[F[_], C, D](f: (Nothing) ⇒ F[C], g: (B) ⇒ F[D])(implicit arg0: Apply[F]): F[\&/[C, D]]

    Definition Classes
    \&/
  15. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  16. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  17. def exists(p: (B) ⇒ Boolean): Boolean

    Definition Classes
    \&/
  18. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. def flatMap[AA >: Nothing, D](g: (B) ⇒ \&/[AA, D])(implicit M: Semigroup[AA]): \&/[AA, D]

    Definition Classes
    \&/
  20. def fold[X](s: (Nothing) ⇒ X, t: (B) ⇒ X, q: (Nothing, B) ⇒ X): X

    Definition Classes
    \&/
  21. def foldMap[C](f: (B) ⇒ C)(implicit M: Monoid[C]): C

    Definition Classes
    \&/
  22. def foldRight[Z](z: ⇒ Z)(f: (B, ⇒ Z) ⇒ Z): Z

    Definition Classes
    \&/
  23. def forall(p: (B) ⇒ Boolean): Boolean

    Definition Classes
    \&/
  24. def foreach(g: (B) ⇒ Unit): Unit

    Definition Classes
    \&/
  25. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  26. def getOrElse[BB >: B](bb: ⇒ BB): BB

    Definition Classes
    \&/
  27. def isBoth: Boolean

    Definition Classes
    \&/
  28. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  29. def isThat: Boolean

    Definition Classes
    \&/
  30. def isThis: Boolean

    Definition Classes
    \&/
  31. def leftMap[C](f: (Nothing) ⇒ C): \&/[C, B]

    Definition Classes
    \&/
  32. def map[D](g: (B) ⇒ D): \&/[Nothing, D]

    Definition Classes
    \&/
  33. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  34. final def notify(): Unit

    Definition Classes
    AnyRef
  35. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  36. def onlyBoth: Option[(Nothing, B)]

    Definition Classes
    \&/
  37. def onlyThat: Option[B]

    Definition Classes
    \&/
  38. def onlyThis: Option[Nothing]

    Definition Classes
    \&/
  39. def onlyThisOrThat: Option[\/[Nothing, B]]

    Definition Classes
    \&/
  40. def pad: (Option[Nothing], Option[B])

    Definition Classes
    \&/
  41. def show[AA >: Nothing, BB >: B](implicit SA: Show[AA], SB: Show[BB]): Cord

    Definition Classes
    \&/
  42. def swap: \&/[B, Nothing]

    Definition Classes
    \&/
  43. def swapped[AA, BB](k: (\&/[B, Nothing]) ⇒ \&/[BB, AA]): \&/[AA, BB]

    Definition Classes
    \&/
  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  45. def toList: List[B]

    Definition Classes
    \&/
  46. def traverse[F[_], AA >: Nothing, D](g: (B) ⇒ F[D])(implicit arg0: Applicative[F]): F[\&/[AA, D]]

    Definition Classes
    \&/
  47. def unary_~: \&/[B, Nothing]

    Definition Classes
    \&/
  48. def valueOr[BB >: B](x: (Nothing) ⇒ BB)(implicit M: Semigroup[BB]): BB

    Definition Classes
    \&/
  49. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. def |[BB >: B](bb: ⇒ BB): BB

    Definition Classes
    \&/
  53. def ~[AA, BB](k: (\&/[B, Nothing]) ⇒ \&/[BB, AA]): \&/[AA, BB]

    Definition Classes
    \&/

Deprecated Value Members

  1. def zip[AA >: Nothing, C](t: \&/[AA, C])(implicit M: Semigroup[AA]): \&/[AA, (B, C)]

    Definition Classes
    \&/
    Annotations
    @deprecated
    Deprecated

    (Since version 7.1.0) 'These' forms no lawful Zip instances; use &&& instead

Inherited from \&/[Nothing, B]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped