Skip to content

Type Alias: ApplyCurriedResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Execution / ApplyCurriedResponse

Type Alias: ApplyCurriedResponse

ApplyCurriedResponse = { allArguments: PositionalArgumentDto[]; result: ExecutionValueDto; status: "fully_applied"; } | { curriedId: string; missingPositions: number[]; remainingCount: number; status: "still_curried"; } | { reason: string; status: "cannot_curry"; }

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

Response after applying arguments to a curried function.

Type Declaration

{ allArguments: PositionalArgumentDto[]; result: ExecutionValueDto; status: "fully_applied"; }

allArguments

allArguments: PositionalArgumentDto[]

All arguments that were applied.

result

result: ExecutionValueDto

The computed result.

status

status: "fully_applied"

Discriminator.

{ curriedId: string; missingPositions: number[]; remainingCount: number; status: "still_curried"; }

curriedId

curriedId: string

Updated curried function ID.

missingPositions

missingPositions: number[]

Remaining missing argument positions.

remainingCount

remainingCount: number

Count of remaining missing arguments.

status

status: "still_curried"

Discriminator.

{ reason: string; status: "cannot_curry"; }

reason

reason: string

Reason why currying failed.

status

status: "cannot_curry"

Discriminator.

Remarks

Discriminated union by the status field.

  • fully_applied: All arguments provided, result computed.
  • still_curried: Some arguments remain missing.
  • cannot_curry: Function cannot be curried with the given arguments.