import type { Join, Primitive, Showable, UnionToTuple } from '@traversable/registry';
import { URI } from '@traversable/registry';
export type EnumType<T> = T extends readonly unknown[] ? T[number] : T[keyof T];
export type EnumToString<T> = number extends T['length' & keyof T] ? NonFiniteArrayToString<T[number & keyof T]> : FiniteArrayToString<T>;
export type FiniteArrayToString<T> = never | Join<{
    [I in keyof T]: MemberToString<T[I]>;
}, ' | '>;
export type NonFiniteArrayToString<S, T = UnionToTuple<S>> = never | Join<{
    [I in keyof T]: MemberToString<T[I]>;
}, ' | '>;
export type MemberToString<T> = never | T extends symbol ? 'symbol' : T extends bigint ? `${T}n` : T extends string ? `'${T}'` : `${T & Showable}`;
export { enum_ as enum };
interface enum_<V> {
    _type: EnumType<V>;
    tag: URI.enum;
    (u: unknown): u is this['_type'];
    def: V;
    toType(): EnumToString<V>;
    toJsonSchema(): {
        enum: {
            -readonly [K in keyof V]: V[K] extends undefined | symbol | bigint ? void : V[K];
        };
    };
}
declare namespace enum_ {
    type type<S, T = EnumType<S>> = T;
}
/**
 * ## {@link enum_ `t.enum`}
 */
declare function enum_<const V extends Primitive, T extends readonly V[]>(...primitives: readonly [...T]): enum_<[...T]>;
declare function enum_<const V extends Primitive, T extends Record<string, V>>(...record: [T]): enum_<T[keyof T][]>;
declare namespace enum_ {
    let prototype: {
        tag: "@traversable/schema/URI::enum";
    };
    function def<T extends readonly unknown[]>(args: readonly [...T]): enum_<readonly [...T]>;
}
//# sourceMappingURL=enum.d.ts.map