optimize

optimize(checkedExpr, …optimizers): CheckedExpr

Defined in: packages/aip/src/filtering/optimizer.ts:30

Applies a sequence of optimizers to a CheckedExpr, returning a new CheckedExpr. Optimizers are applied left-to-right. The typeMap and referenceMap from the input are preserved as-is; callers should re-check if they need updated type info.

Example:

  optimize(
    check(parse("name = 'test' AND retries < 2")),
    inline({ name: parse("user_name") }),
    fold({ retries: 3n })
  );

Parameters

checkedExpr

CheckedExpr

optimizers

…Optimizer[]

Returns

CheckedExpr