turbolift-core/turbolift.std_effects/Each

Each

case object Each extends Choice
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Choice
trait ChoiceSig
trait HasSignature
trait Signature
class Object
trait Matchable
class Any
Each.type

Type members

Inherited classlikes

abstract class Proxy[Fx] extends Proxy[Fx] with ThisInterpreter

Base class for user-defined Proxy Interpreter for this effect.

Base class for user-defined Proxy Interpreter for this effect.

Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter

Base class for user-defined Stateful Interpreter for this effect.

Base class for user-defined Stateful Interpreter for this effect.

Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter

Base class for user-defined Stateless Interpreter for this effect.

Base class for user-defined Stateless Interpreter for this effect.

Inherited from:
CanInterpret
object ThisHandler

Defines type aliases for Handler, specialized to eliminate this effect.

Defines type aliases for Handler, specialized to eliminate this effect.

Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret
object handlers

Predefined handlers for this effect.

Predefined handlers for this effect.

Inherited from:
ChoiceEffect

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton
final override type ThisEffect = Effect
Inherited from:
Effect
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]

Alias for Handler, specialized to eliminate this effect.

Alias for Handler, specialized to eliminate this effect.

Inherited from:
CanInterpret

Value members

Concrete methods

def void: FreeConst[Unit]

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[Each.type, Fx2]

Combines with another Effect instance, so that a single Handler for 2 effects can be created.

Combines with another Effect instance, so that a single Handler for 2 effects can be created.

Inherited from:
Effect
final def apply[A](as: A*): Computation[A, Each.type]
Inherited from:
ChoiceEffect
final override def choose[A](as: Iterable[A]): Computation[A, Each.type]
Definition Classes
Inherited from:
ChoiceEffect
final def empty: Computation[Nothing, Each.type]
Inherited from:
ChoiceEffect
final def fromEither[E, A](x: Either[E, A]): Computation[A, Each.type]
Inherited from:
ChoiceEffect
final def fromOption[A](x: Option[A]): Computation[A, Each.type]
Inherited from:
ChoiceEffect
def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
final def fromTry[A](x: Try[A]): Computation[A, Each.type]
Inherited from:
ChoiceEffect
def handler: Free[Vector]

Default handler for this effect.

Default handler for this effect.

Inherited from:
Choice
final override def orElse[A, U <: Each.type](lhs: Computation[A, U], rhs: => Computation[A, U]): Computation[A, U]
Definition Classes
Inherited from:
ChoiceEffect
final def perform[A, U <: ThisEffect](f: ChoiceSig & Signature { type ThisEffect = U; } => A !@! U { def apply(z: ChoiceSig & Signature { type ThisEffect = U; }): A !@! U; }): Computation[A, U]

Lifts an invocation of this Signature's method into the Computation monad.

Lifts an invocation of this Signature's method into the Computation monad.

The purpose of perform is similar to:

  • send function form various effect systems (Eff monad, etc.)
  • serviceWith from ZIO 1.x.
  • serviceWithZIO from ZIO 2.x.

⚠️ Scaladoc displays the definition of perform as more complex than it actually is:

final def perform[A, U <: ThisEffect](f: (z: Z & Signature { type ThisEffect = U }) => z.!@![A, U]): A !! U
Inherited from:
CanPerform
final def plus[A, U <: Each.type](lhs: Computation[A, U], rhs: => Computation[A, U]): Computation[A, U]
Inherited from:
ChoiceEffect
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
final def pure[A](a: A): Computation[A, ThisEffect]

Like !!.pure(a), but with effect-set up-casted to ThisEffect

Like !!.pure(a), but with effect-set up-casted to ThisEffect

Inherited from:
CanPerform

Inherited fields

final override val fail: Computation[Nothing, Each.type]
Inherited from:
ChoiceEffect