StateSig
turbolift.std_effects.StateSig
Attributes
- Graph
- Supertypes
- Known subtypes
- trait State[S]
Members list
Concise view
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