daae-core
API
Generated with
daae-core/daae/DebugEffect

DebugEffect

daae.DebugEffect
trait DebugEffect extends Effect[DebugSignature], DebugSignature

Attributes

Graph
Supertypes
trait Effect[DebugSignature]
trait CanPerform[DebugSignature]
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
object Debug

Members list

Type members

Inherited types

final override type ThisEffect = Effect.this.type

Self-reference to the effect being described by this Signature.

Self-reference to the effect being described by this Signature.

Becomes an alias of this.type, once the signature is inherited from Effect.

Attributes

Inherited from:
Effect

Value members

Concrete methods

final def handler(trace: Boolean, pause: Boolean): impl.ThisHandler[Identity, Identity, Console & IO]

Predefined handler for this effect.

Predefined handler for this effect.

Attributes

final def pause[A](label: String)(value: => A)(using l: Line, f: FileName, mfs: MaybeFromString[A]): Computation[A, this.type]
final override def pauseEff[A, U <: DebugEffect](label: String)(body: Computation[A, U])(using l: Line, f: FileName, mfs: MaybeFromString[A]): Computation[A, U]

Creates breakpoint after execution of body.

Creates breakpoint after execution of body.

Attributes

Definition Classes
final def trace[A](label: String)(value: => A): Computation[A, this.type]
final override def traceEff[A, U <: DebugEffect](label: String)(body: Computation[A, U]): Computation[A, U]

Like pauseEff, except for it actually doesn't.

Like pauseEff, except for it actually doesn't.

Attributes

Definition Classes

Inherited methods

final def &![Fx2 <: Signature](fx2: Fx2): Combine2[Effect.this.type, fx2.type]

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
final inline def perform[A, U <: ThisEffect](inline f: (DebugSignature & Signature { type ThisEffect = U; }) => Computation[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.

Attributes

Inherited from:
CanPerform

Inherited fields

val impl: EffectImpl[DebugEffect]

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

final type ThisHandler = [F[_], G[_], N] =>> this.impl.ThisHandler[F, G, N]
Exported from EffectImpl

Attributes

Inherited from:
Effect
Generated with