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
- All
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( ... ) @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: Any): 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: |=[[β$6$]Either[E, β$6$], 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[_]
- 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: |=[[β$2$]Either[E, β$2$], 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: |=[[β$4$]Either[E, β$4$], 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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