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

turbolift.effects

package turbolift.effects

Members list

Type members

Classlikes

trait Choice extends ChoiceEffect

Attributes

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

Attributes

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

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ChoiceEffect
trait Choice
object Each.type
object Fail.type
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 CanInterpret
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 CanInterpret
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Console.type
trait ConsoleSignature extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
object Console.type
case object Each extends Choice

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Choice
trait ChoiceEffect
trait CanInterpret
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 CanInterpret
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 CanInterpret
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 CanInterpret
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 CanInterpret
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 CanInterpret
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 Fail extends ChoiceEffect

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ChoiceEffect
trait CanInterpret
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Fail.type
sealed trait IO extends NonDet, NonTot

Effect that indicates lack of guarantee of totality or determinism.

Effect that indicates lack of guarantee of totality or determinism.

This is a psedo-effect. It functions as a type-level label only. It cannot be interpreted by the user.

Attributes

Companion
object
Supertypes
trait NonTot
trait NonDet
class Object
trait Matchable
class Any
object IO

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
IO.type
sealed trait NonDet

Effect that indicates lack of guarantee of determinism.

Effect that indicates lack of guarantee of determinism.

Running computation that requests NonDet effect, may produce different results each time.

This is a psedo-effect. It functions as a type-level label only. It cannot be interpreted by the user.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait IO
sealed trait NonTot

Effect that indicates lack of guarantee of totality.

Effect that indicates lack of guarantee of totality.

Running computation that requests NonTot effect, may complete without producing a result.

This is a psedo-effect. It functions as a type-level label only. It cannot be interpreted by the user.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait IO
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 CanInterpret
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Random.type
trait RandomEffect extends Effect[RandomSignature], RandomSignature

Attributes

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

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait RandomEffect
object Random.type
trait Reader[R] extends Effect[ReaderSignature[R]], ReaderSignature[R]

Attributes

Supertypes
trait ReaderSignature[R]
trait CanInterpret
trait Signature
class Object
trait Matchable
class Any
Show all
trait ReaderSignature[R] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait Reader[R]
trait State[S] extends Effect[StateSignature[S]], StateSignature[S]

Attributes

Supertypes
trait StateSignature[S]
trait CanInterpret
trait Signature
class Object
trait Matchable
class Any
Show all
trait StateSignature[S] extends Signature

Attributes

Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
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 CanInterpret
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 CanInterpret
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 CanInterpret
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 CanInterpret
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 CanInterpret
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 Console = Console.type
type Each = Each.type
type Fail = Fail.type
type Random = Random.type
Generated with