trait DIEffect[F[_]] extends DIApplicative[F]
- Alphabetic
- By Inheritance
- DIEffect
- DIApplicative
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract def bracket[A, B](acquire: => F[A])(release: (A) => F[Unit])(use: (A) => F[B]): F[B]
- abstract def bracketCase[A, B](acquire: => F[A])(release: (A, Option[Throwable]) => F[Unit])(use: (A) => F[B]): F[B]
- abstract def definitelyRecover[A](action: => F[A])(recover: (Throwable) => F[A]): F[A]
A stronger version of
handleErrorWith, the difference is that this will _also_ intercept Throwable defects inZIO, not only typed errors - abstract def definitelyRecoverCause[A](action: => F[A])(recoverCause: (Throwable, () => Throwable) => F[A]): F[A]
definitelyRecover, but the second argument is a callback that when called, will return another Throwable, possible enhanced with the effect's own debugging information.definitelyRecover, but the second argument is a callback that when called, will return another Throwable, possible enhanced with the effect's own debugging information. NOTE: the callback may perform side-effects to the original Throwable argument on the left, the left throwable should be DISCARDED after calling the callback. (e.g. in case ofZIO, the callback will mutate the throwable and attach a ZIO Trace to it.) - abstract def fail[A](t: => Throwable): F[A]
- abstract def flatMap[A, B](fa: F[A])(f: (A) => F[B]): F[B]
- abstract def map[A, B](fa: F[A])(f: (A) => B): F[B]
- Definition Classes
- DIApplicative
- abstract def map2[A, B, C](fa: F[A], fb: F[B])(f: (A, B) => C): F[C]
- Definition Classes
- DIApplicative
- abstract def maybeSuspend[A](eff: => A): F[A]
A weaker version of
delay.A weaker version of
delay. Does not guarantee _actual_ suspension of side-effects, because DIEffect[Identity] is allowed - abstract def pure[A](a: A): F[A]
- Definition Classes
- DIApplicative
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def bracketAuto[A <: AutoCloseable, B](acquire: => F[A])(use: (A) => F[B]): F[B]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def suspendF[A](effAction: => F[A]): F[A]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def traverse_[A](l: Iterable[A])(f: (A) => F[Unit]): F[Unit]
- final val unit: F[Unit]
- Definition Classes
- DIApplicative
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def widen[A, B >: A](fa: F[A]): F[B]