turbolift.effects
package turbolift.effects
Members list
Type members
Classlikes
trait Choice extends Effect[ChoiceSignature], ChoiceSignature
Attributes
- Companion
- object
- Supertypes
-
trait ChoiceSignaturetrait Effect[ChoiceSignature]trait CanPerform[ChoiceSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object Each.type
object Choice
trait ChoiceSignature extends Signature
case object Console extends ConsoleEffect
Predefined instance of this effect.
Predefined instance of this effect.
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait ConsoleEffecttrait AnsiColortrait ConsoleSignaturetrait Effect[ConsoleSignature]trait CanPerform[ConsoleSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Self type
-
Console.type
trait ConsoleEffect extends Effect[ConsoleSignature], ConsoleSignature, AnsiColor
Attributes
- Companion
- object
- Supertypes
-
trait AnsiColortrait ConsoleSignaturetrait Effect[ConsoleSignature]trait CanPerform[ConsoleSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object Console.type
object ConsoleEffect
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ConsoleEffect.type
trait ConsoleSignature extends Signature
Attributes
- Supertypes
- Known subtypes
-
trait ConsoleEffectobject Console.type
Predefined instance of Choice effect.
Predefined instance of Choice effect.
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Choicetrait ChoiceSignaturetrait Effect[ChoiceSignature]trait CanPerform[ChoiceSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Self type
-
Each.type
trait Error[E] extends ErrorEffect[E, E]
Attributes
- Supertypes
trait ErrorEffect[E, E1] extends Effect[ErrorSignature[E, E1]], ErrorSignature[E, E1]
Attributes
object ErrorEffect
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ErrorEffect.type
trait ErrorG[M[_, _], K, V] extends ErrorEffect[M[K, V], (K, V)]
Attributes
- Supertypes
trait ErrorGK[M[_, _], K, F[_], V] extends ErrorEffect[M[K, F[V]], (K, V)]
Attributes
- Supertypes
trait ErrorK[F[_], E] extends ErrorEffect[F[E], E]
Attributes
- Supertypes
trait ErrorSignature[E, E1] extends Signature
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
case object Random extends RandomEffect
Predefined instance of this effect.
Predefined instance of this effect.
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait RandomEffecttrait RandomSignaturetrait Effect[RandomSignature]trait CanPerform[RandomSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Self type
-
Random.type
trait RandomEffect extends Effect[RandomSignature], RandomSignature
Attributes
- Companion
- object
- Supertypes
-
trait RandomSignaturetrait Effect[RandomSignature]trait CanPerform[RandomSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object Random.type
object RandomEffect
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
RandomEffect.type
trait RandomSignature extends Signature
Attributes
- Supertypes
- Known subtypes
-
trait RandomEffectobject Random.type
trait Reader[R] extends Effect[ReaderSignature[R]], ReaderSignature[R]
Attributes
- Companion
- object
- Supertypes
object Reader
trait ReaderSignature[R] extends Signature
trait State[S] extends Effect[StateSignature[S]], StateSignature[S]
Attributes
- Companion
- object
- Supertypes
object State
trait StateSignature[S] extends Signature
trait Writer[W] extends WriterEffect[W, W]
Attributes
- Supertypes
trait WriterEffect[W, W1] extends Effect[WriterSignature[W, W1]], WriterSignature[W, W1]
Attributes
object WriterEffect
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
WriterEffect.type
trait WriterG[M[_, _], K, V] extends WriterEffect[M[K, V], (K, V)]
Attributes
- Supertypes
trait WriterGK[M[_, _], K, F[_], V] extends WriterEffect[M[K, F[V]], (K, V)]
Attributes
- Supertypes
trait WriterK[F[_], W] extends WriterEffect[F[W], W]
Attributes
- Supertypes
trait WriterSignature[W, W1] extends Signature
In this article