EitherEffect

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[[β$33$]Either[E, β$33$]]

   

   Definition Classes

   EitherInterpretation

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def attemptEither[R, E, A](effect: Eff[R, A])(implicit member: /=[[β$12$]Either[E, β$12$], 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: /=[[β$13$]Either[E, β$13$], 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: /=[[β$15$]Either[E, β$15$], 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: |=[[β$7$]Either[Throwable, β$7$], 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[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

14. def fromCatchNonFatal[R, E, A](a: ⇒ A)(onThrowable: (Throwable) ⇒ E)(implicit member: |=[[β$6$]Either[E, β$6$], 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

17. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

18. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

19. def left[R, E, A](e: E)(implicit member: |=[[β$2$]Either[E, β$2$], 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: /=[[β$30$]Either[E, β$30$], 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

23. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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: |=[[β$4$]Either[E, β$4$], 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[[β$8$]Either[E, β$8$], 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[[β$14$]Either[E, β$14$], 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[[β$9$]Either[E, β$9$], 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[[β$27$]Either[E1, β$27$], R, U], br: |=[[β$28$]Either[E2, β$28$], 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( ... )

35. def zoomEither[SR, BR, U1, U2, E1, E2, A](r: Eff[SR, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$21$]Either[E1, β$21$], SR, U1], br: Aux[[β$22$]Either[E2, β$22$], 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