firesage/dist/src/types/partialNoUndefinedAndNoUnknownMember.d.ts

🔥 Extremely High Precision Typescript Wrapper for Firestore Web, Providing Unparalleled Type Safe and Dev Experience

import { ErrorDeleteFieldMerge, ErrorDeleteFieldUnion, ErrorEmptyUpdate, ErrorUnknownMember } from './error';
import { ArrayUnionOrRemove, DeleteField } from './fieldValue';
declare type HandleUnknownMember<T extends Record<string, unknown>, Data> = Omit<Data, Exclude<keyof Data, keyof T>> & {
    [K in Exclude<keyof Data, keyof T>]: ErrorUnknownMember<K> extends Data[K] ? never : ErrorUnknownMember<K>;
};
declare type IsSetDeleteAbleFieldValueValid<T, Data, K extends string, Merge extends boolean | string[]> = Merge extends false ? T : Data extends DeleteField ? Merge extends true ? DeleteField extends Extract<T, DeleteField> ? T : string extends Exclude<T, DeleteField> ? ErrorDeleteFieldUnion<K> : Exclude<T, DeleteField> | ErrorDeleteFieldMerge : Merge extends unknown[] ? DeleteField extends Extract<T, DeleteField> ? T : string extends Exclude<T, DeleteField> ? ErrorDeleteFieldUnion<K> : Exclude<T, DeleteField> | ErrorDeleteFieldMerge : T : T;
declare type PartialNoUndefinedAndNoUnknownMemberInArray<T, Data> = T extends (infer ElementOfBase)[] ? Data extends (infer ElementOfData)[] ? Data extends never[] ? T : ElementOfData extends ElementOfBase ? PartialNoUndefinedAndNoUnknownMemberInArray<ElementOfBase, ElementOfData>[] : T : T : T extends Record<string, unknown> ? keyof Data extends keyof T ? keyof T extends keyof Data ? {
    [K in keyof T]-?: PartialNoUndefinedAndNoUnknownMemberInArray<T[K], Data[K]>;
} : T : HandleUnknownMember<T, Data> : T;
export declare type PartialNoUndefinedAndNoUnknownMemberNoEmptyMember<T extends Record<string, unknown>, Data extends Record<string, unknown>, Merge extends boolean | string[], // this is for set operation only
AllowEmptyMember extends boolean> = Data extends (AllowEmptyMember extends true ? never : Record<string, never>) ? ErrorEmptyUpdate | T : keyof Data extends keyof T ? {
    [K in keyof T & keyof Data]-?: T[K] extends Record<string, unknown> ? Data[K] extends Record<string, unknown> ? PartialNoUndefinedAndNoUnknownMemberNoEmptyMember<T[K], Data[K], Merge, AllowEmptyMember> : T[K] : T[K] extends (infer BaseKeyElement)[] | ArrayUnionOrRemove<unknown> ? Data[K] extends (infer DataKeyElement)[] ? Data[K] extends never[] ? T[K] : DataKeyElement extends BaseKeyElement ? PartialNoUndefinedAndNoUnknownMemberInArray<BaseKeyElement, DataKeyElement>[] : BaseKeyElement[] : IsSetDeleteAbleFieldValueValid<T[K], Data[K], K & string, Merge> : IsSetDeleteAbleFieldValueValid<T[K], Data[K], K & string, Merge>;
} : HandleUnknownMember<T, Data>;
export declare type RecursivelyReplaceDeleteFieldWithErrorMsg<T, Data> = T extends Record<string, unknown> ? Data extends Record<string, unknown> ? keyof Data extends keyof T ? {
    [K in keyof T]: K extends string ? K extends keyof Data ? T[K] extends Record<string, unknown> ? Data[K] extends Record<string, unknown> ? RecursivelyReplaceDeleteFieldWithErrorMsg<T[K], Data[K]> : T[K] : Data[K] extends DeleteField ? DeleteField extends Extract<T[K], DeleteField> ? string extends Exclude<T[K], DeleteField> ? ErrorDeleteFieldMerge : Exclude<T[K], DeleteField> | ErrorDeleteFieldMerge : ErrorDeleteFieldMerge : T[K] : T[K] : never;
} : HandleUnknownMember<T, Data> : T : T;
export {};