turbolift-core
API
Generated with
turbolift-core/turbolift/turbolift.internals/turbolift.internals.effect/EffectImpl

EffectImpl

turbolift.internals.effect.EffectImpl
final class EffectImpl[Fx](sigs: Array[Signature])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

abstract class Proxy[Fx] extends Proxy[Fx], ThisInterpreter

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

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

Like Proxy Interpreter, but specialized for this effect.

Attributes

Supertypes
class Proxy[Fx]
trait Trivial
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
abstract class Stateful[F[_], G[_], Fx] extends Stateful[F, G, Fx], ThisInterpreter

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

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

Like Stateful interpreter, but specialized for this effect.

Attributes

Companion
object
Supertypes
class Stateful[F, G, Fx]
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
object Stateful

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

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
Supertypes
class Object
trait Matchable
class Any
Self type
Stateful.type
abstract class Stateless[F[_], G[_], Fx] extends Stateless[F, G, Fx], ThisInterpreter

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

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

Like Stateless interpreter, but specialized for this effect.

Attributes

Companion
object
Supertypes
class Stateless[F, G, Fx]
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
object Stateless

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

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
Supertypes
class Object
trait Matchable
class Any
Self type
Stateless.type
object ThisHandler

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

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

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

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

  • FromId and FromConst partially apply F[+_] parameter of ThisHandler type.
  • ToId and ToConst partially apply G[+_] parameter of ThisHandler type.
  • Free partially applies N parameter of ThisHandler type.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait ThisInterpreter

Attributes

Supertypes
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Proxy[Fx]
class Stateful[F, G, Fx]
class FromConst[C, G, Fx]
class Free[C, G]
class ToConst[C, D, Fx]
class Free[C, D]
class FromId[G, Fx]
class Free[G]
class ToConst[D, Fx]
class Free[D]
class ToId[Fx]
class Free
class Stateless[F, G, Fx]
class FromConst[C, G, Fx]
class Free[C, G]
class ToConst[C, D, Fx]
class Free[C, D]
class FromId[G, Fx]
class Free[G]
class ToConst[D, Fx]
class Free[D]
class ToId[Fx]
class Free
Show all

Types

final type ThisHandler[F[_], G[_], N] = Handler[F, G, Fx, N]

Alias for Handler, specialized to eliminate this effect.

Alias for Handler, specialized to eliminate this effect.

Attributes

Exports

Defined exports

final val Parallel: Parallel.type
Exported from Mixins
final type Parallel = Parallel
Exported from Mixins$
final type Sequential = Sequential
Exported from Mixins$
Generated with