import type { Encoder, OutputOf, TypeOf } from "./model";
export declare const nullable: <O, A>(or: Encoder<O, A>) => Encoder<O | null, A | null>;
export declare const type: <P extends Record<string, Encoder<any, any>>>(
   properties: P
) => Encoder<{ [K in keyof P]: OutputOf<P[K]> }, { [K_1 in keyof P]: TypeOf<P[K_1]> }>;
export declare const partial: <P extends Record<string, Encoder<any, any>>>(
   properties: P
) => Encoder<Partial<{ [K in keyof P]: OutputOf<P[K]> }>, Partial<{ [K_1 in keyof P]: TypeOf<P[K_1]> }>>;
export declare const record: <O, A>(codomain: Encoder<O, A>) => Encoder<Record<string, O>, Record<string, A>>;
export declare const array: <O, A>(item: Encoder<O, A>) => Encoder<readonly O[], readonly A[]>;
export declare const tuple: <C extends readonly Encoder<any, any>[]>(
   ...components: C
) => Encoder<{ [K in keyof C]: OutputOf<C[K]> }, { [K_1 in keyof C]: TypeOf<C[K_1]> }>;
export declare const intersect: <P, B>(right: Encoder<P, B>) => <O, A>(left: Encoder<O, A>) => Encoder<O & P, A & B>;
export declare const sum_: <T extends string, MS extends Record<string, Encoder<any, any>>>(
   tag: T,
   members: MS
) => Encoder<OutputOf<MS[keyof MS]>, TypeOf<MS[keyof MS]>>;
export declare const sum: <T extends string>(
   tag: T
) => <MS extends Record<string, Encoder<any, any>>>(
   members: MS
) => Encoder<OutputOf<MS[keyof MS]>, TypeOf<MS[keyof MS]>>;
export declare const lazy: <O, A>(f: () => Encoder<O, A>) => Encoder<O, A>;
export declare const contramap_: <E, A, B>(fa: Encoder<E, A>, f: (b: B) => A) => Encoder<E, B>;
export declare const contramap: <A, B>(f: (b: B) => A) => <E>(fa: Encoder<E, A>) => Encoder<E, B>;
export declare const compose_: <E, A, B>(ab: Encoder<A, B>, ea: Encoder<E, A>) => Encoder<E, B>;
export declare const compose: <E, A>(ea: Encoder<E, A>) => <B>(ab: Encoder<A, B>) => Encoder<E, B>;
export declare const id: <A>() => Encoder<A, A>;
//# sourceMappingURL=combinators.d.ts.map