Stateless

turbolift.internals.effect.EffectImpl.Stateless
See theStateless companion class
object Stateless

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

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

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

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

Attributes

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

Members list

Type members

Classlikes

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

Attributes

Companion
object
Supertypes
class Stateless[[_] =>> 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 Stateless[[X] =>> X, G, Fx], ThisInterpreter

Attributes

Companion
object
Supertypes
class Stateless[[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