import type { DocumentByName, FieldTypeFromFieldPath, GenericDatabaseReader, GenericDataModel, TableNamesInDataModel } from "convex/server";
import type { GenericId } from "convex/values";
import type { Brand } from "effect";
export type IsOptional<T, K extends keyof T> = {} extends Pick<T, K> ? true : false;
export type IsAny<T> = 0 extends 1 & T ? true : false;
export type IsUnion<T, U extends T = T> = T extends unknown ? [U] extends [T] ? false : true : never;
export type IsValueLiteral<Vl> = [Vl] extends [never] ? never : IsUnion<Vl> extends true ? false : [Vl] extends [string | number | bigint | boolean] ? [string] extends [Vl] ? false : [number] extends [Vl] ? false : [boolean] extends [Vl] ? false : [bigint] extends [Vl] ? false : true : false;
/**
 * Only checks for records with string keys.
 */
export type IsRecord<T> = [T] extends [never] ? false : IsUnion<T> extends true ? false : T extends Record<string, infer V> ? string extends keyof T ? keyof T extends string ? T extends Record<string, V> ? Record<string, V> extends T ? true : false : false : false : false : false;
export type DeepMutable<T> = IsAny<T> extends true ? any : T extends NonRecursiveLeaf ? T : T extends ReadonlyMap<infer K, infer V> ? Map<DeepMutable<K>, DeepMutable<V>> : T extends ReadonlySet<infer V> ? Set<DeepMutable<V>> : [keyof T] extends [never] ? T : {
    -readonly [K in keyof T]: DeepMutable<T[K]>;
};
export type TypeError<Message extends string, T = never> = [Message, T];
export type TypeDefect<Message extends string, T = never> = [Message, T];
export type IsRecursive<T> = true extends DetectCycle<T> ? true : false;
type NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;
type DetectCycle<T, Cache extends any[] = []> = IsAny<T> extends true ? false : [T] extends [any] ? T extends NonRecursiveLeaf ? false : T extends Cache[number] ? true : T extends Array<infer U> ? DetectCycle<U, [...Cache, T]> : T extends Map<infer _U, infer V> ? DetectCycle<V, [...Cache, T]> : T extends Set<infer U> ? DetectCycle<U, [...Cache, T]> : T extends object ? true extends {
    [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;
}[keyof T] ? true : false : false : never;
export type UnionToTuple<t> = _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;
type _unionToTuple<t, result extends unknown[]> = getLastBranch<t> extends infer current ? [t] extends [never] ? result : _unionToTuple<Exclude<t, current>, [current, ...result]> : never;
type getLastBranch<t> = intersectUnion<t extends unknown ? (x: t) => void : never> extends (x: infer branch) => void ? branch : never;
type intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends (_: infer intersection) => void ? intersection : never;
type conform<t, base> = t extends base ? t : base;
export type IndexFieldTypesForEq<ConvexDataModel extends GenericDataModel, Table extends TableNamesInDataModel<ConvexDataModel>, T extends string[]> = T extends readonly [...infer Rest, any] ? Rest extends readonly string[] ? {
    [K in keyof Rest]: FieldTypeFromFieldPath<DocumentByName<ConvexDataModel, Table>, Rest[K]>;
} : never : never;
export type BaseDatabaseReader<DataModel extends GenericDataModel> = {
    get: GenericDatabaseReader<DataModel>["get"];
    query: GenericDatabaseReader<DataModel>["query"];
};
export {};
//# sourceMappingURL=Types.d.ts.map