import type { NonEmptyArray } from '../NonEmptyArray';
export declare type Primitive = string | number | boolean | null | symbol;
export declare type Constructor<A> = {
    new (...args: any[]): A;
};
export declare type _A<T> = [T] extends [{
    ['_A']: () => infer A;
}] ? A : never;
export declare type _R<T> = [T] extends [{
    ['_R']: (_: infer R) => void;
}] ? R : never;
export declare type _E<T> = [T] extends [{
    ['_E']: () => infer E;
}] ? E : never;
export declare type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
export declare type UnionToTuple<T> = UnionToIntersection<T extends any ? (t: T) => T : never> extends (_: any) => infer W ? [...UnionToTuple<Exclude<T, W>>, W] : [];
export declare type EnforceNonEmptyRecord<R> = keyof R extends never ? never : R;
export declare type Erase<R, K> = R & K extends K & infer R1 ? R1 : R;
/**
 * Excludes properties of type V from T
 */
export declare type ExcludeMatchingProperties<T, V> = Pick<T, {
    [K in keyof T]-?: T[K] extends V ? never : K;
}[keyof T]>;
export declare type EnsureLiteral<K> = string extends K ? never : [K] extends [UnionToIntersection<K>] ? K : never;
export declare type Mutable<T> = T extends NonEmptyArray<infer A> ? Array<A> & {
    0: A;
} : T extends ReadonlyArray<infer A> ? Array<A> : T extends ReadonlySet<infer A> ? Set<A> : T extends ReadonlyMap<infer K, infer A> ? Map<K, A> : {
    -readonly [K in keyof T]: T[K];
};
//# sourceMappingURL=types.d.ts.map