turbolift-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
turbolift-core/turbolift.std_effects

turbolift.std_effects

package turbolift.std_effects

Members list

Concise view

Type members

Classlikes

trait Choice extends ChoiceEffect

Attributes

Graph
Supertypes
trait ChoiceSig
trait Signature
class Object
trait Matchable
class Any
Known subtypes
object Each.type
sealed trait ChoiceEffect extends Effect[ChoiceSig] with ChoiceSig

Attributes

Graph
Supertypes
trait ChoiceSig
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait Choice
object Each.type
object Fail.type
trait ChoiceSig extends Signature

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait ErrorEffect[E, E]
trait ErrorSig[E, E]
trait Effect[ErrorSig[E, E]]
trait CanPerform[ErrorSig[E, E]]
trait Signature
class Object
trait Matchable
class Any
trait ErrorEffect[E, E1] extends Effect[ErrorSig[E, E1]] with ErrorSig[E, E1]

Attributes

Graph
Supertypes
trait ErrorSig[E, E1]
trait Effect[ErrorSig[E, E1]]
trait CanPerform[ErrorSig[E, E1]]
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait Error[E]
trait ErrorK[F, E]
trait ErrorK[F[_], E] extends ErrorEffect[F[E], E]

Attributes

Graph
Supertypes
trait ErrorEffect[F[E], E]
trait ErrorSig[F[E], E]
trait Effect[ErrorSig[F[E], E]]
trait CanPerform[ErrorSig[F[E], E]]
trait Signature
class Object
trait Matchable
class Any
trait ErrorSig[E, E1] extends Signature

Attributes

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorK[F, E]
case object Fail extends ChoiceEffect

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ChoiceSig
trait Signature
class Object
trait Matchable
class Any
Self type
Fail.type
trait Reader[R] extends Effect[ReaderSig[R]] with ReaderSig[R]

Attributes

Graph
Supertypes
trait ReaderSig[R]
trait Effect[ReaderSig[R]]
trait Signature
class Object
trait Matchable
class Any
trait ReaderSig[R] extends Signature

Attributes

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait Reader[R]
trait State[S] extends Effect[StateSig[S]] with StateSig[S]

Attributes

Graph
Supertypes
trait StateSig[S]
trait Effect[StateSig[S]]
trait Signature
class Object
trait Matchable
class Any
trait StateSig[S] extends Signature

Attributes

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

Attributes

Graph
Supertypes
trait WriterEffect[W, W]
trait WriterSig[W, W]
trait Effect[WriterSig[W, W]]
trait CanPerform[WriterSig[W, W]]
trait Signature
class Object
trait Matchable
class Any
trait WriterEffect[W, W1] extends Effect[WriterSig[W, W1]] with WriterSig[W, W1]

Attributes

Graph
Supertypes
trait WriterSig[W, W1]
trait Effect[WriterSig[W, W1]]
trait CanPerform[WriterSig[W, W1]]
trait Signature
class Object
trait Matchable
class Any
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

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

Attributes

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

Attributes

Graph
Supertypes
trait WriterEffect[F[W], W]
trait WriterSig[F[W], W]
trait Effect[WriterSig[F[W], W]]
trait CanPerform[WriterSig[F[W], W]]
trait Signature
class Object
trait Matchable
class Any
trait WriterSig[W, W1] extends Signature

Attributes

Graph
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 Each = Each.type
type Fail = Fail.type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL