/**
 * **This module is experimental**
 *
 * Experimental features are published in order to get early feedback from the community, see these tracking
 * [issues](https://github.com/gcanti/io-ts/issues?q=label%3Av2.2+) for further discussions and enhancements.
 *
 * A feature tagged as _Experimental_ is in a high state of flux, you're at risk of it changing without notice.
 *
 * @since 2.2.3
 */
import { Invariant2 } from 'fp-ts/es6/Invariant';
import * as D from './Decoder';
import * as E from './Encoder';
import { Literal } from './Schemable';
/**
 * Laws:
 *
 * 1. `pipe(codec.decode(u), E.fold(() => u, codec.encode)) = u` for all `u` in `unknown`
 * 2. `codec.decode(codec.encode(a)) = E.right(a)` for all `a` in `A`
 *
 * @category model
 * @since 2.2.3
 */
export interface Codec<O, A> extends D.Decoder<A>, E.Encoder<O, A> {
}
/**
 * @since 2.2.3
 */
export declare type TypeOf<C> = E.TypeOf<C>;
/**
 * @since 2.2.3
 */
export declare type OutputOf<C> = E.OutputOf<C>;
/**
 * @category constructors
 * @since 2.2.3
 */
export declare function make<O, A>(decoder: D.Decoder<A>, encoder: E.Encoder<O, A>): Codec<O, A>;
/**
 * @category constructors
 * @since 2.2.3
 */
export declare function fromDecoder<A>(decoder: D.Decoder<A>): Codec<A, A>;
/**
 * @category constructors
 * @since 2.2.3
 */
export declare function literal<A extends readonly [Literal, ...Array<Literal>]>(...values: A): Codec<A[number], A[number]>;
/**
 * @category primitives
 * @since 2.2.3
 */
export declare const string: Codec<string, string>;
/**
 * @category primitives
 * @since 2.2.3
 */
export declare const number: Codec<number, number>;
/**
 * @category primitives
 * @since 2.2.3
 */
export declare const boolean: Codec<boolean, boolean>;
/**
 * @category primitives
 * @since 2.2.3
 */
export declare const UnknownArray: Codec<Array<unknown>, Array<unknown>>;
/**
 * @category primitives
 * @since 2.2.3
 */
export declare const UnknownRecord: Codec<Record<string, unknown>, Record<string, unknown>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const mapLeftWithInput: (f: (actual: unknown, e: D.DecodeError) => D.DecodeError) => <O, A>(codec: Codec<O, A>) => Codec<O, A>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const refine: <A, B extends A>(refinement: (a: A) => a is B, id: string) => <O>(from: Codec<O, A>) => Codec<O, B>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function nullable<O, A>(or: Codec<O, A>): Codec<null | O, null | A>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function type<P extends Record<string, Codec<any, any>>>(properties: P): Codec<{
    [K in keyof P]: OutputOf<P[K]>;
}, {
    [K in keyof P]: TypeOf<P[K]>;
}>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function partial<P extends Record<string, Codec<any, any>>>(properties: P): Codec<Partial<{
    [K in keyof P]: OutputOf<P[K]>;
}>, Partial<{
    [K in keyof P]: TypeOf<P[K]>;
}>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function record<O, A>(codomain: Codec<O, A>): Codec<Record<string, O>, Record<string, A>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function array<O, A>(items: Codec<O, A>): Codec<Array<O>, Array<A>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function tuple<C extends ReadonlyArray<Codec<any, any>>>(...components: C): Codec<{
    [K in keyof C]: OutputOf<C[K]>;
}, {
    [K in keyof C]: TypeOf<C[K]>;
}>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const intersect: <P, B>(right: Codec<P, B>) => <O, A>(left: Codec<O, A>) => Codec<O & P, A & B>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function sum<T extends string>(tag: T): <M extends Record<string, Codec<any, any>>>(members: M) => Codec<OutputOf<M[keyof M]>, TypeOf<M[keyof M]>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare function lazy<O, A>(id: string, f: () => Codec<O, A>): Codec<O, A>;
/**
 * @category Invariant
 * @since 2.2.3
 */
export declare const imap: <E, A, B>(f: (a: A) => B, g: (b: B) => A) => (fa: Codec<E, A>) => Codec<E, B>;
/**
 * @category instances
 * @since 2.2.3
 */
export declare const URI = "io-ts/Codec";
/**
 * @category instances
 * @since 2.2.3
 */
export declare type URI = typeof URI;
declare module 'fp-ts/es6/HKT' {
    interface URItoKind2<E, A> {
        readonly [URI]: Codec<E, A>;
    }
}
/**
 * @category instances
 * @since 2.2.3
 */
export declare const invariantCodec: Invariant2<URI>;