Type Alias: LazyEvalResponse
@kortexya/reasoninglayer / Execution / LazyEvalResponse
Type Alias: 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:522
Response from lazy evaluation.
Type Declaration
{ status: "evaluated"; termId: string; }
status
status:
"evaluated"
Discriminator.
termId
termId:
string
Evaluated term ID.
{ status: "quoted"; termId: string; }
status
status:
"quoted"
Discriminator.
termId
termId:
string
Quoted term ID.
{ status: "subterms_need_eval"; termIds: string[]; }
status
status:
"subterms_need_eval"
Discriminator.
termIds
termIds:
string[]
Term IDs that need evaluation.
{ functionName?: string; functionTermId: string; status: "needs_function_eval"; }
functionName?
optionalfunctionName:string
Optional function name.
functionTermId
functionTermId:
string
Function term ID that needs evaluation.
status
status:
"needs_function_eval"
Discriminator.
Remarks
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.