\&/

Type Members

final case class Both[A, B](aa: A, bb: B) extends \&/[A, B] with Product with Serializable
final case class That[A, B](bb: B) extends \&/[A, B] with Product with Serializable
type These[A, B] = \&/[A, B]

Definition Classes
TheseInstances
final case class This[A, B](aa: A) extends \&/[A, B] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit def TheseBand[A, B](implicit arg0: Band[A], arg1: Band[B]): Band[\&/[A, B]]

Definition Classes
TheseInstances
implicit val TheseBitraverse: Bitraverse[\&/]

Definition Classes
TheseInstances0
implicit def TheseEqual[A, B](implicit EA: Equal[A], EB: Equal[B]): Equal[\&/[A, B]]

Definition Classes
TheseInstances1
implicit def TheseInstance0[L](implicit arg0: Semigroup[L]): Monad[[β$4$]\&/[L, β$4$]] with BindRec[[β$5$]\&/[L, β$5$]]

Definition Classes
TheseInstances0
implicit def TheseInstance1[L]: Traverse[[β$8$]\&/[L, β$8$]] with Cobind[[β$9$]\&/[L, β$9$]]

Definition Classes
TheseInstances1
implicit def TheseIsCovariantLeft[A]: IsCovariant[[α$2$]\&/[α$2$, A]]

Definition Classes
TheseInstances0
implicit def TheseIsCovariantRight[A]: IsCovariant[[β$0$]\&/[A, β$0$]]

Definition Classes
TheseInstances0
implicit final def TheseOrder[A, B](implicit A: Order[A], B: Order[B]): Order[\&/[A, B]]

Definition Classes
TheseInstances0
implicit def TheseSemigroup[A, B](implicit SA: Semigroup[A], SB: Semigroup[B]): Semigroup[\&/[A, B]]

Definition Classes
TheseInstances1
implicit def TheseShow[A, B](implicit SA: Show[A], SB: Show[B]): Show[\&/[A, B]]

Definition Classes
TheseInstances1
def apply[A, B](a: A, b: B): These[A, B]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def concatThat[F[_], A, B](x: F[\&/[A, B]])(implicit M: MonadPlus[F]): F[B]
def concatThatIList[A, B](x: IList[\&/[A, B]]): IList[B]
def concatThatList[A, B](x: List[\&/[A, B]]): List[B]
def concatThatStream[A, B](x: EphemeralStream[\&/[A, B]]): EphemeralStream[B]
def concatThis[F[_], A, B](x: F[\&/[A, B]])(implicit M: MonadPlus[F]): F[A]
def concatThisIList[A, B](x: IList[\&/[A, B]]): IList[A]
def concatThisList[A, B](x: List[\&/[A, B]]): List[A]
def concatThisStream[A, B](x: EphemeralStream[\&/[A, B]]): EphemeralStream[A]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
def merge[A](t: \&/[A, A])(implicit S: Semigroup[A]): A
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def tailrecM[L, A, B](a: A)(f: (A) ⇒ \&/[L, \/[A, B]])(implicit L: Semigroup[L]): \&/[L, B]
def toString(): String

Definition Classes
AnyRef → Any
def unalign[F[_], A, B](x: F[\&/[A, B]])(implicit M: MonadPlus[F]): (F[A], F[B])
def unalignIList[A, B](x: IList[\&/[A, B]]): (IList[A], IList[B])
def unalignList[A, B](x: List[\&/[A, B]]): (List[A], List[B])
def unalignStream[A, B](x: EphemeralStream[\&/[A, B]]): (EphemeralStream[A], EphemeralStream[B])
def unapply[A, B](t: Both[A, B]): Some[(A, B)]
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class \&/ | package scalaz

object \&/ extends TheseInstances with Serializable

Type Members

final case class Both[A, B](aa: A, bb: B) extends \&/[A, B] with Product with Serializable

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

type These[A, B] = \&/[A, B]

final case class This[A, B](aa: A) extends \&/[A, B] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit def TheseBand[A, B](implicit arg0: Band[A], arg1: Band[B]): Band[\&/[A, B]]

implicit val TheseBitraverse: Bitraverse[\&/]

implicit def TheseEqual[A, B](implicit EA: Equal[A], EB: Equal[B]): Equal[\&/[A, B]]

implicit def TheseInstance0[L](implicit arg0: Semigroup[L]): Monad[[β$4$]\&/[L, β$4$]] with BindRec[[β$5$]\&/[L, β$5$]]

implicit def TheseInstance1[L]: Traverse[[β$8$]\&/[L, β$8$]] with Cobind[[β$9$]\&/[L, β$9$]]

implicit def TheseIsCovariantLeft[A]: IsCovariant[[α$2$]\&/[α$2$, A]]

implicit def TheseIsCovariantRight[A]: IsCovariant[[β$0$]\&/[A, β$0$]]

implicit final def TheseOrder[A, B](implicit A: Order[A], B: Order[B]): Order[\&/[A, B]]

implicit def TheseSemigroup[A, B](implicit SA: Semigroup[A], SB: Semigroup[B]): Semigroup[\&/[A, B]]

implicit def TheseShow[A, B](implicit SA: Show[A], SB: Show[B]): Show[\&/[A, B]]

def apply[A, B](a: A, b: B): These[A, B]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def concatThat[F[_], A, B](x: F[\&/[A, B]])(implicit M: MonadPlus[F]): F[B]

def concatThatIList[A, B](x: IList[\&/[A, B]]): IList[B]

def concatThatList[A, B](x: List[\&/[A, B]]): List[B]

def concatThatStream[A, B](x: EphemeralStream[\&/[A, B]]): EphemeralStream[B]

def concatThis[F[_], A, B](x: F[\&/[A, B]])(implicit M: MonadPlus[F]): F[A]

def concatThisIList[A, B](x: IList[\&/[A, B]]): IList[A]

def concatThisList[A, B](x: List[\&/[A, B]]): List[A]

def concatThisStream[A, B](x: EphemeralStream[\&/[A, B]]): EphemeralStream[A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def merge[A](t: \&/[A, A])(implicit S: Semigroup[A]): A

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def tailrecM[L, A, B](a: A)(f: (A) ⇒ \&/[L, \/[A, B]])(implicit L: Semigroup[L]): \&/[L, B]

def toString(): String

def unalign[F[_], A, B](x: F[\&/[A, B]])(implicit M: MonadPlus[F]): (F[A], F[B])

def unalignIList[A, B](x: IList[\&/[A, B]]): (IList[A], IList[B])

def unalignList[A, B](x: List[\&/[A, B]]): (List[A], List[B])

def unalignStream[A, B](x: EphemeralStream[\&/[A, B]]): (EphemeralStream[A], EphemeralStream[B])

def unapply[A, B](t: Both[A, B]): Some[(A, B)]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from TheseInstances

Inherited from TheseInstances0

Inherited from TheseInstances1

Inherited from AnyRef

Inherited from Any

Ungrouped