StateSignature
turbolift.effects.StateSignature
trait StateSignature[S] extends Signature
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
trait State[S]
Members list
Type members
Inherited types
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:
- Signature
type 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:
- Signature
Value members
Abstract methods
In this article