daae-core
API
Generated with
daae-core/daae/Debug

Debug

daae.DebugEffect$package.Debug
case object Debug extends DebugEffect

Predefined instance of DebugEffect.

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait DebugEffect
trait Effect[DebugSignature]
trait CanPerform[DebugSignature]
trait Signature
class Object
trait Matchable
class Any
Show all
Self type
Debug.type

Members list

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton
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

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
def fromProduct(p: Product): MirroredMonoType

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
final def handler(trace: Boolean, pause: Boolean): this.impl.ThisHandler[Identity, Identity, Console & IO]

Predefined handler for this effect.

Predefined handler for this effect.

Attributes

Inherited from:
DebugEffect
final def pause[A](label: String)(value: => A)(using l: Line, f: FileName, mfs: MaybeFromString[A]): Computation[A, DebugEffect.this.type]

Attributes

Inherited from:
DebugEffect
final override def pauseEff[A, U <: Debug](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
Inherited from:
DebugEffect
final def perform[A, U <: ThisEffect](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
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def trace[A](label: String)(value: => A): Computation[A, DebugEffect.this.type]

Attributes

Inherited from:
DebugEffect
final override def traceEff[A, U <: Debug](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 from:
DebugEffect

Inherited fields

val impl: EffectImpl[Debug]

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 Const = Const
Exported from IdConst$

Attributes

Inherited from:
Effect
final type Identity = Identity
Exported from IdConst$

Attributes

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

Attributes

Inherited from:
Effect
Generated with