import * as S from "@principia/prelude/Show";
import type { ReadonlyRecord } from "../Record";
import type { Show } from "./model";
export * from "@principia/prelude/Show/combinators";
export declare const named_: <A>(show: S.Show<A>, name: string | undefined) => S.Show<A>;
export declare const named: (name: string | undefined) => <A>(show: S.Show<A>) => S.Show<A>;
export declare const nullable: <A>(or: S.Show<A>) => S.Show<A | null>;
export declare const undefinable: <A>(or: S.Show<A>) => S.Show<A | undefined>;
export declare const type: <A extends Readonly<Record<string, any>>>(
   shows: {
      [K in keyof A]: Show<A[K]>;
   }
) => Show<
   {
      [K in keyof A]: A[K];
   }
>;
export declare const partial: <A extends Readonly<Record<string, any>>>(
   properties: { [K in keyof A]: S.Show<A[K]> }
) => S.Show<Partial<{ [K_1 in keyof A]: A[K_1] }>>;
export declare const record: <A>(codomain: Show<A>) => Show<ReadonlyRecord<string, A>>;
export declare const array: <A>(item: Show<A>) => Show<ReadonlyArray<A>>;
export declare const tuple: <A extends ReadonlyArray<unknown>>(
   ...components: {
      [K in keyof A]: Show<A[K]>;
   }
) => Show<A>;
export declare const intersect_: <A, B>(left: S.Show<A>, right: S.Show<B>) => S.Show<A & B>;
export declare const intersect: <B>(right: S.Show<B>) => <A>(left: S.Show<A>) => S.Show<A & B>;
export declare const sum_: <T extends string, A>(
   tag: T,
   members: { [K in keyof A]: S.Show<A[K] & Record<T, K>> }
) => S.Show<A[keyof A]>;
export declare const sum: <T extends string>(
   tag: T
) => <A>(members: { [K in keyof A]: S.Show<A[K] & Record<T, K>> }) => S.Show<A[keyof A]>;
export declare const lazy: <A>(f: () => S.Show<A>) => S.Show<A>;
//# sourceMappingURL=combinators.d.ts.map