\/ - scalaz.\/

Type Members

type GlorifiedTuple[+A, +B] = \/[A, B]

Turns out that Either is just a glorified tuple; who knew?
Turns out that Either is just a glorified tuple; who knew?

Definition Classes
DisjunctionInstances

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 DisjunctionEqual[A, B](implicit arg0: Equal[A], arg1: Equal[B]): Equal[\/[A, B]]

Definition Classes
DisjunctionInstances1
implicit def DisjunctionInstances2[L]: Traverse[[a]\/[L, a]] with Monad[[a]\/[L, a]] with Cozip[[a]\/[L, a]] with Plus[[a]\/[L, a]]

Definition Classes
DisjunctionInstances2
implicit def DisjunctionInstances3: Bitraverse[\/]

Definition Classes
DisjunctionInstances3
implicit def DisjunctionMonoid[A, B](implicit arg0: Semigroup[A], arg1: Monoid[B]): Monoid[\/[A, B]]

Definition Classes
DisjunctionInstances0
implicit def DisjunctionOrder[A, B](implicit arg0: Order[A], arg1: Order[B]): Order[\/[A, B]]

Definition Classes
DisjunctionInstances0
implicit def DisjunctionSemigroup[A, B](implicit arg0: Semigroup[A], arg1: Semigroup[B]): Semigroup[\/[A, B]]

Definition Classes
DisjunctionInstances1
implicit def DisjunctionShow[A, B](implicit arg0: Show[A], arg1: Show[B]): Show[\/[A, B]]

Definition Classes
DisjunctionInstances1
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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] )
def fromEither[A, B](e: Either[A, B]): \/[A, B]

Construct a disjunction value from a standard scala.Either.
Construct a disjunction value from a standard scala.Either.

Definition Classes
DisjunctionFunctions
def fromTryCatch[T](a: ⇒ T): \/[Throwable, T]

Evaluate the given value, which might throw an exception.
Evaluate the given value, which might throw an exception.

Definition Classes
DisjunctionFunctions
def fromTryCatchThrowable[T, E <: Throwable](a: ⇒ T)(implicit nn: NotNothing[E], ex: ClassManifest[E]): \/[E, T]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
def left[A, B]: (A) ⇒ \/[A, B]

Construct a left disjunction value.
Construct a left disjunction value.

Definition Classes
DisjunctionFunctions
final def loopLeft[A, B, X](d: \/[A, B], left: (A) ⇒ \/[X, \/[A, B]], right: (B) ⇒ X): X

Spin in tail-position on the left value of the given disjunction.
Spin in tail-position on the left value of the given disjunction.

Annotations
@tailrec()
final def loopRight[A, B, X](d: \/[A, B], left: (A) ⇒ X, right: (B) ⇒ \/[X, \/[A, B]]): X

Spin in tail-position on the right value of the given disjunction.
Spin in tail-position on the right value of the given disjunction.

Annotations
@tailrec()
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def right[A, B]: (B) ⇒ \/[A, B]

Construct a right disjunction value.
Construct a right disjunction value.

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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: trait \/ | package scalaz

object \/ extends DisjunctionInstances with DisjunctionFunctions

Type Members

type GlorifiedTuple[+A, +B] = \/[A, B]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit def DisjunctionEqual[A, B](implicit arg0: Equal[A], arg1: Equal[B]): Equal[\/[A, B]]

implicit def DisjunctionInstances2[L]: Traverse[[a]\/[L, a]] with Monad[[a]\/[L, a]] with Cozip[[a]\/[L, a]] with Plus[[a]\/[L, a]]

implicit def DisjunctionInstances3: Bitraverse[\/]

implicit def DisjunctionMonoid[A, B](implicit arg0: Semigroup[A], arg1: Monoid[B]): Monoid[\/[A, B]]

implicit def DisjunctionOrder[A, B](implicit arg0: Order[A], arg1: Order[B]): Order[\/[A, B]]

implicit def DisjunctionSemigroup[A, B](implicit arg0: Semigroup[A], arg1: Semigroup[B]): Semigroup[\/[A, B]]

implicit def DisjunctionShow[A, B](implicit arg0: Show[A], arg1: Show[B]): Show[\/[A, B]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def fromEither[A, B](e: Either[A, B]): \/[A, B]

def fromTryCatch[T](a: ⇒ T): \/[Throwable, T]

def fromTryCatchThrowable[T, E <: Throwable](a: ⇒ T)(implicit nn: NotNothing[E], ex: ClassManifest[E]): \/[E, T]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def left[A, B]: (A) ⇒ \/[A, B]

final def loopLeft[A, B, X](d: \/[A, B], left: (A) ⇒ \/[X, \/[A, B]], right: (B) ⇒ X): X

final def loopRight[A, B, X](d: \/[A, B], left: (A) ⇒ X, right: (B) ⇒ \/[X, \/[A, B]]): X

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def right[A, B]: (B) ⇒ \/[A, B]

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from DisjunctionFunctions

Inherited from DisjunctionInstances

Inherited from DisjunctionInstances0

Inherited from DisjunctionInstances1

Inherited from DisjunctionInstances2

Inherited from DisjunctionInstances3

Inherited from AnyRef

Inherited from Any

Ungrouped