Type Alias: EvalBuiltinResponse
@kortexya/reasoninglayer / EvalBuiltinResponse
Type Alias: EvalBuiltinResponse
Section titled “Type Alias: EvalBuiltinResponse”EvalBuiltinResponse = {
result:object;status:"success"; } | {status:"success_unit"; } | {status:"failure"; } | {blockingArgIndex:number;status:"residuate"; } | {message:string;status:"error"; }
Defined in: src/types/proof-engine.ts:409
Response from evaluating a built-in function.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ result: object; status: "success"; }
result
Section titled “result”result:
object
Evaluation result (opaque JSON).
status
Section titled “status”status:
"success"
Type Literal
Section titled “Type Literal”{ status: "success_unit"; }
Type Literal
Section titled “Type Literal”{ status: "failure"; }
Type Literal
Section titled “Type Literal”{ blockingArgIndex: number; status: "residuate"; }
blockingArgIndex
Section titled “blockingArgIndex”blockingArgIndex:
number
Index of the blocking argument.
status
Section titled “status”status:
"residuate"
Type Literal
Section titled “Type Literal”{ message: string; status: "error"; }
message
Section titled “message”message:
string
Error message.
status
Section titled “status”status:
"error"
Remarks
Section titled “Remarks”Discriminated union on the status field. Variants:
success— evaluation succeeded with a resultsuccess_unit— evaluation succeeded with no return valuefailure— evaluation failedresiduate— evaluation blocked on an uninstantiated argumenterror— an error occurred during evaluation