import { PathItem, Query, ILens } from './types.js';
import { Type, Expect } from 'free-types-core';
import { Next } from './utils.js';
import { ModifyPath } from './Modify.js';
import { Lens } from './Lens.js';
import { FollowPath, NOT_FOUND } from './Follow.js';
export { Replace, $Replace };
type Replace<Q extends Query, Data, V extends Constraint, Constraint = ValidValue<Q>> = [
    Q
] extends [never] ? Data : _Replace<Lens<Q>, Data, V>;
type ValidValue<Q extends Query, Path extends readonly unknown[] = Lens<Q>['path']> = [
    Q
] extends [never] ? unknown : Path extends [...any[], infer $T extends Expect<Type>] ? $T['constraints'] : Path extends [...any[], infer $T extends Expect<Type>, infer N extends number] ? $T['constraints'][N] : unknown;
type _Replace<L extends ILens, Data, V, I extends number = 0, C extends PathItem = L['path'][I], F = FollowPath<C, Data, Data>> = I extends L['path']['length'] ? V : F extends NOT_FOUND ? Data : ModifyPath<C, Data, _Replace<L, F, V, Next<I>>>;
interface $Replace<Q extends Query, V extends ValidValue<Q>> extends Type<1> {
    type: _Replace<Lens<Q>, this[0], V>;
}