turbolift-core
API
Generated with
turbolift-core/turbolift/turbolift.internals/turbolift.internals.effect/CanInterpret/Stateless

Stateless

turbolift.internals.effect.CanInterpret.Stateless
abstract class Stateless[F[_]] extends Stateless[[X] =>> X, F], ThisInterpreter

Base class for any user-defined stateless interpreter for this effect.

Like Stateless Interpreter, but specialized for this effect.

Attributes

Graph
Supertypes
class Stateless[[X] =>> X, F]
class Flow
class FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
ThisSignature

Members list

Type members

Inherited types

final override type !@![A, U] = ThisControl[A, U] => Computation[G[Unknown], Any]

Abstract type that must be used in definitions of effect's operations.

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of Computation (i.e. same as !!), once the signature is inherited from Effect.

Attributes

Inherited from:
Stateless
final override type Dependency = Any

Attributes

Inherited from:
Flow
final override type From[+A] = F[A]

Attributes

Inherited from:
Stateless
final override type Stan = Void

State of this interpreter. Named Stan, to avoid confusion with State effect.

State of this interpreter. Named Stan, to avoid confusion with State effect.

Attributes

Inherited from:
Stateless
type ThisControl[-A, U] = Flow[A, Unknown, Stan, To, U, Any]

Alias for Control, specialized for this interpreter.

Alias for Control, specialized for this interpreter.

Attributes

Inherited from:
Flow
final override type ThisEffect = ThisEffect

Abstract type that must be used in definitions of effect's operations.

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of this.type, once the signature is inherited from Effect.

Attributes

Inherited from:
ThisInterpreter
final type ThisHandler = Handler[From, To, ThisEffect, Dependency]

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Attributes

Inherited from:
Interpreter
final override type To[+A] = G[A]

Attributes

Inherited from:
Stateless
type Unknown

Free variable, meaning the unknown part of the continuation's answer type.

Free variable, meaning the unknown part of the continuation's answer type.

The full answer type is To[Unknown].

Attributes

Inherited from:
Flow

Value members

Inherited methods

def onFork(s: Stan): (Stan, Stan)

Attributes

Inherited from:
FlowFeatures
def onJoin(s1: Stan, s2: Stan): Stan

Attributes

Inherited from:
FlowFeatures
def onPure[A](aa: A): G[A]

Attributes

Inherited from:
Stateless
final override def onPure[A](aa: A, s: Void): G[A]

Attributes

Definition Classes
Inherited from:
Stateless
def onUnpure[A](aa: F[A]): Computation[A, ThisEffect]

Attributes

Inherited from:
FlowFeatures
def onZip[A, B, C](aa: F[A], bb: F[B], k: (A, B) => C): To[C]

Attributes

Inherited from:
FlowFeatures
final def toHandler: ThisHandler

Creates a Handler from this interpreter.

Creates a Handler from this interpreter.

Attributes

Inherited from:
Stateless
Generated with