import { Query, ILens } from './types';
import { Next, MapOver, _, _$Optional } from './utils';
import { FollowPath, NOT_FOUND } from './Follow';
import { Lens } from './Lens';
import { Type, Checked, Optional, A, B, C, $partial, $apply } from 'free-types-core';
export { Get, GetMulti, $Get, $GetMulti };
type Get<Q extends Query, Data, Self = Data> = _Get<Lens<Q>, Data, Self>;
type _Get<L extends ILens, Data, Self, I extends number = 0, F = FollowPath<L['path'][I], Data, Self>> = F extends NOT_FOUND ? never : Next<I> extends L['path']['length'] ? F : _Get<L, F, Self, Next<I>>;
type GetMulti<Qs extends Query[], Data, Self = Data> = MapOver<MapOver<Qs, $partial<$Get>>, $apply<[Data, Self]>>;
interface _$Get extends Type<[Query, unknown, unknown?]> {
    type: Get<Checked<A, this>, B<this>, Optional<C, this, B<this>>>;
}
type $Get<Q extends Query = never, Self = never> = _$Optional<_$Get, [Q, _, Self]>;
interface _$GetMulti extends Type<[Query[], unknown, unknown?]> {
    type: GetMulti<Checked<A, this>, B<this>, Optional<C, this, B<this>>>;
}
type $GetMulti<Qs extends Query[] = never, Self = never> = _$Optional<_$GetMulti, [Qs, _, Self]>;