Random
Predefined instance of this effect.
Attributes
- Graph
-
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait RandomEffecttrait RandomSignaturetrait Effect[RandomSignature]trait CanPerform[RandomSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Self type
-
Random.type
Members list
Type members
Inherited classlikes
Predefined handlers for this effect.
Predefined handlers for this effect.
Attributes
- Inherited from:
- RandomEffect
- Supertypes
-
class Objecttrait Matchableclass Any
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:
- CanPerform
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
The mirrored *-type
The mirrored *-type
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
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:
- Effect
Value members
Inherited methods
Combines with another Effect instance, for the purpose of sharing an Interpreter.
Combines with another Effect instance, for the purpose of sharing an Interpreter.
Attributes
- Inherited from:
- Effect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Create a new instance of type T
with elements taken from product p
.
Create a new instance of type T
with elements taken from product p
.
Attributes
- Inherited from:
- Singleton
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Lifts an invocation of this Signature's method into the Computation monad.
Lifts an invocation of this Signature's method into the Computation monad.
Attributes
- Inherited from:
- CanPerform
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Inherited fields
Object containing type definitions, to be used for implementing Interpreters for this effect.
Object containing type definitions, to be used for implementing Interpreters for this effect.
Attributes
- Inherited from:
- Effect
Exports
Inherited defined exports
Attributes
- Inherited from:
- Effect
Attributes
- Inherited from:
- Effect