ProxyIO

turbolift.internals.effect.CanInterpret.ProxyIO
abstract class ProxyIO extends ProxyIO with ThisInterpreter

Attributes

Graph
Supertypes
class ProxyIO
trait Signature
class Object
trait Matchable
class Any
Self type
ThisSignature

Members list

Concise view

Type members

Inherited types

final override type !@![A, U] = Computation[A, Dependency]

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:
ProxyIO
final override type Dependency = IO

Attributes

Inherited from:
ProxyIO
final override type Result[+A] = A

Attributes

Inherited from:
ProxyIO
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

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Attributes

Inherited from:
Interpreter

Value members

Inherited methods

Attributes

Inherited from:
ProxyIO