Packages

trait EitherEffect extends EitherCreation with EitherInterpretation

Effect for computation which can fail

Source
EitherEffect.scala
Linear Supertypes
EitherInterpretation, EitherCreation, AnyRef, Any
Known Subclasses
EitherEffect
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EitherEffect
  2. EitherInterpretation
  3. EitherCreation
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ThrowableEither[A] = Either[Throwable, A]
    Definition Classes
    EitherCreation
  2. type _ThrowableEither[R] = Member[ThrowableEither, R]
    Definition Classes
    EitherCreation
  3. type _throwableEither[R] = MemberIn[ThrowableEither, R]
    Definition Classes
    EitherCreation

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def EitherApplicative[E](implicit s: Semigroup[E]): Applicative[[β$26$]Either[E, β$26$]]
    Definition Classes
    EitherInterpretation
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def attemptEither[R, E, A](effect: Eff[R, A])(implicit member: /=[[β$4$]Either[E, β$4$], R]): Eff[R, Either[E, A]]

    catch possible left values

    catch possible left values

    Definition Classes
    EitherInterpretation
  7. def catchLeft[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: /=[[β$5$]Either[E, β$5$], R]): Eff[R, A]

    catch and handle a possible left value

    catch and handle a possible left value

    Definition Classes
    EitherInterpretation
  8. def catchLeftCombine[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: /=[[β$7$]Either[E, β$7$], R], s: Semigroup[E]): Eff[R, A]

    catch and handle a possible left value.

    catch and handle a possible left value. The value is the combination of all failures in case of an applicative

    Definition Classes
    EitherInterpretation
  9. def catchNonFatalThrowable[R, A](a: ⇒ A)(implicit member: |=[ThrowableEither, R]): Eff[R, A]

    create an Either effect from a value possibly throwing a Throwable

    create an Either effect from a value possibly throwing a Throwable

    Definition Classes
    EitherCreation
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. def fromCatchNonFatal[R, E, A](a: ⇒ A)(onThrowable: (Throwable) ⇒ E)(implicit member: |=[[β$7$]Either[E, β$7$], R]): Eff[R, A]

    create an Either effect from a value possibly throwing an exception

    create an Either effect from a value possibly throwing an exception

    Definition Classes
    EitherCreation
  15. def fromEither[R, E, A](Either: Either[E, A])(implicit member: |=[[β$1$]Either[E, β$1$], R]): Eff[R, A]

    create an Either effect from a single Either value

    create an Either effect from a single Either value

    Definition Classes
    EitherCreation
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. def left[R, E, A](e: E)(implicit member: |=[[β$3$]Either[E, β$3$], R]): Eff[R, A]

    create a failed value

    create a failed value

    Definition Classes
    EitherCreation
  20. def localEither[R, E, A](e: Eff[R, A])(modify: (E) ⇒ E)(implicit m: /=[[β$23$]Either[E, β$23$], R]): Eff[R, A]

    Update the error value, the stack of the Eff computation stays the same

    Update the error value, the stack of the Eff computation stays the same

    Definition Classes
    EitherInterpretation
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. def optionEither[R, E, A](option: Option[A], e: ⇒ E)(implicit member: |=[[β$0$]Either[E, β$0$], R]): Eff[R, A]

    create an Either effect from a single Option value

    create an Either effect from a single Option value

    Definition Classes
    EitherCreation
  25. def right[R, E, A](a: A)(implicit member: |=[[β$5$]Either[E, β$5$], R]): Eff[R, A]

    create a correct value

    create a correct value

    Definition Classes
    EitherCreation
  26. def runEither[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$0$]Either[E, β$0$], R, U]): Eff[U, Either[E, A]]

    run the Either effect, yielding E Either A

    run the Either effect, yielding E Either A

    Definition Classes
    EitherInterpretation
  27. def runEitherCatchLeft[R, U, E, A](r: Eff[R, A])(handle: (E) ⇒ Eff[U, A])(implicit m: Aux[[β$6$]Either[E, β$6$], R, U]): Eff[U, A]

    run the Either effect, handling E (with effects) and yielding A

    run the Either effect, handling E (with effects) and yielding A

    Definition Classes
    EitherInterpretation
  28. def runEitherCombine[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$1$]Either[E, β$1$], R, U], s: Semigroup[E]): Eff[U, Either[E, A]]

    run the Either effect, yielding E Either A and combine all Es

    run the Either effect, yielding E Either A and combine all Es

    Definition Classes
    EitherInterpretation
  29. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. def translateEither[R, U, E1, E2, A](r: Eff[R, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$20$]Either[E1, β$20$], R, U], br: |=[[β$21$]Either[E2, β$21$], U]): Eff[U, A]

    Translate an error effect to another one in the same stack a computation over a "bigger" error (for the full application)

    Translate an error effect to another one in the same stack a computation over a "bigger" error (for the full application)

    Definition Classes
    EitherInterpretation
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  35. def zoomEither[SR, BR, U1, U2, E1, E2, A](r: Eff[SR, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$14$]Either[E1, β$14$], SR, U1], br: Aux[[β$15$]Either[E2, β$15$], BR, U2], into: IntoPoly[U1, U2]): Eff[BR, A]

    Modify the type of the read value

    Modify the type of the read value

    This changes the stack of the Eff computation

    Definition Classes
    EitherInterpretation

Inherited from EitherInterpretation

Inherited from EitherCreation

Inherited from AnyRef

Inherited from Any

Ungrouped