import type { ReadonlyRecord } from "../Record";
import type { Guard } from "./Guard";
export declare const refine: <I, A extends I, B extends A>(
   refinement: (a: A) => a is B
) => (from: Guard<I, A>) => Guard<I, B>;
export declare const nullable: <I, A extends I>(or: Guard<I, A>) => Guard<I | null, A | null>;
export declare const type: <A>(
   properties: { [K in keyof A]: Guard<unknown, A[K]> }
) => Guard<unknown, { [K_1 in keyof A]: A[K_1] }>;
export declare const partial: <A>(
   properties: { [K in keyof A]: Guard<unknown, A[K]> }
) => Guard<unknown, Partial<{ [K_1 in keyof A]: A[K_1] }>>;
export declare const array: <A>(item: Guard<unknown, A>) => Guard<unknown, readonly A[]>;
export declare const record: <A>(codomain: Guard<unknown, A>) => Guard<unknown, Readonly<Record<string, A>>>;
export declare const tuple: <A extends readonly unknown[]>(
   ...components: { [K in keyof A]: Guard<unknown, A[K]> }
) => Guard<unknown, A>;
export declare const intersect: <B>(right: Guard<unknown, B>) => <A>(left: Guard<unknown, A>) => Guard<unknown, A & B>;
export declare const union: <A extends readonly [unknown, ...unknown[]]>(
   ...members: { [K in keyof A]: Guard<unknown, A[K]> }
) => Guard<unknown, A[number]>;
export declare const sum: <T extends string>(
   tag: T
) => <A>(members: { [K in keyof A]: Guard<unknown, A[K]> }) => Guard<unknown, A[keyof A]>;
export declare const lazy: <A>(f: () => Guard<unknown, A>) => Guard<unknown, A>;
//# sourceMappingURL=combinators.d.ts.map