object all extends ReaderEffect with WriterEffect with StateEffect with EvalEffect with OptionEffect with ListEffect with EitherEffect with ValidateEffect with ChooseEffect with SafeEffect with MemoEffect with Batch with EffInterpretation with EffCreation with EffImplicits
- Source
- all.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- all
- EffImplicits
- EffCreation
- EffInterpretation
- Batch
- MemoEffect
- MemoInterpretation
- MemoCreation
- MemoTypes
- SafeEffect
- SafeInterpretation
- SafeCreation
- SafeTypes
- ChooseEffect
- ChooseInterpretation
- ChooseCreation
- ValidateEffect
- ValidateInterpretation
- ValidateCreation
- EitherEffect
- EitherInterpretation
- EitherCreation
- ListEffect
- ListInterpretation
- ListCreation
- OptionEffect
- OptionInterpretation
- OptionCreation
- EvalEffect
- EvalInterpretation
- EvalCreation
- EvalTypes
- StateEffect
- StateInterpretation
- StateCreation
- WriterEffect
- WriterInterpretation
- WriterCreation
- ReaderEffect
- ReaderInterpretation
- ReaderCreation
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type Out[A] = (EitherEffect.ThrowableEither[A], List[Throwable])
- Definition Classes
- SafeInterpretation
- type ThrowableEither[A] = Either[Throwable, A]
- Definition Classes
- EitherCreation
- type _Choose[R] = Member[Choose, R]
- Definition Classes
- ChooseCreation
- type _Eval[R] = Member[Eval, R]
- Definition Classes
- EvalTypes
- type _List[R] = Member[List, R]
- Definition Classes
- ListCreation
- type _Memo[R] = Member[Memoized, R]
- Definition Classes
- MemoTypes
- type _Option[R] = Member[Option, R]
- Definition Classes
- OptionCreation
- type _Safe[R] = Member[Safe, R]
- Definition Classes
- SafeTypes
- type _ThrowableEither[R] = Member[ThrowableEither, R]
- Definition Classes
- EitherCreation
- type _choose[R] = MemberIn[Choose, R]
- Definition Classes
- ChooseCreation
- type _eval[R] = MemberIn[Eval, R]
- Definition Classes
- EvalTypes
- type _list[R] = MemberIn[List, R]
- Definition Classes
- ListCreation
- type _memo[R] = MemberIn[Memoized, R]
- Definition Classes
- MemoTypes
- type _option[R] = MemberIn[Option, R]
- Definition Classes
- OptionCreation
- type _safe[R] = MemberIn[Safe, R]
- Definition Classes
- SafeTypes
- type _throwableEither[R] = MemberIn[ThrowableEither, R]
- Definition Classes
- EitherCreation
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 EffApplicative[R]: Applicative[[β$6$]Eff[R, β$6$]]
- Definition Classes
- EffImplicits
- implicit final def EffMonad[R]: Monad[[β$4$]Eff[R, β$4$]]
- Definition Classes
- EffImplicits
- def EitherApplicative[E](implicit s: Semigroup[E]): Applicative[[β$26$]Either[E, β$26$]]
- Definition Classes
- EitherInterpretation
- def EvalFold[A](f: (A) => Eval[Unit]): RightFold[A, Eval[Unit]]
- Definition Classes
- WriterInterpretation
- def IntoMonoidFold[M, A](f: (A) => M)(implicit arg0: Monoid[M]): RightFold[A, M]
- Definition Classes
- WriterInterpretation
- implicit def ListFold[A]: RightFold[A, List[A]]
- Definition Classes
- WriterInterpretation
- def MonoidFold[A](implicit arg0: Monoid[A]): RightFold[A, A]
- Definition Classes
- WriterInterpretation
- def ap[R, A, B](a: Eff[R, A])(f: Eff[R, (A) => B]): Eff[R, B]
- Definition Classes
- EffCreation
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def ask[R, T](implicit member: |=[[β$0$]Kleisli[[A]A, T, β$0$], R]): Eff[R, T]
- Definition Classes
- ReaderCreation
- def attempt[R, A](action: Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, Either[Throwable, A]]
- Definition Classes
- SafeInterpretation
- def attemptEither[R, E, A](effect: Eff[R, A])(implicit member: /=[[β$4$]Either[E, β$4$], R]): Eff[R, Either[E, A]]
- Definition Classes
- EitherInterpretation
- def attemptEval[R, U, A](effect: Eff[R, A])(implicit m: Aux[Eval, R, U]): Eff[U, Either[Throwable, A]]
- Definition Classes
- EvalInterpretation
- def attemptSafe[R, A](effect: Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, (EitherEffect.ThrowableEither[A], List[Throwable])]
- Definition Classes
- SafeInterpretation
- def batch[R, T[_], A](eff: Eff[R, A])(implicit batchable: Batchable[T], m: /=[T, R]): Eff[R, A]
- Definition Classes
- Batch
- def bracket[R, A, B, C](acquire: Eff[R, A])(use: (A) => Eff[R, B])(release: (A) => Eff[R, C])(implicit m: /=[Safe, R]): Eff[R, B]
- Definition Classes
- SafeInterpretation
- def bracketLast[R, A, B, C](acquire: Eff[R, A])(use: (A) => Eff[R, B])(release: (A) => Eff[R, C]): Eff[R, B]
- Definition Classes
- EffCreation
- def catchAllWrongs[R, E, A](effect: Eff[R, A])(handle: (NonEmptyList[E]) => Eff[R, A])(implicit member: <=[[β$11$]Validate[E, β$11$], R]): Eff[R, A]
- Definition Classes
- ValidateInterpretation
- def catchFirstWrong[R, E, A](effect: Eff[R, A])(handle: (E) => Eff[R, A])(implicit member: <=[[β$9$]Validate[E, β$9$], R]): Eff[R, A]
- Definition Classes
- ValidateInterpretation
- def catchLastWrong[R, E, A](effect: Eff[R, A])(handle: (E) => Eff[R, A])(implicit member: <=[[β$10$]Validate[E, β$10$], R]): Eff[R, A]
- Definition Classes
- ValidateInterpretation
- def catchLeft[R, E, A](effect: Eff[R, A])(handle: (E) => Eff[R, A])(implicit member: /=[[β$5$]Either[E, β$5$], R]): Eff[R, A]
- Definition Classes
- EitherInterpretation
- 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]
- Definition Classes
- EitherInterpretation
- def catchNonFatalThrowable[R, A](a: => A)(implicit member: |=[ThrowableEither, R]): Eff[R, A]
- Definition Classes
- EitherCreation
- def catchThrowable[R, A, B](action: Eff[R, A], pureValue: (A) => B, onThrowable: (Throwable) => Eff[R, B])(implicit m: /=[Safe, R]): Eff[R, B]
- Definition Classes
- SafeInterpretation
- def catchWrongs[R, E, A, S[_]](effect: Eff[R, A])(handle: (S[E]) => Eff[R, A])(implicit arg0: Applicative[S], member: <=[[β$7$]Validate[E, β$7$], R], semi: Semigroup[S[E]]): Eff[R, A]
- Definition Classes
- ValidateInterpretation
- def chooseFrom[R, A](as: List[A])(implicit arg0: _choose[R]): Eff[R, A]
- Definition Classes
- ChooseCreation
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def collapse[R, M[_], A](r: Eff[R, M[A]])(implicit m: |=[M, R]): Eff[R, A]
- Definition Classes
- EffCreation
- def correct[R, E, A](a: A)(implicit m: |=[[β$5$]Validate[E, β$5$], R]): Eff[R, A]
- Definition Classes
- ValidateCreation
- def defer[R, A](eff: => Eval[Eff[R, A]])(implicit arg0: _eval[R]): Eff[R, A]
- Definition Classes
- EvalCreation
- def delay[R, A](a: => A)(implicit arg0: _eval[R]): Eff[R, A]
- Definition Classes
- EvalCreation
- def detach[M[_], A, E](eff: Eff[Fx1[M], A])(implicit monad: MonadError[M, E]): M[A]
- Definition Classes
- EffInterpretation
- def detach[M[_], R, A, E](eff: Eff[R, A])(implicit monad: MonadError[M, E], m: Aux[M, R, NoFx]): M[A]
- Definition Classes
- EffInterpretation
- def detachA[M[_], A, E](eff: Eff[Fx1[M], A])(implicit monad: MonadError[M, E], applicative: Applicative[M]): M[A]
- Definition Classes
- EffInterpretation
- def detachA[M[_], R, A, E](eff: Eff[R, A])(implicit monad: MonadError[M, E], applicative: Applicative[M], member: Aux[M, R, NoFx]): M[A]
- Definition Classes
- EffInterpretation
- def effInto[R, U, A](e: Eff[R, A])(implicit f: IntoPoly[R, U]): Eff[U, A]
- Definition Classes
- EffInterpretation
- def empty[R, A](implicit arg0: _list[R]): Eff[R, A]
- Definition Classes
- ListCreation
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def eval[R, A](a: Eval[A])(implicit arg0: _safe[R]): Eff[R, A]
- Definition Classes
- SafeCreation
- def evalState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$1$]IndexedStateT[Eval, S, S, β$1$], R, U]): Eff[U, A]
- Definition Classes
- StateInterpretation
- def evalStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$0$]IndexedStateT[Eval, S, S, β$0$], R, U]): Eff[U, A]
- Definition Classes
- StateInterpretation
- def exception[R, A](t: Throwable)(implicit arg0: _safe[R]): Eff[R, A]
- Definition Classes
- SafeCreation
- def execSafe[R, U, A](r: Eff[R, A])(implicit m: Aux[Safe, R, U]): Eff[U, EitherEffect.ThrowableEither[A]]
- Definition Classes
- SafeInterpretation
- def execState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$3$]IndexedStateT[Eval, S, S, β$3$], R, U]): Eff[U, S]
- Definition Classes
- StateInterpretation
- def execStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$2$]IndexedStateT[Eval, S, S, β$2$], R, U]): Eff[U, S]
- Definition Classes
- StateInterpretation
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def finalizerException[R](t: Throwable)(implicit arg0: _safe[R]): Eff[R, Unit]
- Definition Classes
- SafeCreation
- def flatSequenceA[R, F[_], A](fs: F[Eff[R, F[A]]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[A]]
- Definition Classes
- EffCreation
- def flatTraverseA[R, F[_], A, B](fs: F[A])(f: (A) => Eff[R, F[B]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[B]]
- Definition Classes
- EffCreation
- def fromCatchNonFatal[R, E, A](a: => A)(onThrowable: (Throwable) => E)(implicit member: |=[[β$7$]Either[E, β$7$], R]): Eff[R, A]
- Definition Classes
- EitherCreation
- def fromEither[R, E, A](Either: Either[E, A])(implicit member: |=[[β$1$]Either[E, β$1$], R]): Eff[R, A]
- Definition Classes
- EitherCreation
- def fromList[R, A](as: List[A])(implicit arg0: _list[R]): Eff[R, A]
- Definition Classes
- ListCreation
- def fromOption[R, A](o: Option[A])(implicit arg0: _option[R]): Eff[R, A]
- Definition Classes
- OptionCreation
- def get[R, S](implicit member: |=[[β$2$]IndexedStateT[Eval, S, S, β$2$], R]): Eff[R, S]
- Definition Classes
- StateCreation
- def getCache[R](implicit arg0: _memo[R]): Eff[R, Cache]
- Definition Classes
- MemoCreation
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def gets[R, S, T](f: (S) => T)(implicit member: |=[[β$4$]IndexedStateT[Eval, S, S, β$4$], R]): Eff[R, T]
- Definition Classes
- StateCreation
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def ignoreException[R, E <: Throwable, A](action: Eff[R, A])(implicit arg0: ClassTag[E], m: /=[Safe, R]): Eff[R, Unit]
- Definition Classes
- SafeInterpretation
- def impure[R, A, B](value: A, continuation: Continuation[R, A, B], map: (B) => B): Eff[R, B]
- Definition Classes
- EffCreation
- def impure[R, A, B](value: A, continuation: Continuation[R, A, B]): Eff[R, B]
- Definition Classes
- EffCreation
- def impure[R, X, A](union: Union[R, X], continuation: Continuation[R, X, A]): Eff[R, A]
- Definition Classes
- EffCreation
- def intoState[TS, SS, U1, U2, T, S, A](state: Eff[TS, A], getter: (S) => T, setter: (S, T) => S)(implicit ts: Aux[[β$10$]IndexedStateT[Eval, T, T, β$10$], TS, U1], ss: Aux[[β$11$]IndexedStateT[Eval, S, S, β$11$], SS, U2], into: IntoPoly[U1, U2]): Eff[SS, A]
- Definition Classes
- StateInterpretation
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def left[R, E, A](e: E)(implicit member: |=[[β$3$]Either[E, β$3$], R]): Eff[R, A]
- Definition Classes
- EitherCreation
- def lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) => T, setter: (S, T) => S)(implicit ts: Aux[[β$8$]IndexedStateT[Eval, T, T, β$8$], TS, U], ss: Aux[[β$9$]IndexedStateT[Eval, S, S, β$9$], SS, U]): Eff[SS, A]
- Definition Classes
- StateInterpretation
- def local[R, T, U](f: (T) => U)(implicit member: |=[[β$1$]Kleisli[[A]A, T, β$1$], R]): Eff[R, U]
- Definition Classes
- ReaderCreation
- def localEither[R, E, A](e: Eff[R, A])(modify: (E) => E)(implicit m: /=[[β$23$]Either[E, β$23$], R]): Eff[R, A]
- Definition Classes
- EitherInterpretation
- def localKleisli[R, T, U, F[_]](f: (T) => F[U])(implicit member: |=[[γ$3$]Kleisli[F, T, γ$3$], R]): Eff[R, U]
- Definition Classes
- ReaderCreation
- def localReader[R, T, A](e: Eff[R, A])(modify: (T) => T)(implicit r: /=[[β$12$]Kleisli[[A]A, T, β$12$], R]): Eff[R, A]
- Definition Classes
- ReaderInterpretation
- def localState[R, S, A](e: Eff[R, A])(modify: (S) => S)(implicit s: /=[[β$16$]IndexedStateT[Eval, S, S, β$16$], R]): Eff[R, A]
- Definition Classes
- StateInterpretation
- def memoize[R, A](key: AnyRef, a: => A)(implicit arg0: _memo[R]): Eff[R, A]
- Definition Classes
- MemoCreation
- def memoizeEffect[R, M[_], A](e: Eff[R, A], cache: Cache, key: AnyRef)(implicit member: /=[M, R], cached: SequenceCached[M]): Eff[R, A]
- Definition Classes
- EffInterpretation
- def modify[R, S](f: (S) => S)(implicit member: |=[[β$6$]IndexedStateT[Eval, S, S, β$6$], R]): Eff[R, Unit]
- Definition Classes
- StateCreation
- implicit final val monadErrorEval: MonadError[Eval, Throwable]
- Definition Classes
- EvalInterpretation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def none[R, A](implicit arg0: _option[R]): Eff[R, A]
- Definition Classes
- OptionCreation
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def now[R, A](a: A)(implicit arg0: _eval[R]): Eff[R, A]
- Definition Classes
- EvalCreation
- def optionEither[R, E, A](option: Option[A], e: => E)(implicit member: |=[[β$0$]Either[E, β$0$], R]): Eff[R, A]
- Definition Classes
- EitherCreation
- def otherwise[R, A](action: Eff[R, A], onThrowable: Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, A]
- Definition Classes
- SafeInterpretation
- def plus[R, A](a1: => Eff[R, A], a2: => Eff[R, A])(implicit arg0: _choose[R]): Eff[R, A]
- Definition Classes
- ChooseCreation
- def protect[R, A](a: => A)(implicit arg0: _safe[R]): Eff[R, A]
- Definition Classes
- SafeCreation
- def pure[R, A](a: A): Eff[R, A]
- Definition Classes
- EffCreation
- def put[R, S](s: S)(implicit member: |=[[β$0$]IndexedStateT[Eval, S, S, β$0$], R]): Eff[R, Unit]
- Definition Classes
- StateCreation
- def recoverThrowable[R, A, B](action: Eff[R, A], pureValue: (A) => B, onThrowable: PartialFunction[Throwable, Eff[R, B]])(implicit m: /=[Safe, R]): Eff[R, B]
- Definition Classes
- SafeInterpretation
- def retryUntil[R, A](e: Eff[R, A], condition: (A) => Boolean, durations: List[FiniteDuration], waitFor: (FiniteDuration) => Eff[R, Unit]): Eff[R, A]
- Definition Classes
- EffCreation
- def right[R, E, A](a: A)(implicit member: |=[[β$5$]Either[E, β$5$], R]): Eff[R, A]
- Definition Classes
- EitherCreation
- def run[A](eff: Eff[NoFx, A]): A
- Definition Classes
- EffInterpretation
- def runChoose[R, U, A, F[_]](r: Eff[R, A])(implicit arg0: Alternative[F], m: Aux[Choose, R, U]): Eff[U, F[A]]
- Definition Classes
- ChooseInterpretation
- def runEither[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$0$]Either[E, β$0$], R, U]): Eff[U, Either[E, A]]
- Definition Classes
- EitherInterpretation
- 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]
- Definition Classes
- EitherInterpretation
- 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]]
- Definition Classes
- EitherInterpretation
- def runEval[R, U, A](effect: Eff[R, A])(implicit m: Aux[Eval, R, U]): Eff[U, A]
- Definition Classes
- EvalInterpretation
- def runFutureMemo[R, U, A](cache: Cache)(effect: Eff[R, A])(implicit m: Aux[Memoized, R, U], future: |=[TimedFuture, U]): Eff[U, A]
- Definition Classes
- MemoInterpretation
- def runIorMap[R, U, E, L, A](effect: Eff[R, A])(map: (E) => L)(implicit arg0: Semigroup[L], m: Aux[[β$4$]Validate[E, β$4$], R, U]): Eff[U, Ior[L, A]]
- Definition Classes
- ValidateInterpretation
- def runIorNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[β$3$]Validate[E, β$3$], R, U]): Eff[U, IorNel[E, A]]
- Definition Classes
- ValidateInterpretation
- def runKleisli[R, U, S, A, F[_]](env: S)(e: Eff[R, A])(implicit mx: Aux[[γ$2$]Kleisli[F, S, γ$2$], R, U], m: |=[F, U]): Eff[U, A]
- Definition Classes
- ReaderInterpretation
- def runList[R, U, A](effect: Eff[R, A])(implicit m: Aux[List, R, U]): Eff[U, List[A]]
- Definition Classes
- ListInterpretation
- def runMap[R, U, E, L, A](effect: Eff[R, A])(map: (E) => L)(implicit arg0: Semigroup[L], m: Aux[[β$2$]Validate[E, β$2$], R, U]): Eff[U, Either[L, A]]
- Definition Classes
- ValidateInterpretation
- def runMemo[R, U, A](cache: Cache)(effect: Eff[R, A])(implicit m: Aux[Memoized, R, U], eval: |=[Eval, U]): Eff[U, A]
- Definition Classes
- MemoInterpretation
- def runNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[β$1$]Validate[E, β$1$], R, U]): Eff[U, Either[NonEmptyList[E], A]]
- Definition Classes
- ValidateInterpretation
- def runOption[R, U, A](effect: Eff[R, A])(implicit m: Aux[Option, R, U]): Eff[U, Option[A]]
- Definition Classes
- OptionInterpretation
- final def runPure[R, A](eff: Eff[R, A]): Option[A]
- Definition Classes
- EffInterpretation
- Annotations
- @tailrec()
- def runReader[R, U, A, B](env: A)(effect: Eff[R, B])(implicit m: Aux[[β$0$]Kleisli[[A]A, A, β$0$], R, U]): Eff[U, B]
- Definition Classes
- ReaderInterpretation
- def runSafe[R, U, A](effect: Eff[R, A])(implicit m: Aux[Safe, R, U]): Eff[U, (EitherEffect.ThrowableEither[A], List[Throwable])]
- Definition Classes
- SafeInterpretation
- def runState[R, U, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[β$5$]IndexedStateT[Eval, S1, S1, β$5$], R, U]): Eff[U, (A, S1)]
- Definition Classes
- StateInterpretation
- def runStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$4$]IndexedStateT[Eval, S, S, β$4$], R, U]): Eff[U, (A, S)]
- Definition Classes
- StateInterpretation
- def runValidatedNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[β$0$]Validate[E, β$0$], R, U]): Eff[U, ValidatedNel[E, A]]
- Definition Classes
- ValidateInterpretation
- def runWriter[R, U, O, A, B](w: Eff[R, A])(implicit m: Aux[[β$0$]WriterT[[A]A, O, β$0$], R, U]): Eff[U, (A, List[O])]
- Definition Classes
- WriterInterpretation
- def runWriterEval[R, U, O, A](w: Eff[R, A])(f: (O) => Eval[Unit])(implicit m: Aux[[β$5$]WriterT[[A]A, O, β$5$], R, U], ev: |=[Eval, U]): Eff[U, A]
- Definition Classes
- WriterInterpretation
- def runWriterFold[R, U, O, A, B](w: Eff[R, A])(fold: RightFold[O, B])(implicit m: Aux[[β$1$]WriterT[[A]A, O, β$1$], R, U]): Eff[U, (A, B)]
- Definition Classes
- WriterInterpretation
- def runWriterIntoMonoid[R, U, O, M, A](w: Eff[R, A])(f: (O) => M)(implicit m: Aux[[β$7$]WriterT[[A]A, O, β$7$], R, U], M: Monoid[M]): Eff[U, (A, M)]
- Definition Classes
- WriterInterpretation
- def runWriterMonoid[R, U, O, A](w: Eff[R, A])(implicit m: Aux[[β$6$]WriterT[[A]A, O, β$6$], R, U], O: Monoid[O]): Eff[U, (A, O)]
- Definition Classes
- WriterInterpretation
- def runWriterUnsafe[R, U, O, A](w: Eff[R, A])(f: (O) => Unit)(implicit m: Aux[[β$3$]WriterT[[A]A, O, β$3$], R, U]): Eff[U, A]
- Definition Classes
- WriterInterpretation
- def safeInterpreter[R, A](last: Option[(Eff[R, Unit], /=[Safe, R])]): Interpreter[Safe, R, A, Out[A]]
- Definition Classes
- SafeInterpretation
- def safeInterpreter[R, A]: Interpreter[Safe, R, A, Out[A]]
- Definition Classes
- SafeInterpretation
- def safeMemo[R, A](key: AnyRef, cache: Cache, e: Eff[R, A])(implicit safe: /=[Safe, R]): Eff[R, A]
- Definition Classes
- SafeInterpretation
- def send[T[_], R, V](tv: T[V])(implicit member: |=[T, R]): Eff[R, V]
- Definition Classes
- EffCreation
- def sequenceA[R, F[_], A](fs: F[Eff[R, A]])(implicit arg0: Traverse[F]): Eff[R, F[A]]
- Definition Classes
- EffCreation
- def singleton[R, A](a: A)(implicit arg0: _list[R]): Eff[R, A]
- Definition Classes
- ListCreation
- def some[R, A](a: A)(implicit arg0: _option[R]): Eff[R, A]
- Definition Classes
- OptionCreation
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def tell[R, O](o: O)(implicit member: |=[[β$0$]WriterT[[A]A, O, β$0$], R]): Eff[R, Unit]
- Definition Classes
- WriterCreation
- def thenFinally[R, A](effect: Eff[R, A], last: Eff[R, Unit])(implicit m: /=[Safe, R]): Eff[R, A]
- Definition Classes
- SafeInterpretation
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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]
- Definition Classes
- EitherInterpretation
- def translateReader[R, U, S, B, A](e: Eff[R, A], getter: (B) => S)(implicit sr: Aux[[β$4$]Kleisli[[A]A, S, β$4$], R, U], br: |=[[β$5$]Kleisli[[A]A, B, β$5$], U]): Eff[U, A]
- Definition Classes
- ReaderInterpretation
- def traverseA[R, F[_], A, B](fs: F[A])(f: (A) => Eff[R, B])(implicit arg0: Traverse[F]): Eff[R, F[B]]
- Definition Classes
- EffCreation
- def unit[R]: Eff[R, Unit]
- Definition Classes
- EffCreation
- def validateCheck[R, E](condition: Boolean, e: => E)(implicit m: |=[[β$10$]Validate[E, β$10$], R]): Eff[R, Unit]
- Definition Classes
- ValidateCreation
- def validateEither[R, E, A](either: Either[E, A])(implicit m: |=[[β$1$]Validate[E, β$1$], R]): Eff[R, Unit]
- Definition Classes
- ValidateCreation
- def validateIor[R, E, A](ior: Ior[E, A])(implicit m: |=[[β$2$]Validate[E, β$2$], R]): Eff[R, Unit]
- Definition Classes
- ValidateCreation
- def validateOption[R, E, A](option: Option[A], e: => E)(implicit m: |=[[β$0$]Validate[E, β$0$], R]): Eff[R, Unit]
- Definition Classes
- ValidateCreation
- def validateValue[R, E, A](condition: Boolean, a: => A, e: => E)(implicit m: |=[[β$11$]Validate[E, β$11$], R]): Eff[R, A]
- Definition Classes
- ValidateCreation
- def values[R, A](as: A*)(implicit arg0: _list[R]): Eff[R, A]
- Definition Classes
- ListCreation
- 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()
- def warning[R, E, A](a: A, e: E)(implicit m: |=[[β$9$]Validate[E, β$9$], R]): Eff[R, A]
- Definition Classes
- ValidateCreation
- def warning[R, E](e: E)(implicit m: |=[[β$7$]Validate[E, β$7$], R]): Eff[R, Unit]
- Definition Classes
- ValidateCreation
- def whenFailed[R, A](action: Eff[R, A], onThrowable: (Throwable) => Eff[R, A])(implicit m: /=[Safe, R]): Eff[R, A]
- Definition Classes
- SafeInterpretation
- def whenStopped[R, A](e: Eff[R, A], action: Last[R]): Eff[R, A]
- Definition Classes
- EffCreation
- def whenThrowable[R, A](action: Eff[R, A], onThrowable: PartialFunction[Throwable, Eff[R, A]])(implicit m: /=[Safe, R]): Eff[R, A]
- Definition Classes
- SafeInterpretation
- def wrong[R, E](e: E)(implicit m: |=[[β$3$]Validate[E, β$3$], R]): Eff[R, Unit]
- Definition Classes
- ValidateCreation
- def zero[R, A](implicit arg0: _choose[R]): Eff[R, A]
- Definition Classes
- ChooseCreation
- 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]
- Definition Classes
- EitherInterpretation
- def zoomReader[R1, R2, U, S, T, A](e: Eff[R1, A])(f: (T) => S)(implicit readerS: Aux[[β$8$]Kleisli[[A]A, S, β$8$], R1, U], readerT: Aux[[β$9$]Kleisli[[A]A, T, β$9$], R2, U]): Eff[R2, A]
- Definition Classes
- ReaderInterpretation