Cont
turbolift.effects.Cont
trait Cont[R] extends Effect[ContSignature[R]], ContSignature[R]
Attributes
- Graph
-
- Supertypes
- Self type
-
Cont[R]
Members list
Type members
Value members
Concrete methods
Attributes
- Definition Classes
final override def shift[A, U <: Cont[R]](f: (A => Computation[R, U]) => Computation[R, U]): Computation[A, U]
Attributes
- Definition Classes
Inherited methods
API for defining custom handlers.
API for defining custom handlers.
Combines with another Effect instance, for the purpose of sharing an Interpreter.
Example of application: implement RWS-alike handler for Reader &! Writer &! State composition of effects.
Attributes
- Inherited from:
- Effect
final inline def perform[A, U <: ThisEffect](inline f: (ThisSignature[U]) => Computation[A, U]): Computation[A, U]
API for defining custom effects.
API for defining custom effects.
Embeds an invocation of this Signature's method into the Computation monad. This provides mechanism for separation between syntax an semantics of effects.
Attributes
- Inherited from:
- Effect
final def performNoInline[A, U <: ThisEffect](f: (ThisSignature[U]) => Computation[A, U]): Computation[A, U]
API for defining custom effects.
Inherited fields
API for defining custom handlers.
API for defining custom handlers.
Helper object providing type definitions to be used for implementing Interpreters for this effect.
Attributes
- Inherited from:
- Effect
Exports
Inherited defined exports
In this article