object all extends ConsoleEffect with WarningsEffect with ReaderEffect with WriterEffect with StateEffect with EvalEffect with OptionEffect with ListEffect with DisjunctionEffect with EffInterpretation with EffCreation with EffImplicits with Effects
- Alphabetic
- By Inheritance
- all
- Effects
- EffImplicits
- EffCreation
- EffInterpretation
- DisjunctionEffect
- DisjunctionInterpretation
- DisjunctionCreation
- ListEffect
- ListInterpretation
- ListCreation
- OptionEffect
- OptionInterpretation
- OptionCreation
- EvalEffect
- EvalInterpretation
- EvalCreation
- EvalTypes
- StateEffect
- StateImplicits
- StateImplicits1
- StateInterpretation
- StateCreation
- WriterEffect
- WriterInterpretation
- WriterCreation
- ReaderEffect
- ReaderImplicits
- ReaderImplicits1
- ReaderInterpretation
- ReaderCreation
- WarningsEffect
- ConsoleEffect
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
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
-
implicit
def
EffMonad[R]: Monad[[X]Eff[R, X]]
Monad implementation for the Eff[R, ?] type
Monad implementation for the Eff[R, ?] type
- Definition Classes
- EffImplicits
-
implicit
def
ListFold[A]: Fold[A, List[A]]
- Definition Classes
- WriterInterpretation
-
def
MonoidFold[A](implicit arg0: Monoid[A]): Fold[A, A]
- Definition Classes
- WriterInterpretation
-
implicit
def
TaggedReaderMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]
- Definition Classes
- ReaderImplicits
-
implicit
def
TaggedReaderMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[O, R], Effects.|:[O, U]]
- Definition Classes
- ReaderImplicits1
-
implicit
def
TaggedReaderMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]
- Definition Classes
- ReaderImplicits
-
implicit
def
TaggedStateMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]
- Definition Classes
- StateImplicits
-
implicit
def
TaggedStateMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[O, R], Effects.|:[O, U]]
- Definition Classes
- StateImplicits1
-
implicit
def
TaggedStateMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]
- Definition Classes
- StateImplicits
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
ask[R, T](implicit member: Member[[X]Kleisli[[X]X, T, X], R]): Eff[R, T]
get the environment
get the environment
- Definition Classes
- ReaderCreation
-
def
askTagged[R, Tg, T](implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, T]
get the environment
get the environment
- Definition Classes
- ReaderCreation
-
def
attemptEval[R <: Effects, U <: Effects, A](r: Eff[R, A])(implicit m: Aux[Eval, R, U]): Eff[U, \/[Throwable, A]]
- Definition Classes
- EvalInterpretation
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
collapse[R, M[_], A](r: Eff[R, M[A]])(implicit m: Member[M, R]): Eff[R, A]
use the internal effect as one of the stack effects
use the internal effect as one of the stack effects
- Definition Classes
- EffCreation
-
def
delay[R, A](a: ⇒ A)(implicit m: Member[Eval, R]): Eff[R, A]
- Definition Classes
- EvalCreation
-
def
detach[M[_], A](eff: Eff[Effects.|:[M, NoEffect], A])(implicit arg0: Monad[M]): M[A]
peel-off the only present effect
peel-off the only present effect
- Definition Classes
- EffInterpretation
-
def
effInto[R <: Effects, U, A](e: Eff[R, A])(implicit f: IntoPoly[R, U, A]): Eff[U, A]
An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U
An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U
- Definition Classes
- EffInterpretation
-
def
empty[R, A](implicit m: <=[List, R]): Eff[R, A]
create a list effect with no values
create a list effect with no values
- Definition Classes
- ListCreation
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
evalState[R <: Effects, U <: Effects, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]IndexedStateT[[X]X, S, S, X], R, U]): Eff[U, A]
run a state effect, with an initial value, return only the value
run a state effect, with an initial value, return only the value
- Definition Classes
- StateInterpretation
-
def
evalStateTagged[R <: Effects, U <: Effects, T, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, A]
run a state effect, with an initial value, return only the value
run a state effect, with an initial value, return only the value
- Definition Classes
- StateInterpretation
-
def
evalStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]IndexedStateT[[X]X, S, S, X], R, U]): Eff[U, A]
run a state effect, with a Monoidal state
run a state effect, with a Monoidal state
- Definition Classes
- StateInterpretation
-
def
evalStateZeroTagged[R <: Effects, U <: Effects, T, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, A]
run a state effect, with a Monoidal state
run a state effect, with a Monoidal state
- Definition Classes
- StateInterpretation
-
def
execState[R <: Effects, U <: Effects, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]IndexedStateT[[X]X, S, S, X], R, U]): Eff[U, S]
run a state effect, with an initial value, return only the state
run a state effect, with an initial value, return only the state
- Definition Classes
- StateInterpretation
-
def
execStateTagged[R <: Effects, U <: Effects, T, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, S]
run a state effect, with an initial value, return only the state
run a state effect, with an initial value, return only the state
- Definition Classes
- StateInterpretation
-
def
execStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]IndexedStateT[[X]X, S, S, X], R, U]): Eff[U, S]
run a state effect, with a monoidal state, return only the state
run a state effect, with a monoidal state, return only the state
- Definition Classes
- StateInterpretation
-
def
execStateZeroTagged[R <: Effects, U <: Effects, T, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, S]
run a state effect, with a monoidal state, return only the state
run a state effect, with a monoidal state, return only the state
- Definition Classes
- StateInterpretation
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromDisjunction[R, E, A](disjunction: \/[E, A])(implicit member: Member[[X]\/[E, X], R]): Eff[R, A]
create an disjunction effect from a single Disjunction value
create an disjunction effect from a single Disjunction value
- Definition Classes
- DisjunctionCreation
-
def
fromList[R, A](as: List[A])(implicit m: <=[List, R]): Eff[R, A]
create a list effect from a list of values
create a list effect from a list of values
- Definition Classes
- ListCreation
-
def
fromOption[R, A](o: Option[A])(implicit member: Member[Option, R]): Eff[R, A]
create an Option effect from a single Option value
create an Option effect from a single Option value
- Definition Classes
- OptionCreation
-
def
get[R, S](implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, S]
get the current state value
get the current state value
- Definition Classes
- StateCreation
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
getTagged[R, T, S](implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, S]
get the current state value
get the current state value
- Definition Classes
- StateCreation
-
def
gets[R, S, T](f: (S) ⇒ T)(implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, T]
get the current state value and map it with a function f
get the current state value and map it with a function f
- Definition Classes
- StateCreation
-
def
getsTagged[R, U, S, T](f: (S) ⇒ T)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, T]
get the current state value and map it with a function f
get the current state value and map it with a function f
- Definition Classes
- StateCreation
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
def
impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A]): Eff[R, A]
create a impure value from an union of effects and a continuation
create a impure value from an union of effects and a continuation
- Definition Classes
- EffCreation
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
left[R, E, A](e: E)(implicit member: Member[[X]\/[E, X], R]): Eff[R, A]
create a failed value
create a failed value
- Definition Classes
- DisjunctionCreation
-
def
lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[X]IndexedStateT[[X]X, T, T, X], TS, U], ss: Aux[[X]IndexedStateT[[X]X, S, S, X], SS, U]): Eff[SS, A]
Lift a computation over a "small" state (for a subsystem) into a computation over a "bigger" state (for the full application state)
Lift a computation over a "small" state (for a subsystem) into a computation over a "bigger" state (for the full application state)
- Definition Classes
- StateInterpretation
-
def
local[R, T, U](f: (T) ⇒ U)(implicit member: Member[[X]Kleisli[[X]X, T, X], R]): Eff[R, U]
modify the environment
modify the environment
- Definition Classes
- ReaderCreation
-
def
localReader[SR, BR, U, S, B, A](r: Eff[SR, A], getter: (B) ⇒ S)(implicit sr: Aux[[X]Kleisli[[X]X, S, X], SR, U], br: Aux[[X]Kleisli[[X]X, B, X], BR, U]): Eff[BR, A]
Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)
Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)
- Definition Classes
- ReaderInterpretation
-
def
localTagged[R, Tg, T, U](f: (T) ⇒ U)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, U]
modify the environment
modify the environment
- Definition Classes
- ReaderCreation
-
def
log[R](message: String, doIt: Boolean = true)(implicit m: Member[Console, R]): Eff[R, Unit]
- Definition Classes
- ConsoleEffect
-
def
logThrowable[R](t: Throwable)(implicit m: Member[Console, R]): Eff[R, Unit]
- Definition Classes
- ConsoleEffect
-
def
logThrowable[R](t: Throwable, doIt: Boolean = true)(implicit m: Member[Console, R]): Eff[R, Unit]
- Definition Classes
- ConsoleEffect
-
def
modify[R, S](f: (S) ⇒ S)(implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, Unit]
modify the current state value
modify the current state value
- Definition Classes
- StateCreation
-
def
modifyTagged[R, T, S](f: (S) ⇒ S)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]
modify the current state value
modify the current state value
- Definition Classes
- StateCreation
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
none[R, A](implicit member: Member[Option, R]): Eff[R, A]
no value returned
no value returned
- Definition Classes
- OptionCreation
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
now[R, A](a: A)(implicit m: Member[Eval, R]): Eff[R, A]
- Definition Classes
- EvalCreation
-
def
optionDisjunction[R, E, A](option: Option[A], e: E)(implicit member: Member[[X]\/[E, X], R]): Eff[R, A]
create an disjunction effect from a single Option value
create an disjunction effect from a single Option value
- Definition Classes
- DisjunctionCreation
-
def
pure[R, A](a: A): Eff[R, A]
create a pure value
create a pure value
- Definition Classes
- EffCreation
-
def
put[R, S](s: S)(implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, Unit]
store a new state value
store a new state value
- Definition Classes
- StateCreation
-
def
putTagged[R, T, S](s: S)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]
store a new state value
store a new state value
- Definition Classes
- StateCreation
-
def
right[R, E, A](a: A)(implicit member: Member[[X]\/[E, X], R]): Eff[R, A]
create a correct value
create a correct value
- Definition Classes
- DisjunctionCreation
-
def
run[A](eff: Eff[NoEffect, A]): A
base runner for an Eff value having no effects at all
base runner for an Eff value having no effects at all
This runner can only return the value in Pure because it doesn't known how to interpret the effects in Impure
- Definition Classes
- EffInterpretation
-
def
runConsole[R <: Effects, U <: Effects, A](w: Eff[R, A])(implicit m: Aux[Console, R, U]): Eff[U, A]
This interpreter prints messages to the console
This interpreter prints messages to the console
- Definition Classes
- ConsoleEffect
-
def
runConsoleToPrinter[R <: Effects, U <: Effects, A](printer: (String) ⇒ Unit)(w: Eff[R, A])(implicit m: Aux[Console, R, U]): Eff[U, A]
This interpreter prints messages to a printing function
This interpreter prints messages to a printing function
- Definition Classes
- ConsoleEffect
-
def
runDisjunction[R <: Effects, U <: Effects, E, A](r: Eff[R, A])(implicit member: Aux[[X]\/[E, X], R, U]): Eff[U, \/[E, A]]
run the disjunction effect, yielding E \/ A
run the disjunction effect, yielding E \/ A
- Definition Classes
- DisjunctionInterpretation
-
def
runDisjunctionEither[R <: Effects, U <: Effects, E, A](r: Eff[R, A])(implicit member: Aux[[X]\/[E, X], R, U]): Eff[U, Either[E, A]]
run the disjunction effect, yielding Either[E, A]
run the disjunction effect, yielding Either[E, A]
- Definition Classes
- DisjunctionInterpretation
-
def
runEval[R <: Effects, U <: Effects, A](r: Eff[R, A])(implicit m: Aux[Eval, R, U]): Eff[U, A]
- Definition Classes
- EvalInterpretation
-
def
runList[R <: Effects, U <: Effects, A](effects: Eff[R, A])(implicit m: Aux[List, R, U]): Eff[U, List[A]]
run an effect stack starting with a list effect
run an effect stack starting with a list effect
- Definition Classes
- ListInterpretation
-
def
runOption[R <: Effects, U <: Effects, A](r: Eff[R, A])(implicit m: Aux[Option, R, U]): Eff[U, Option[A]]
Interpret the Option effect
Interpret the Option effect
Stop all computations if None is present once
- Definition Classes
- OptionInterpretation
-
def
runReader[R <: Effects, U <: Effects, A, B](env: A)(r: Eff[R, B])(implicit m: Aux[[X]Kleisli[[X]X, A, X], R, U]): Eff[U, B]
interpret the Reader effect by providing an environment when required
interpret the Reader effect by providing an environment when required
- Definition Classes
- ReaderInterpretation
-
def
runReaderTagged[R <: Effects, U <: Effects, T, A, B](env: A)(r: Eff[R, B])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, B]
interpret a tagged Reader effect by providing an environment when required
interpret a tagged Reader effect by providing an environment when required
- Definition Classes
- ReaderInterpretation
-
def
runState[R <: Effects, U <: Effects, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[X]IndexedStateT[[X]X, S1, S1, X], R, U]): Eff[U, (A, S1)]
run a state effect, with an initial value
run a state effect, with an initial value
- Definition Classes
- StateInterpretation
-
def
runStateTagged[R <: Effects, U <: Effects, T, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, S1)]
run a tagged state effect, with an initial value
run a tagged state effect, with an initial value
- Definition Classes
- StateInterpretation
-
def
runStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]IndexedStateT[[X]X, S, S, X], R, U]): Eff[U, (A, S)]
run a state effect, with an initial value
run a state effect, with an initial value
- Definition Classes
- StateInterpretation
-
def
runStateZeroTagged[R <: Effects, U <: Effects, T, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, S)]
run a state effect, with an initial value
run a state effect, with an initial value
- Definition Classes
- StateInterpretation
-
def
runTaggedWriterFold[R <: Effects, U <: Effects, T, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, B)]
- Definition Classes
- WriterInterpretation
-
def
runWarnings[R <: Effects, U <: Effects, A](w: Eff[R, A])(implicit m: Aux[Warnings, R, U]): Eff[U, (A, List[String])]
This interpreter cumulates warnings
This interpreter cumulates warnings
- Definition Classes
- WarningsEffect
-
def
runWriter[R <: Effects, U <: Effects, O, A, B](w: Eff[R, A])(implicit m: Aux[[X]WriterT[[X]X, O, X], R, U]): Eff[U, (A, List[O])]
run a writer effect and return the list of written values
run a writer effect and return the list of written values
This uses a ListBuffer internally to append values
- Definition Classes
- WriterInterpretation
-
def
runWriterFold[R <: Effects, U <: Effects, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[X]WriterT[[X]X, O, X], R, U]): Eff[U, (A, B)]
More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer
More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer
- Definition Classes
- WriterInterpretation
-
def
runWriterTagged[R <: Effects, U <: Effects, T, O, A](w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, List[O])]
run a tagged writer effect
run a tagged writer effect
- Definition Classes
- WriterInterpretation
-
def
send[T[_], R, V](tv: T[V])(implicit member: Member[T, R]): Eff[R, V]
create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R
create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R
- Definition Classes
- EffCreation
-
def
singleton[R, A](a: A)(implicit m: <=[List, R]): Eff[R, A]
create a list effect from a single value
create a list effect from a single value
- Definition Classes
- ListCreation
-
def
some[R, A](a: A)(implicit member: Member[Option, R]): Eff[R, A]
a value is returned
a value is returned
- Definition Classes
- OptionCreation
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tell[R, O](o: O)(implicit member: Member[[X]WriterT[[X]X, O, X], R]): Eff[R, Unit]
write a given value
write a given value
- Definition Classes
- WriterCreation
-
def
tellTagged[R, T, O](o: O)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]
write a given value
write a given value
- Definition Classes
- WriterCreation
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
unit[R]: Eff[R, Unit]
create an Eff value for ()
create an Eff value for ()
- Definition Classes
- EffCreation
-
def
values[R, A](as: A*)(implicit m: <=[List, R]): Eff[R, A]
create a list effect from a list of values
create a list effect from a list of values
- 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( ... )
-
def
warn[R](message: String)(implicit m: Member[Warnings, R]): Eff[R, Unit]
warn the user about something that is probably wrong on his side, this is not a specs2 bug
warn the user about something that is probably wrong on his side, this is not a specs2 bug
- Definition Classes
- WarningsEffect
-
val
|:: EffectsCons.type
- Definition Classes
- Effects