turbolift-core/turbolift/Effect

Effect

trait Effect[Z <: Signature] extends CanPerform[Z] with CanInterpret
Companion:
object
trait CanInterpret
trait HasSignature
trait CanPerform[Z]
trait Signature
class Object
trait Matchable
class Any
trait AcyclicMemoizer[K, V]
trait AutoInc
trait CyclicMemoizer[K, V]
trait MonoGraph[K, V]
trait PolyGraph[K, V]
trait Choice
object Each.type
object Fail.type
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorG[M, K, V]
trait ErrorGK[M, K, F, V]
trait ErrorK[F, E]
trait Reader[R]
trait State[S]
trait WriterEffect[W, W1]
trait Writer[W]
trait WriterG[M, K, V]
trait WriterGK[M, K, F, V]
trait WriterK[F, W]

Type members

Inherited classlikes

abstract class Proxy[Fx] extends ProxyWithParam[Fx] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter
Inherited from:
CanInterpret
object ThisHandler
Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret

Types

final override type ThisEffect = Effect
final override type ThisSignature = Z

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]
Inherited from:
CanInterpret

Value members

Concrete methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[Effect[Z], Fx2]
final override def signatures: Array[Signature]
Definition Classes
CanInterpret

Inherited methods

final def perform[A, U <: ThisEffect](f: Z & Apply[U] => A !@! U { def apply(z: Z & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform