Random
Predefined instance of this effect.
Attributes
- Graph
-
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait RandomEffecttrait RandomSignaturetrait Effect[RandomSignature]trait CanInterprettrait CanPerform[RandomSignature]trait Signatureclass Objecttrait Matchableclass AnyShow all
- Self type
-
Random.type
Members list
Type members
Inherited classlikes
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
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass Proxy[Fx]trait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass ProxyIOtrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
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
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass Flowclass FlowFeaturestrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
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
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass Stateless[F]class Flowclass FlowFeaturestrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Defines type aliases for Handler, specialized to eliminate this effect.
Defines type aliases for Handler, specialized to eliminate this effect.
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- CanInterpret
- Supertypes
- Known subtypes
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
Alias for Handler, specialized to eliminate this 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
Default handler for this effect.
Default handler for this 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
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
Like !!.pure(a)
, but with effect-set up-casted to ThisEffect
Attributes
- Definition Classes
- Inherited from:
- RandomEffect
Exports
Inherited defined exports
Attributes
- Inherited from:
- CanInterpret
Attributes
- Inherited from:
- CanInterpret
Attributes
- Inherited from:
- CanInterpret