import type { Optic, TryA, TryT, A, B, S, T, Try } from './optic.js';
import type { ArrayExpected, TraversalExpected } from './errors.js';
import { Apply, Apply2 } from '../hkt.js';
import { Compose, ComposeArg } from './compose.js';
interface PartsOfA<Traversal extends Optic<'Traversal', any, any>> extends A {
    0: TryA<this, Traversal extends Optic<'Traversal', infer TA, any> ? Apply<TA, S<this>> extends infer R ? Try<R, R[]> : never : never>;
}
interface PartsOfT<Traversal extends Optic<'Traversal', any, any>> extends T {
    0: TryT<this, Traversal extends Optic<'Traversal', any, infer TT> ? B<this> extends (infer Item)[] ? Apply2<TT, S<this>, Item> : ArrayExpected<B<this>> : never>;
}
export declare function partsOf<Traversal extends Optic<'Traversal', any, any>>(traversal: Traversal): Optic<'Lens', PartsOfA<Traversal>, PartsOfT<Traversal>>;
export declare function partsOf<Args extends [ComposeArg, ComposeArg, ...ComposeArg[]]>(...args: Args): Compose<Args> extends infer O ? O extends Optic<'Traversal', any, any> ? Optic<'Lens', PartsOfA<O>, PartsOfT<O>> : TraversalExpected : never;
export {};