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 Alt[[β$5$]\/[L, β$5$]] with Optional[[β$6$]\/[L, β$6$]] with MonadError[[β$7$]\/[L, β$7$], L]

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

    Permalink
    Definition Classes
    DisjunctionInstances2
  9. implicit def DisjunctionIsCovariantLeft[A]: IsCovariant[[α$18$]\/[α$18$, A]]

    Permalink
    Definition Classes
    DisjunctionInstances2
  10. implicit def DisjunctionIsCovariantRight[A]: IsCovariant[[β$16$]\/[A, β$16$]]

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  16. 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.

  17. def clone(): AnyRef

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

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

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

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

    Permalink

    Construct a disjunction value from a standard scala.Either.

  22. def fromOption[A, B](ifNone: ⇒ A)(o: Option[B]): \/[A, B]

    Permalink

    Construct a disjunction value from a standard scala.Option.

  23. final def getClass(): Class[_]

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

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

    Permalink
    Definition Classes
    Any
  26. def l[B]: L[B]

    Permalink

    Construct a left disjunction value but specify only the right type param

    Construct a left disjunction value but specify only the right type param

    Example:
    1. val x = \/.l[String](42)
      x: Int \/ String
  27. def left[A, B]: (A) ⇒ \/[A, B]

    Permalink

    Construct a left disjunction value.

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

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

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

    Permalink
    Definition Classes
    AnyRef
  33. def r[B]: R[B]

    Permalink

    Construct a right disjunction value but specify only the left type param

    Construct a right disjunction value but specify only the left type param

    Example:
    1. val x = \/.r[String](42)
      x: String \/ Int
  34. def right[A, B]: (B) ⇒ \/[A, B]

    Permalink

    Construct a right disjunction value.

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

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

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

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

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

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

Deprecated Value Members

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

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt

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

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt

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