Skip to content

Type Alias: LazyEvalResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / LazyEvalResponse

LazyEvalResponse = { status: "evaluated"; termId: string; } | { status: "quoted"; termId: string; } | { status: "subterms_need_eval"; termIds: string[]; } | { functionName?: string; functionTermId: string; status: "needs_function_eval"; }

Defined in: src/types/execution.ts:531

Response from lazy evaluation.

{ status: "evaluated"; termId: string; }

status: "evaluated"

Discriminator.

termId: string

Evaluated term ID.


{ status: "quoted"; termId: string; }

status: "quoted"

Discriminator.

termId: string

Quoted term ID.


{ status: "subterms_need_eval"; termIds: string[]; }

status: "subterms_need_eval"

Discriminator.

termIds: string[]

Term IDs that need evaluation.


{ functionName?: string; functionTermId: string; status: "needs_function_eval"; }

optional functionName?: string

Optional function name.

functionTermId: string

Function term ID that needs evaluation.

status: "needs_function_eval"

Discriminator.

Discriminated union by the status field.

  • evaluated: Term was fully evaluated.
  • quoted: Term was quoted (not evaluated).
  • subterms_need_eval: Sub-terms require evaluation first.
  • needs_function_eval: A function term needs evaluation.