Stateful

turbolift.internals.effect.EffectImpl.Stateful
See theStateful companion class
object Stateful

Namespace for convenient versions of Stateful class, specialized by partially applying some or all of its type parameters.

For example: Stateful.FromId.ToId.Free is equivalent of Stateful[[X] =>> X, [X] =>> X, ThisEffect, Any]

This works like type-level "fluent interface", where:

  • FromId and FromConst partially apply F[+_] parameter of Stateful class.
  • ToId and ToConst partially apply G[+_] parameter of Stateful class.
  • Free partially applies Fx parameter of Stateful class.

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Stateful.type

Members list

Type members

Classlikes

abstract class FromConst[C, G[_], Fx] extends Stateful[[_] =>> C, G, Fx], ThisInterpreter

Attributes

Companion
object
Supertypes
class Stateful[[_] =>> C, G, Fx]
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
object FromConst

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
FromConst.type
abstract class FromId[G[_], Fx] extends Stateful[[X] =>> X, G, Fx], ThisInterpreter

Attributes

Companion
object
Supertypes
class Stateful[[X] =>> X, G, Fx]
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
object FromId

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
FromId.type