SafeEffect

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. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def attempt[R, A](action: Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, Either[Throwable, A]]

   

   try to execute an action an report any issue

   try to execute an action an report any issue

   Definition Classes

   SafeInterpretation

6. def attemptSafe[R, A](r: Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, (Either[Throwable, A], List[Throwable])]

   

   Attempt to execute a safe action including finalizers

   Attempt to execute a safe action including finalizers

   Definition Classes

   SafeInterpretation

7. def bracket[R, A, B, C](acquire: Eff[R, A])(step: (A) ⇒ Eff[R, B])(release: (A) ⇒ Eff[R, C])(implicit m: /=[Safe, R]): Eff[R, B]

   

   Definition Classes

   SafeInterpretation

8. def catchThrowable[R, A, B](action: Eff[R, A], pureValue: (A) ⇒ B, onThrowable: (Throwable) ⇒ Eff[R, B])(implicit m: /=[Safe, R]): Eff[R, B]

   

   evaluate 1 action possibly having error effects

   evaluate 1 action possibly having error effects

   Execute a second action if the first one is not successful, based on the error

   Definition Classes

   SafeInterpretation

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def eval[R, A](a: Name[A])(implicit arg0: _safe[R]): Eff[R, A]

    

    Definition Classes

    SafeCreation

13. def exception[R, A](t: Throwable)(implicit arg0: _safe[R]): Eff[R, A]

    

    Definition Classes

    SafeCreation

14. def execSafe[R, U, A](r: Eff[R, A])(implicit m: Aux[Safe, R, U]): Eff[U, Either[Throwable, A]]

    

    run a safe effect but drop the finalizer errors

    run a safe effect but drop the finalizer errors

    Definition Classes

    SafeInterpretation

15. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

16. def finalizerException[R](t: Throwable)(implicit arg0: _safe[R]): Eff[R, Unit]

    

    Definition Classes

    SafeCreation

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

    

    Definition Classes

    AnyRef → Any

18. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

19. def ignoreException[R, E <: Throwable, A](action: Eff[R, A])(implicit arg0: ClassTag[E], m: /=[Safe, R]): Eff[R, Unit]

    

    ignore one possible exception that could be thrown

    ignore one possible exception that could be thrown

    Definition Classes

    SafeInterpretation

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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 otherwise[R, A](action: Eff[R, A], onThrowable: Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, A]

    

    evaluate 1 action possibly having error effects

    evaluate 1 action possibly having error effects

    Execute a second action if the first one is not successful

    Definition Classes

    SafeInterpretation

25. def protect[R, A](a: ⇒ A)(implicit arg0: _safe[R]): Eff[R, A]

    

    Definition Classes

    SafeCreation

26. def runSafe[R, U, A](r: Eff[R, A])(implicit m: Aux[Safe, R, U]): Eff[U, (Either[Throwable, A], List[Throwable])]

    

    Run a safe effect

    Run a safe effect

    Collect finalizer exceptions if any

    Definition Classes

    SafeInterpretation

27. def safeLoop[R, U, A]: Loop[Safe, R, A, Eff[U, (Either[Throwable, A], Vector[Throwable])], Eff[U, Unit]]

    

    Definition Classes

    SafeInterpretation

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

    

    Definition Classes

    AnyRef

29. def thenFinally[R, A](action: Eff[R, A], last: Eff[R, Unit])(implicit m: _Safe[R]): Eff[R, A]

    

    evaluate 1 action possibly having error effects execute a second action whether the first is successful or not but keep track of finalizer exceptions

    evaluate 1 action possibly having error effects execute a second action whether the first is successful or not but keep track of finalizer exceptions

    Definition Classes

    SafeInterpretation

30. def toString(): String

    

    Definition Classes

    AnyRef → Any

31. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. def whenFailed[R, A](action: Eff[R, A], onThrowable: (Throwable) ⇒ Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, A]

    

    evaluate 1 action possibly throwing exceptions

    evaluate 1 action possibly throwing exceptions

    Execute a second action if the first one is not successful, based on the exception

    The final value type is the same as the original type

    Definition Classes

    SafeInterpretation