turbolift-core
API
Generated with
turbolift-core/turbolift/turbolift.effects

turbolift.effects

package turbolift.effects

Members list

Type members

Classlikes

case object Broken extends Maybe

Predefined instance of this effect, used by io.EffectfulVar.

Predefined instance of this effect, used by io.EffectfulVar.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Maybe
trait MaybeEffect
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Broken.type
trait Choice extends ChoiceEffect

Attributes

Supertypes
trait ChoiceEffect
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Each
trait ChoiceEffect extends Effect[ChoiceSignature], ChoiceSignature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Choice
object Each
trait ChoiceSignature extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ChoiceEffect
trait Choice
object Each
case object Console extends ConsoleEffect

Predefined instance of this effect.

Predefined instance of this effect.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait AnsiColor
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Console.type
trait ConsoleEffect extends Effect[ConsoleSignature], ConsoleSignature, AnsiColor

Attributes

Supertypes
trait AnsiColor
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Console
trait ConsoleSignature extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
object Console
trait Cont[R] extends Effect[ContSignature[R]], ContSignature[R]

Attributes

Supertypes
trait ContSignature[R]
trait Effect[ContSignature[R]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait ContSignature[R] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait Cont[R]
trait CoroutineEffect[I, O, R] extends Effect[CoroutineSignature[I, O, R]], CoroutineSignature[I, O, R]

Attributes

Companion
object
Supertypes
trait CoroutineSignature[I, O, R]
trait Effect[CoroutineSignature[I, O, R]]
trait CanPerform[CoroutineSignature[I, O, R]]
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
CoroutineEffect[I, O, R]
object CoroutineEffect

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CoroutineSignature[I, O, R] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait CoroutineEffect[I, O, R]
case object Each extends Choice

Predefined instance of Choice effect.

Predefined instance of Choice effect.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Choice
trait ChoiceEffect
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Each.type
trait Error[E] extends ErrorEffect[E, E]

Attributes

Supertypes
trait ErrorEffect[E, E]
trait ErrorSignature[E, E]
trait Effect[ErrorSignature[E, E]]
trait CanPerform[ErrorSignature[E, E]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait ErrorEffect[E, E1] extends Effect[ErrorSignature[E, E1]], ErrorSignature[E, E1]

Attributes

Supertypes
trait ErrorSignature[E, E1]
trait Effect[ErrorSignature[E, E1]]
trait CanPerform[ErrorSignature[E, E1]]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Error[E]
trait ErrorG[M, K, V]
trait ErrorGK[M, K, F, V]
trait ErrorK[F, E]
trait ErrorG[M[_, _], K, V] extends ErrorEffect[M[K, V], (K, V)]

Attributes

Supertypes
trait ErrorEffect[M[K, V], (K, V)]
trait ErrorSignature[M[K, V], (K, V)]
trait Effect[ErrorSignature[M[K, V], (K, V)]]
trait CanPerform[ErrorSignature[M[K, V], (K, V)]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait ErrorGK[M[_, _], K, F[_], V] extends ErrorEffect[M[K, F[V]], (K, V)]

Attributes

Supertypes
trait ErrorEffect[M[K, F[V]], (K, V)]
trait ErrorSignature[M[K, F[V]], (K, V)]
trait Effect[ErrorSignature[M[K, F[V]], (K, V)]]
trait CanPerform[ErrorSignature[M[K, F[V]], (K, V)]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait ErrorK[F[_], E] extends ErrorEffect[F[E], E]

Attributes

Supertypes
trait ErrorEffect[F[E], E]
trait ErrorSignature[F[E], E]
trait Effect[ErrorSignature[F[E], E]]
trait CanPerform[ErrorSignature[F[E], E]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait ErrorSignature[E, E1] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorG[M, K, V]
trait ErrorGK[M, K, F, V]
trait ErrorK[F, E]
case object Finalizer extends FinalizerEffectIO[IO]

Predefined instance of this effect.

Predefined instance of this effect.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Finalizer.type
trait FinalizerEffect[U] extends Effect[FinalizerSignature[U]], FinalizerSignature[U]

Attributes

Companion
object
Supertypes
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Finalizer
object FinalizerEffect

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait FinalizerEffectIO[U <: IO] extends FinalizerEffect[U]

Attributes

Supertypes
trait FinalizerEffect[U]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Finalizer
trait FinalizerSignature[U] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait FinalizerEffect[U]
object Finalizer
sealed trait IO extends Signature

Attributes

Companion
object
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
object IO
case object IO extends IO

The sole instance of IO effect.

The sole instance of IO effect.

Unlike other effects, it cannot be interpreted/handled by the user. Once introduced into computation, it stays there forever. That is, until unsafeRun.

Attributes

Companion
trait
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait IO
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
IO.type
trait LazyMemoizer[K, V] extends LazyMemoizerEffect[K, V]

Attributes

Supertypes
trait LazyMemoizerEffect[K, V]
trait LazyMemoizerSignature[K, V]
trait Signature
class Object
trait Matchable
class Any
Show all
trait LazyMemoizerEffect[K, V] extends Effect[LazyMemoizerSignature[K, V]], LazyMemoizerSignature[K, V]

Attributes

Supertypes
trait LazyMemoizerSignature[K, V]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait LazyMemoizer[K, V]
Self type
trait LazyMemoizerSignature[K, V] extends Signature

Memoizes a recursive, effectful, lazy function.

Memoizes a recursive, effectful, lazy function.

Like the Memoizer effect, but this version can be used to build or transform cyclic data structures.

The price to pay is that that memo returns a thunk. The constructor of the cyclic data structure should store obtained thunks, rather than attempt to call them.

Calling obtained thunks BEFORE this effect is handled, may raise TieTheKnot exception and should be considered a defect.

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait LazyMemoizerEffect[K, V]
trait LazyMemoizer[K, V]
trait Maybe extends MaybeEffect

Attributes

Companion
object
Supertypes
trait MaybeEffect
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Broken
object Maybe
case object Maybe extends Maybe

Predefined instance of this effect.

Predefined instance of this effect.

Attributes

Companion
trait
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Maybe
trait MaybeEffect
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Maybe.type
trait MaybeEffect extends Effect[MaybeSignature], MaybeSignature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Maybe
object Broken
object Maybe
trait MaybeSignature extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait MaybeEffect
trait Maybe
object Broken
object Maybe
trait Memoizer[K, V] extends MemoizerEffect[K, V]

Attributes

Supertypes
trait MemoizerEffect[K, V]
trait MemoizerSignature[K, V]
trait Effect[MemoizerSignature[K, V]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait MemoizerEffect[K, V] extends Effect[MemoizerSignature[K, V]], MemoizerSignature[K, V]

Attributes

Supertypes
trait MemoizerSignature[K, V]
trait Effect[MemoizerSignature[K, V]]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Memoizer[K, V]
Self type
trait MemoizerSignature[K, V] extends Signature

Memoizes a recursive, effectful function.

Memoizes a recursive, effectful function.

Use the memo operation in places, where you'd normally want to invoke the function. Provide the actual function as a parameter to handler.

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait MemoizerEffect[K, V]
trait Memoizer[K, V]
case object Random extends RandomEffect

Predefined instance of this effect.

Predefined instance of this effect.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait RandomEffect
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Random.type
trait RandomEffect extends Effect[RandomSignature], RandomSignature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Random
trait RandomSignature extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait RandomEffect
object Random
trait Reader[R] extends ReaderEffect[R]

Attributes

Supertypes
trait ReaderEffect[R]
trait ReaderSignature[R]
trait Signature
class Object
trait Matchable
class Any
Show all
trait ReaderEffect[R] extends Effect[ReaderSignature[R]], ReaderSignature[R]

Attributes

Supertypes
trait ReaderSignature[R]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Reader[R]
trait ReaderSignature[R] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ReaderEffect[R]
trait Reader[R]
trait State[S] extends StateEffect[S]

Attributes

Supertypes
trait StateEffect[S]
trait StateSignature[S]
trait Signature
class Object
trait Matchable
class Any
Show all
trait StateEffect[S] extends Effect[StateSignature[S]], StateSignature[S]

Attributes

Supertypes
trait StateSignature[S]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait State[S]
trait StateSignature[S] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait StateEffect[S]
trait State[S]
trait Writer[W] extends WriterEffect[W, W]

Attributes

Supertypes
trait WriterEffect[W, W]
trait WriterSignature[W, W]
trait Effect[WriterSignature[W, W]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait WriterEffect[W, W1] extends Effect[WriterSignature[W, W1]], WriterSignature[W, W1]

Attributes

Supertypes
trait WriterSignature[W, W1]
trait Effect[WriterSignature[W, W1]]
trait CanPerform[WriterSignature[W, W1]]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Writer[W]
trait WriterG[M, K, V]
trait WriterGK[M, K, F, V]
trait WriterK[F, W]
trait WriterG[M[_, _], K, V] extends WriterEffect[M[K, V], (K, V)]

Attributes

Supertypes
trait WriterEffect[M[K, V], (K, V)]
trait WriterSignature[M[K, V], (K, V)]
trait Effect[WriterSignature[M[K, V], (K, V)]]
trait CanPerform[WriterSignature[M[K, V], (K, V)]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait WriterGK[M[_, _], K, F[_], V] extends WriterEffect[M[K, F[V]], (K, V)]

Attributes

Supertypes
trait WriterEffect[M[K, F[V]], (K, V)]
trait WriterSignature[M[K, F[V]], (K, V)]
trait Effect[WriterSignature[M[K, F[V]], (K, V)]]
trait CanPerform[WriterSignature[M[K, F[V]], (K, V)]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait WriterK[F[_], W] extends WriterEffect[F[W], W]

Attributes

Supertypes
trait WriterEffect[F[W], W]
trait WriterSignature[F[W], W]
trait Effect[WriterSignature[F[W], W]]
trait CanPerform[WriterSignature[F[W], W]]
trait Signature
class Object
trait Matchable
class Any
Show all
trait WriterSignature[W, W1] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait WriterEffect[W, W1]
trait Writer[W]
trait WriterG[M, K, V]
trait WriterGK[M, K, F, V]
trait WriterK[F, W]

Types

type Broken = Broken.type
type Console = Console.type
type Each = Each.type
type Finalizer = Finalizer.type
type Random = Random.type
Generated with