export declare type AnyArray = T[] | readonly T[] export declare type AnyEmptyArray = [] | readonly [] export declare type ByIndex

= T[P] export declare type Concat< R extends Result, Arr extends any[], > = R[1] extends any[] ? Ok<[...R[1], ...Arr]> : R export declare type ConcatInner< R extends Result, R2 extends Result, > = R2[1] extends any[] ? Concat : R2 export declare type Digit = | '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' export declare type ElementType = T extends AnyArray ? E : unknown export declare type Err = Result export declare type FindBy = T extends AnyEmptyArray ? undefined : T[0] extends P ? T[0] : T extends [any, ...infer Tail] | readonly [any, ...infer Tail] ? FindBy : ElementType export declare type FindInArray< P extends KeyedPathElement | number, T extends AnyArray, > = P extends KeyedPathElement ? FindBy : P extends number ? ByIndex : never export declare type Get< P extends number | KeyedPathElement | Readonly | string, T, > = T extends AnyArray ? P extends KeyedPathElement | Readonly | number ? FindInArray : undefined : P extends keyof T ? T[P] : never export declare type GetAtPath< P extends readonly PathElement[], T, > = P extends [] ? T : P extends [infer Head, ...infer Tail] ? Head extends PathElement ? Tail extends PathElement[] ? GetAtPath> : undefined : undefined : undefined export declare function getAtPath( path: [head: Head], value: T, ): Get export declare function getAtPath< const Head extends PathElement, const Tail extends PathElement[], T, >(path: [head: Head, ...tail: Tail], value: T): GetAtPath<[Head, ...Tail], T> export declare function getAtPath(path: [], value: T): T export declare function getAtPath(path: Path, value: unknown): unknown export declare type Index = number export declare function isArrayElement( element: PathElement, ): element is KeyedPathElement | number export declare function isElementEqual( segmentA: PathElement, segmentB: PathElement, ): boolean export declare function isEqual(path: Path, otherPath: Path): boolean export declare function isIndexElement(segment: PathElement): segment is number export declare function isKeyedElement( element: PathElement, ): element is KeyedPathElement export declare function isKeyElement( segment: PathElement, ): segment is KeyedPathElement export declare function isPropertyElement( element: PathElement, ): element is string export declare type KeyedPathElement = { _key: string } export declare type Merge, E> = R[0] extends null ? Ok : R export declare type MergeInner< R extends Result, R2 extends Result, > = R2[0] extends null ? Merge : R export declare function normalize(path: string | Readonly): Readonly export declare type Ok = Result export declare type OnlyDigits = S extends `${infer Head}${infer Tail}` ? Head extends Digit ? Tail extends '' ? true : OnlyDigits extends true ? true : false : false : false export declare function parse(path: T): StringToPath export declare type ParseAllProps = Props extends [ `${infer Head}`, ...infer Tail, ] ? Tail extends string[] ? ConcatInner>, ParseAllProps> : ParseProperty> : Ok<[]> export declare type ParseError = T & { error: true } export declare type ParseExpressions = S extends `[${infer Expr}]${infer Remainder}` ? Trim extends '' ? ToArray>> : ConcatInner< ToArray>>, ParseExpressions > : Err> export declare type ParseInnerExpression = S extends '' ? Err> : Try, ParseObject> export declare type ParseKVPair = Split extends [`${infer LHS}`, `${infer RHS}`] ? ParseValue> extends infer Res ? Res extends [null, infer Value] ? Ok<{ [P in Trim]: Value }> : Err< ParseError<`Can't parse right hand side as a value in "${S}" (Invalid value ${RHS})`> > : never : Err> export declare type ParseNumber = S extends `${infer Head}${infer Tail}` ? Head extends '-' ? OnlyDigits extends true ? Ok> : Err> : OnlyDigits extends true ? Ok> : Err> : Err> export declare type ParseObject = S extends `${infer Pair},${infer Remainder}` ? Trim extends '' ? Ok> : MergeInner, ParseObject> : ParseKVPair export declare type ParseProperty = Trim extends '' ? Err> : Split, '[', true> extends [`${infer Prop}`, `${infer Expression}`] ? Trim extends '' ? ParseExpressions> : ConcatInner]>, ParseExpressions>> : Ok<[Trim]> export declare type ParseValue = string extends S ? Err> : S extends 'null' ? Ok : S extends 'true' ? Ok : S extends 'false' ? Ok : S extends `"${infer Value}"` ? Ok : Try< ParseNumber, Err< ParseError<`ParseValue failed. Can't parse "${S}" as a value.`> > > export declare type Path = PathElement[] | readonly PathElement[] export declare type PathElement = PropertyName | Index | KeyedPathElement export declare type PropertyName = string export declare type Result = [E, V] export declare type SafePath = StripError> export declare type Split< S extends string, Char extends string, IncludeSeparator extends boolean = false, > = S extends `${infer First}${Char}${infer Remainder}` ? [First, `${IncludeSeparator extends true ? Char : ''}${Remainder}`] : [S] export declare type SplitAll< S extends string, Char extends string, > = S extends `${infer First}${Char}${infer Remainder}` ? [First, ...SplitAll] : [S] export declare function startsWith(parentPath: Path, path: Path): boolean export declare function stringify(pathArray: Path): string export declare type StringToPath = Unwrap< ParseAllProps, '.'>> > export declare type StripError< S extends StringToPath | ParseError, > = S extends ParseError ? never : S export declare type ToArray> = R extends [ infer E, infer V, ] ? E extends null ? V extends any[] ? R : Ok<[R[1]]> : R : R export declare type ToNumber = T extends `${infer N extends number}` ? N : never export declare type Trim< S extends string, Char extends string = ' ', > = TrimRight, Char> export declare type TrimLeft< Str extends string, Char extends string = ' ', > = string extends Str ? Str : Str extends `${Char}${infer Trimmed}` ? TrimLeft : Str export declare type TrimRight< Str extends string, Char extends string = ' ', > = string extends Str ? Str : Str extends `${infer Trimmed}${Char}` ? TrimRight : Str export declare type Try, Handled> = R[1] extends null ? Handled : R export declare type Unwrap> = R extends [ infer E, infer V, ] ? E extends null ? V : E : never export {}