Stateful

abstract class Stateful[S, F[_]] extends Flow

Super class for any user-defined stateful Interpreter.

Works by translating operations of this effect, into a monad, defined by transformer: T[M, A] = S => M[F[A]].

Implementation must provide:

Definitions for pure, flatMap and zip for the transformed monad, given MonadZip instance for the inner monad.
Functor instance for F[_]

Type parameters:

trait Flow

class Object

trait Matchable

class Any

class Stateful[S, F]

Type members

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

From the perspective of effect's user, ThisEffect is just an alias of this.type. The final-override happens in Effect.

From the perspective of handler, ThisEffect definition is enriched in a way depending on the chosen Interpreter.

Alias for Handler, specialized for this interperter.

Creates a Handler from this interpreter.