/**
 * @ignore
 * @packageDocumentation
 */
import * as t from 'io-ts';
import { Either } from 'fp-ts/lib/Either';
export declare type TypeRecord<A extends t.Any = t.Any> = Record<string, A>;
export declare type TRErrors<TR extends TypeRecord> = {
    [key in keyof TR]: t.Errors;
};
export declare type TROutput<TR extends TypeRecord> = {
    [key in keyof TR]: t.TypeOf<TR[key]>;
};
export declare type ComposedType<TR extends TypeRecord> = (value: unknown) => Either<TRErrors<TR>, TROutput<TR>>;
/** A composed type, like `t.type` but where the errors are not falttened */
export declare function composedType<TR extends TypeRecord>(record: TR): ComposedType<TR>;