Type Alias ContractEnsuresCondition<TOutput, TInput, TContext>

ContractEnsuresCondition: (
    output: TOutput,
    input: TInput,
    context: TContext,
) => boolean | Promise<boolean> | ContractError | Promise<ContractError>

Defines a contract ensures condition function (post-condition).

Type Parameters

TOutput = any
The expected type of the output of the method.
TInput = any
The expected type of the original input to the method.
TContext = any
The expected type of the authentication context.

Type declaration

- (
      output: TOutput,
      input: TInput,
      context: TContext,
  ): boolean | Promise<boolean> | ContractError | Promise<ContractError>
- Parameters
  - output: TOutput
    The output of the method.
  - input: TInput
    The original input to the method.
  - context: TContext
    The authentication context.
  Returns boolean | Promise<boolean> | ContractError | Promise<ContractError>
  A boolean indicating if the condition passes, or a Promise resolving to a boolean, or a ContractError/Promise of ContractError if the condition fails with a specific error.