Object/Class

scalaz

\/

Related Docs: class \/ | package scalaz

Permalink

object \/ extends DisjunctionInstances with Serializable

Source
Either.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. \/
  2. Serializable
  3. Serializable
  4. DisjunctionInstances
  5. DisjunctionInstances0
  6. DisjunctionInstances1
  7. DisjunctionInstances2
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit val DisjunctionAssociative: Associative[\/]

    Permalink
    Definition Classes
    DisjunctionInstances2
  5. implicit def DisjunctionBand[A, B](implicit arg0: Band[A], arg1: Band[B]): Band[\/[A, B]]

    Permalink
    Definition Classes
    DisjunctionInstances1
  6. implicit def DisjunctionEqual[A, B](implicit arg0: Equal[A], arg1: Equal[B]): Equal[\/[A, B]]

    Permalink
    Definition Classes
    DisjunctionInstances0
  7. implicit def DisjunctionInstances1[L]: Traverse[[β$0$]\/[L, β$0$]] with Monad[[β$1$]\/[L, β$1$]] with BindRec[[β$2$]\/[L, β$2$]] with Cozip[[β$3$]\/[L, β$3$]] with Plus[[β$4$]\/[L, β$4$]] with Optional[[β$5$]\/[L, β$5$]] with MonadError[[β$6$]\/[L, β$6$], L]

    Permalink
    Definition Classes
    DisjunctionInstances1
  8. implicit val DisjunctionInstances2: Bitraverse[\/]

    Permalink
    Definition Classes
    DisjunctionInstances2
  9. implicit def DisjunctionMonoid[A, B](implicit arg0: Semigroup[A], arg1: Monoid[B]): Monoid[\/[A, B]]

    Permalink
    Definition Classes
    DisjunctionInstances
  10. implicit def DisjunctionOrder[A, B](implicit arg0: Order[A], arg1: Order[B]): Order[\/[A, B]]

    Permalink
    Definition Classes
    DisjunctionInstances
  11. implicit def DisjunctionSemigroup[A, B](implicit arg0: Semigroup[A], arg1: Semigroup[B]): Semigroup[\/[A, B]]

    Permalink
    Definition Classes
    DisjunctionInstances0
  12. implicit def DisjunctionShow[A, B](implicit arg0: Show[A], arg1: Show[B]): Show[\/[A, B]]

    Permalink
    Definition Classes
    DisjunctionInstances0
  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  14. def attempt[A, B](f: ⇒ B)(err: (Throwable) ⇒ A): \/[A, B]

    Permalink

    Wrap a call to a deterministic partial function, making a total function.

    Wrap a call to a deterministic partial function, making a total function. May be used to interface with legacy methods that do not have an FP equivalent.

    The err callback must convert the non-referentially transparent Throwable (which is anything caught by the NonFatal construct) into a data type. The caller is trusted not to allow the stack trace to escape into the A data type.

    Note that exceptions are extremely inefficient. Callers should consider validating the input to their partial function and exiting early.

    If no useful information can be obtained from the Throwable, prefer scalaz.Maybe#attempt.

    For interfacing with non-deterministic blocks of code that may or may not throw Throwable, use scalaz.effect.IO.

    For interfacing with deterministic functions that violate the type system by returning null, use scalaz.Maybe#fromNullable.

  15. def clone(): AnyRef

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

    Permalink
    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  18. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. def fromEither[A, B](e: Either[A, B]): \/[A, B]

    Permalink

    Construct a disjunction value from a standard scala.Either.

  20. def fromTryCatchNonFatal[T](a: ⇒ T): \/[Throwable, T]

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

    Permalink
  22. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  23. def hashCode(): Int

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

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

    Permalink

    Construct a left disjunction value.

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

    Permalink

    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()
  27. final def loopRight[A, B, X](d: \/[A, B], left: (A) ⇒ X, right: (B) ⇒ \/[X, \/[A, B]]): X

    Permalink

    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()
  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

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

    Permalink

    Construct a right disjunction value.

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

    Permalink
    Definition Classes
    AnyRef
  33. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  34. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from DisjunctionInstances

Inherited from DisjunctionInstances0

Inherited from DisjunctionInstances1

Inherited from DisjunctionInstances2

Inherited from AnyRef

Inherited from Any

Ungrouped