/**
 * @since 1.0.0
 */
import { Either } from 'fp-ts/es6/Either';
import { Predicate, Refinement } from 'fp-ts/es6/function';
/**
 * @category Model
 * @since 1.0.0
 */
export interface ContextEntry {
    readonly key: string;
    readonly type: Decoder<any, any>;
    /** the input data */
    readonly actual?: unknown;
}
/**
 * @category Model
 * @since 1.0.0
 */
export interface Context extends ReadonlyArray<ContextEntry> {
}
/**
 * @category Model
 * @since 1.0.0
 */
export interface ValidationError {
    /** the offending (sub)value */
    readonly value: unknown;
    /** where the error originated */
    readonly context: Context;
    /** optional custom error message */
    readonly message?: string;
}
/**
 * @category Model
 * @since 1.0.0
 */
export interface Errors extends Array<ValidationError> {
}
/**
 * @category Model
 * @since 1.0.0
 */
export declare type Validation<A> = Either<Errors, A>;
/**
 * @category Model
 * @since 1.0.0
 */
export declare type Is<A> = (u: unknown) => u is A;
/**
 * @category Model
 * @since 1.0.0
 */
export declare type Validate<I, A> = (i: I, context: Context) => Validation<A>;
/**
 * @category Model
 * @since 1.0.0
 */
export declare type Decode<I, A> = (i: I) => Validation<A>;
/**
 * @category Model
 * @since 1.0.0
 */
export declare type Encode<A, O> = (a: A) => O;
/**
 * @since 1.0.0
 */
export interface Any extends Type<any, any, any> {
}
/**
 * @since 1.0.0
 */
export interface Mixed extends Type<any, any, unknown> {
}
/**
 * @since 1.0.0
 */
export declare type TypeOf<C extends Any> = C['_A'];
/**
 * @since 1.0.0
 */
export declare type InputOf<C extends Any> = C['_I'];
/**
 * @since 1.0.0
 */
export declare type OutputOf<C extends Any> = C['_O'];
/**
 * @category Model
 * @since 1.0.0
 */
export interface Decoder<I, A> {
    readonly name: string;
    readonly validate: Validate<I, A>;
    readonly decode: Decode<I, A>;
}
/**
 * @category Model
 * @since 1.0.0
 */
export interface Encoder<A, O> {
    readonly encode: Encode<A, O>;
}
/**
 * @category Model
 * @since 1.0.0
 */
export declare class Type<A, O = A, I = unknown> implements Decoder<I, A>, Encoder<A, O> {
    /** a unique name for this codec */
    readonly name: string;
    /** a custom type guard */
    readonly is: Is<A>;
    /** succeeds if a value of type I can be decoded to a value of type A */
    readonly validate: Validate<I, A>;
    /** converts a value of type A to a value of type O */
    readonly encode: Encode<A, O>;
    /**
     * @since 1.0.0
     */
    readonly _A: A;
    /**
     * @since 1.0.0
     */
    readonly _O: O;
    /**
     * @since 1.0.0
     */
    readonly _I: I;
    constructor(
    /** a unique name for this codec */
    name: string, 
    /** a custom type guard */
    is: Is<A>, 
    /** succeeds if a value of type I can be decoded to a value of type A */
    validate: Validate<I, A>, 
    /** converts a value of type A to a value of type O */
    encode: Encode<A, O>);
    /**
     * @since 1.0.0
     */
    pipe<B, IB, A extends IB, OB extends A>(this: Type<A, O, I>, ab: Type<B, OB, IB>, name?: string): Type<B, O, I>;
    /**
     * @since 1.0.0
     */
    asDecoder(): Decoder<I, A>;
    /**
     * @since 1.0.0
     */
    asEncoder(): Encoder<A, O>;
    /**
     * a version of `validate` with a default context
     * @since 1.0.0
     */
    decode(i: I): Validation<A>;
}
/**
 * @since 1.0.0
 */
export declare const identity: <A>(a: A) => A;
/**
 * @since 1.0.0
 */
export declare const getFunctionName: (f: Function) => string;
/**
 * @since 1.0.0
 */
export declare const getContextEntry: (key: string, decoder: Decoder<any, any>) => ContextEntry;
/**
 * @since 1.0.0
 */
export declare const appendContext: (c: Context, key: string, decoder: Decoder<any, any>, actual?: unknown) => Context;
/**
 * @since 1.0.0
 */
export declare const failures: <T>(errors: Errors) => Validation<T>;
/**
 * @since 1.0.0
 */
export declare const failure: <T>(value: unknown, context: Context, message?: string | undefined) => Either<Errors, T>;
/**
 * @since 1.0.0
 */
export declare const success: <T>(value: T) => Validation<T>;
/**
 * @since 1.0.0
 */
export declare class NullType extends Type<null> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'NullType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface NullC extends NullType {
}
/**
 * @category Primitives
 * @since 1.0.0
 */
export declare const nullType: NullC;
/**
 * @since 1.0.0
 */
export declare class UndefinedType extends Type<undefined> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'UndefinedType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface UndefinedC extends UndefinedType {
}
declare const undefinedType: UndefinedC;
/**
 * @since 1.2.0
 */
export declare class VoidType extends Type<void> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'VoidType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface VoidC extends VoidType {
}
/**
 * @category Primitives
 * @since 1.2.0
 */
export declare const voidType: VoidC;
/**
 * @since 1.5.0
 */
export declare class UnknownType extends Type<unknown> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'UnknownType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface UnknownC extends UnknownType {
}
/**
 * @category Primitives
 * @since 1.5.0
 */
export declare const unknown: UnknownC;
/**
 * @since 1.0.0
 */
export declare class StringType extends Type<string> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'StringType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface StringC extends StringType {
}
/**
 * @category Primitives
 * @since 1.0.0
 */
export declare const string: StringC;
/**
 * @since 1.0.0
 */
export declare class NumberType extends Type<number> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'NumberType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface NumberC extends NumberType {
}
/**
 * @category Primitives
 * @since 1.0.0
 */
export declare const number: NumberC;
/**
 * @since 2.1.0
 */
export declare class BigIntType extends Type<bigint> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'BigIntType';
    constructor();
}
/**
 * @since 2.1.0
 */
export interface BigIntC extends BigIntType {
}
/**
 * @category Primitives
 * @since 2.1.0
 */
export declare const bigint: BigIntC;
/**
 * @since 1.0.0
 */
export declare class BooleanType extends Type<boolean> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'BooleanType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface BooleanC extends BooleanType {
}
/**
 * @category Primitives
 * @since 1.0.0
 */
export declare const boolean: BooleanC;
/**
 * @since 1.0.0
 */
export declare class AnyArrayType extends Type<Array<unknown>> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'AnyArrayType';
    constructor();
}
/**
 * @since 1.5.3
 */
export interface UnknownArrayC extends AnyArrayType {
}
/**
 * @category Primitives
 * @since 1.7.1
 */
export declare const UnknownArray: UnknownArrayC;
/**
 * @since 1.0.0
 */
export declare class AnyDictionaryType extends Type<{
    [key: string]: unknown;
}> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'AnyDictionaryType';
    constructor();
}
/**
 * @category Primitives
 * @since 1.7.1
 */
export declare const UnknownRecord: UnknownRecordC;
/**
 * @since 1.5.3
 */
export interface UnknownRecordC extends AnyDictionaryType {
}
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare class FunctionType extends Type<Function> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'FunctionType';
    constructor();
}
/**
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface FunctionC extends FunctionType {
}
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const Function: FunctionC;
/**
 * @since 1.0.0
 */
export declare class RefinementType<C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly type: C;
    readonly predicate: Predicate<A>;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'RefinementType';
    constructor(name: string, is: RefinementType<C, A, O, I>['is'], validate: RefinementType<C, A, O, I>['validate'], encode: RefinementType<C, A, O, I>['encode'], type: C, predicate: Predicate<A>);
}
declare const _brand: unique symbol;
/**
 * @since 1.8.1
 */
export interface Brand<B> {
    readonly [_brand]: B;
}
/**
 * @since 1.8.1
 */
export declare type Branded<A, B> = A & Brand<B>;
/**
 * @since 1.8.1
 */
export interface BrandC<C extends Any, B> extends RefinementType<C, Branded<TypeOf<C>, B>, OutputOf<C>, InputOf<C>> {
}
/**
 * @category Combinators
 * @since 1.8.1
 */
export declare const brand: <C extends Any, N extends string, B extends { readonly [K in N]: symbol; }>(codec: C, predicate: Refinement<C["_A"], Branded<C["_A"], B>>, name: N) => BrandC<C, B>;
/**
 * @since 1.8.1
 */
export interface IntBrand {
    readonly Int: unique symbol;
}
/**
 * A branded codec representing an integer
 *
 * @category Primitives
 * @since 1.8.1
 */
export declare const Int: BrandC<NumberC, IntBrand>;
/**
 * @since 1.8.1
 */
export declare type Int = Branded<number, IntBrand>;
declare type LiteralValue = string | number | boolean;
/**
 * @since 1.0.0
 */
export declare class LiteralType<V extends LiteralValue> extends Type<V> {
    readonly value: V;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'LiteralType';
    constructor(name: string, is: LiteralType<V>['is'], validate: LiteralType<V>['validate'], encode: LiteralType<V>['encode'], value: V);
}
/**
 * @since 1.5.3
 */
export interface LiteralC<V extends LiteralValue> extends LiteralType<V> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const literal: <V extends string | number | boolean>(value: V, name?: string) => LiteralC<V>;
/**
 * @since 1.0.0
 */
export declare class KeyofType<D extends {
    [key: string]: unknown;
}> extends Type<keyof D> {
    readonly keys: D;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'KeyofType';
    constructor(name: string, is: KeyofType<D>['is'], validate: KeyofType<D>['validate'], encode: KeyofType<D>['encode'], keys: D);
}
/**
 * @since 1.5.3
 */
export interface KeyofC<D extends {
    [key: string]: unknown;
}> extends KeyofType<D> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const keyof: <D extends {
    [key: string]: unknown;
}>(keys: D, name?: string) => KeyofC<D>;
/**
 * @since 1.0.0
 */
export declare class RecursiveType<C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    runDefinition: () => C;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'RecursiveType';
    constructor(name: string, is: RecursiveType<C, A, O, I>['is'], validate: RecursiveType<C, A, O, I>['validate'], encode: RecursiveType<C, A, O, I>['encode'], runDefinition: () => C);
    /**
     * @since 1.0.0
     */
    readonly type: C;
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const recursion: <A, O = A, I = unknown, C extends Type<A, O, I> = Type<A, O, I>>(name: string, definition: (self: C) => C) => RecursiveType<C, A, O, I>;
/**
 * @since 1.0.0
 */
export declare class ArrayType<C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly type: C;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'ArrayType';
    constructor(name: string, is: ArrayType<C, A, O, I>['is'], validate: ArrayType<C, A, O, I>['validate'], encode: ArrayType<C, A, O, I>['encode'], type: C);
}
/**
 * @since 1.5.3
 */
export interface ArrayC<C extends Mixed> extends ArrayType<C, Array<TypeOf<C>>, Array<OutputOf<C>>, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const array: <C extends Mixed>(codec: C, name?: string) => ArrayC<C>;
/**
 * @since 1.0.0
 */
export declare class InterfaceType<P, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly props: P;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'InterfaceType';
    constructor(name: string, is: InterfaceType<P, A, O, I>['is'], validate: InterfaceType<P, A, O, I>['validate'], encode: InterfaceType<P, A, O, I>['encode'], props: P);
}
/**
 * @since 1.0.0
 */
export interface AnyProps {
    [key: string]: Any;
}
/**
 * @since 1.0.0
 */
export declare type TypeOfProps<P extends AnyProps> = {
    [K in keyof P]: TypeOf<P[K]>;
};
/**
 * @since 1.0.0
 */
export declare type OutputOfProps<P extends AnyProps> = {
    [K in keyof P]: OutputOf<P[K]>;
};
/**
 * @since 1.0.0
 */
export interface Props {
    [key: string]: Mixed;
}
/**
 * @since 1.5.3
 */
export interface TypeC<P extends Props> extends InterfaceType<P, {
    [K in keyof P]: TypeOf<P[K]>;
}, {
    [K in keyof P]: OutputOf<P[K]>;
}, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const type: <P extends Props>(props: P, name?: string) => TypeC<P>;
/**
 * @since 1.0.0
 */
export declare class PartialType<P, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly props: P;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'PartialType';
    constructor(name: string, is: PartialType<P, A, O, I>['is'], validate: PartialType<P, A, O, I>['validate'], encode: PartialType<P, A, O, I>['encode'], props: P);
}
/**
 * @since 1.0.0
 */
export declare type TypeOfPartialProps<P extends AnyProps> = {
    [K in keyof P]?: TypeOf<P[K]>;
};
/**
 * @since 1.0.0
 */
export declare type OutputOfPartialProps<P extends AnyProps> = {
    [K in keyof P]?: OutputOf<P[K]>;
};
/**
 * @since 1.5.3
 */
export interface PartialC<P extends Props> extends PartialType<P, {
    [K in keyof P]?: TypeOf<P[K]>;
}, {
    [K in keyof P]?: OutputOf<P[K]>;
}, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const partial: <P extends Props>(props: P, name?: string) => PartialC<P>;
/**
 * @since 1.0.0
 */
export declare class DictionaryType<D extends Any, C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly domain: D;
    readonly codomain: C;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'DictionaryType';
    constructor(name: string, is: DictionaryType<D, C, A, O, I>['is'], validate: DictionaryType<D, C, A, O, I>['validate'], encode: DictionaryType<D, C, A, O, I>['encode'], domain: D, codomain: C);
}
/**
 * @since 1.0.0
 */
export declare type TypeOfDictionary<D extends Any, C extends Any> = {
    [K in TypeOf<D>]: TypeOf<C>;
};
/**
 * @since 1.0.0
 */
export declare type OutputOfDictionary<D extends Any, C extends Any> = {
    [K in OutputOf<D>]: OutputOf<C>;
};
/**
 * @since 1.5.3
 */
export interface RecordC<D extends Mixed, C extends Mixed> extends DictionaryType<D, C, {
    [K in TypeOf<D>]: TypeOf<C>;
}, {
    [K in OutputOf<D>]: OutputOf<C>;
}, unknown> {
}
/**
 * @category Combinators
 * @since 1.7.1
 */
export declare function record<D extends Mixed, C extends Mixed>(domain: D, codomain: C, name?: string): RecordC<D, C>;
/**
 * @since 1.0.0
 */
export declare class UnionType<CS extends Array<Any>, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly types: CS;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'UnionType';
    constructor(name: string, is: UnionType<CS, A, O, I>['is'], validate: UnionType<CS, A, O, I>['validate'], encode: UnionType<CS, A, O, I>['encode'], types: CS);
}
/**
 * @since 1.5.3
 */
export interface UnionC<CS extends [Mixed, Mixed, ...Array<Mixed>]> extends UnionType<CS, TypeOf<CS[number]>, OutputOf<CS[number]>, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const union: <CS extends [Mixed, Mixed, ...Mixed[]]>(codecs: CS, name?: string) => UnionC<CS>;
/**
 * @since 1.0.0
 */
export declare class IntersectionType<CS extends Array<Any>, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly types: CS;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'IntersectionType';
    constructor(name: string, is: IntersectionType<CS, A, O, I>['is'], validate: IntersectionType<CS, A, O, I>['validate'], encode: IntersectionType<CS, A, O, I>['encode'], types: CS);
}
/**
 * @since 1.5.3
 */
export interface IntersectionC<CS extends [Mixed, Mixed, ...Array<Mixed>]> extends IntersectionType<CS, CS extends {
    length: 2;
} ? TypeOf<CS[0]> & TypeOf<CS[1]> : CS extends {
    length: 3;
} ? TypeOf<CS[0]> & TypeOf<CS[1]> & TypeOf<CS[2]> : CS extends {
    length: 4;
} ? TypeOf<CS[0]> & TypeOf<CS[1]> & TypeOf<CS[2]> & TypeOf<CS[3]> : CS extends {
    length: 5;
} ? TypeOf<CS[0]> & TypeOf<CS[1]> & TypeOf<CS[2]> & TypeOf<CS[3]> & TypeOf<CS[4]> : unknown, CS extends {
    length: 2;
} ? OutputOf<CS[0]> & OutputOf<CS[1]> : CS extends {
    length: 3;
} ? OutputOf<CS[0]> & OutputOf<CS[1]> & OutputOf<CS[2]> : CS extends {
    length: 4;
} ? OutputOf<CS[0]> & OutputOf<CS[1]> & OutputOf<CS[2]> & OutputOf<CS[3]> : CS extends {
    length: 5;
} ? OutputOf<CS[0]> & OutputOf<CS[1]> & OutputOf<CS[2]> & OutputOf<CS[3]> & OutputOf<CS[4]> : unknown, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare function intersection<A extends Mixed, B extends Mixed, C extends Mixed, D extends Mixed, E extends Mixed>(codecs: [A, B, C, D, E], name?: string): IntersectionC<[A, B, C, D, E]>;
export declare function intersection<A extends Mixed, B extends Mixed, C extends Mixed, D extends Mixed>(codecs: [A, B, C, D], name?: string): IntersectionC<[A, B, C, D]>;
export declare function intersection<A extends Mixed, B extends Mixed, C extends Mixed>(codecs: [A, B, C], name?: string): IntersectionC<[A, B, C]>;
export declare function intersection<A extends Mixed, B extends Mixed>(codecs: [A, B], name?: string): IntersectionC<[A, B]>;
/**
 * @since 1.0.0
 */
export declare class TupleType<CS extends Array<Any>, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly types: CS;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'TupleType';
    constructor(name: string, is: TupleType<CS, A, O, I>['is'], validate: TupleType<CS, A, O, I>['validate'], encode: TupleType<CS, A, O, I>['encode'], types: CS);
}
/**
 * @since 1.5.3
 */
export interface TupleC<CS extends [Mixed, ...Array<Mixed>]> extends TupleType<CS, CS extends {
    length: 1;
} ? [TypeOf<CS[0]>] : CS extends {
    length: 2;
} ? [TypeOf<CS[0]>, TypeOf<CS[1]>] : CS extends {
    length: 3;
} ? [TypeOf<CS[0]>, TypeOf<CS[1]>, TypeOf<CS[2]>] : CS extends {
    length: 4;
} ? [TypeOf<CS[0]>, TypeOf<CS[1]>, TypeOf<CS[2]>, TypeOf<CS[3]>] : CS extends {
    length: 5;
} ? [TypeOf<CS[0]>, TypeOf<CS[1]>, TypeOf<CS[2]>, TypeOf<CS[3]>, TypeOf<CS[4]>] : unknown, CS extends {
    length: 1;
} ? [OutputOf<CS[0]>] : CS extends {
    length: 2;
} ? [OutputOf<CS[0]>, OutputOf<CS[1]>] : CS extends {
    length: 3;
} ? [OutputOf<CS[0]>, OutputOf<CS[1]>, OutputOf<CS[2]>] : CS extends {
    length: 4;
} ? [OutputOf<CS[0]>, OutputOf<CS[1]>, OutputOf<CS[2]>, OutputOf<CS[3]>] : CS extends {
    length: 5;
} ? [OutputOf<CS[0]>, OutputOf<CS[1]>, OutputOf<CS[2]>, OutputOf<CS[3]>, OutputOf<CS[4]>] : unknown, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare function tuple<A extends Mixed, B extends Mixed, C extends Mixed, D extends Mixed, E extends Mixed>(codecs: [A, B, C, D, E], name?: string): TupleC<[A, B, C, D, E]>;
export declare function tuple<A extends Mixed, B extends Mixed, C extends Mixed, D extends Mixed>(codecs: [A, B, C, D], name?: string): TupleC<[A, B, C, D]>;
export declare function tuple<A extends Mixed, B extends Mixed, C extends Mixed>(codecs: [A, B, C], name?: string): TupleC<[A, B, C]>;
export declare function tuple<A extends Mixed, B extends Mixed>(codecs: [A, B], name?: string): TupleC<[A, B]>;
export declare function tuple<A extends Mixed>(codecs: [A], name?: string): TupleC<[A]>;
/**
 * @since 1.0.0
 */
export declare class ReadonlyType<C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly type: C;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'ReadonlyType';
    constructor(name: string, is: ReadonlyType<C, A, O, I>['is'], validate: ReadonlyType<C, A, O, I>['validate'], encode: ReadonlyType<C, A, O, I>['encode'], type: C);
}
/**
 * @since 1.5.3
 */
export interface ReadonlyC<C extends Mixed> extends ReadonlyType<C, Readonly<TypeOf<C>>, Readonly<OutputOf<C>>, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const readonly: <C extends Mixed>(codec: C, name?: string) => ReadonlyC<C>;
/**
 * @since 1.0.0
 */
export declare class ReadonlyArrayType<C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly type: C;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'ReadonlyArrayType';
    constructor(name: string, is: ReadonlyArrayType<C, A, O, I>['is'], validate: ReadonlyArrayType<C, A, O, I>['validate'], encode: ReadonlyArrayType<C, A, O, I>['encode'], type: C);
}
/**
 * @since 1.5.3
 */
export interface ReadonlyArrayC<C extends Mixed> extends ReadonlyArrayType<C, ReadonlyArray<TypeOf<C>>, ReadonlyArray<OutputOf<C>>, unknown> {
}
/**
 * @category Combinators
 * @since 1.0.0
 */
export declare const readonlyArray: <C extends Mixed>(codec: C, name?: string) => ReadonlyArrayC<C>;
/**
 * Strips additional properties
 *
 * @category Combinators
 * @since 1.0.0
 */
export declare const strict: <P extends Props>(props: P, name?: string | undefined) => ExactC<TypeC<P>>;
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export declare class TaggedUnionType<Tag extends string, CS extends Array<Mixed>, A = any, O = A, I = unknown> extends UnionType<CS, A, O, I> {
    readonly tag: Tag;
    constructor(name: string, is: TaggedUnionType<Tag, CS, A, O, I>['is'], validate: TaggedUnionType<Tag, CS, A, O, I>['validate'], encode: TaggedUnionType<Tag, CS, A, O, I>['encode'], codecs: CS, tag: Tag);
}
/**
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface TaggedUnionC<Tag extends string, CS extends [Mixed, Mixed, ...Array<Mixed>]>// tslint:disable-next-line: deprecation
 extends TaggedUnionType<Tag, CS, TypeOf<CS[number]>, OutputOf<CS[number]>, unknown> {
}
/**
 * Use `union` instead
 *
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export declare const taggedUnion: <Tag extends string, CS extends [Mixed, Mixed, ...Mixed[]]>(tag: Tag, codecs: CS, name?: string) => TaggedUnionC<Tag, CS>;
/**
 * @since 1.1.0
 */
export declare class ExactType<C extends Any, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly type: C;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'ExactType';
    constructor(name: string, is: ExactType<C, A, O, I>['is'], validate: ExactType<C, A, O, I>['validate'], encode: ExactType<C, A, O, I>['encode'], type: C);
}
/**
 * @since 1.1.0
 */
export interface HasPropsRefinement extends RefinementType<HasProps, any, any, any> {
}
/**
 * @since 1.1.0
 */
export interface HasPropsReadonly extends ReadonlyType<HasProps, any, any, any> {
}
/**
 * @since 1.1.0
 */
export interface HasPropsIntersection extends IntersectionType<Array<HasProps>, any, any, any> {
}
/**
 * @since 1.1.0
 */
export declare type HasProps = HasPropsRefinement | HasPropsReadonly | HasPropsIntersection | InterfaceType<any, any, any, any> | StrictType<any, any, any, any> | PartialType<any, any, any, any>;
/**
 * @since 1.5.3
 */
export interface ExactC<C extends HasProps> extends ExactType<C, TypeOf<C>, OutputOf<C>, InputOf<C>> {
}
/**
 * Strips additional properties
 * @since 1.1.0
 */
export declare const exact: <C extends HasProps>(codec: C, name?: string) => ExactC<C>;
export { 
/**
 * @since 1.0.0
 */
nullType as null };
export { 
/**
 * @since 1.0.0
 */
undefinedType as undefined };
export { 
/**
 * Use `UnknownArray` instead
 *
 * @category deprecated
 * @deprecated
 * @since 1.0.0
 */
UnknownArray as Array };
export { 
/**
 * Use `type` instead
 *
 * @category deprecated
 * @deprecated
 * @since 1.0.0
 */
type as interface };
export { 
/**
 * @since 1.0.0
 */
voidType as void };
/**
 * Use `unknown` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare type mixed = unknown;
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const getValidationError: (value: unknown, context: Context) => ValidationError;
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const getDefaultContext: (decoder: Decoder<any, any>) => Context;
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare class NeverType extends Type<never> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'NeverType';
    constructor();
}
/**
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface NeverC extends NeverType {
}
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const never: NeverC;
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare class AnyType extends Type<any> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'AnyType';
    constructor();
}
/**
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface AnyC extends AnyType {
}
/**
 * Use `unknown` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const any: AnyC;
/**
 * Use `UnknownRecord` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const Dictionary: UnknownRecordC;
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare class ObjectType extends Type<object> {
    /**
     * @since 1.0.0
     */
    readonly _tag: 'ObjectType';
    constructor();
}
/**
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface ObjectC extends ObjectType {
}
/**
 * Use `UnknownRecord` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const object: ObjectC;
/**
 * Use `BrandC` instead
 *
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface RefinementC<C extends Any> extends RefinementType<C, TypeOf<C>, OutputOf<C>, InputOf<C>> {
}
/**
 * Use `brand` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare function refinement<C extends Any>(codec: C, predicate: Predicate<TypeOf<C>>, name?: string): RefinementC<C>;
/**
 * Use `Int` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const Integer: RefinementC<NumberC>;
/**
 * Use `record` instead
 *
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare const dictionary: typeof record;
/**
 * used in `intersection` as a workaround for #234
 *
 * @category deprecated
 * @since 1.4.2
 * @deprecated
 */
export declare type Compact<A> = {
    [K in keyof A]: A[K];
};
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare class StrictType<P, A = any, O = A, I = unknown> extends Type<A, O, I> {
    readonly props: P;
    /**
     * @since 1.0.0
     */
    readonly _tag: 'StrictType';
    constructor(name: string, is: StrictType<P, A, O, I>['is'], validate: StrictType<P, A, O, I>['validate'], encode: StrictType<P, A, O, I>['encode'], props: P);
}
/**
 * @category deprecated
 * @since 1.5.3
 * @deprecated
 */
export interface StrictC<P extends Props>// tslint:disable-next-line: deprecation
 extends StrictType<P, {
    [K in keyof P]: TypeOf<P[K]>;
}, {
    [K in keyof P]: OutputOf<P[K]>;
}, unknown> {
}
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export declare type TaggedProps<Tag extends string> = {
    [K in Tag]: LiteralType<any>;
};
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export interface TaggedRefinement<Tag extends string, A, O = A> extends RefinementType<Tagged<Tag>, A, O> {
}
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export interface TaggedUnion<Tag extends string, A, O = A> extends UnionType<Array<Tagged<Tag>>, A, O> {
}
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export declare type TaggedIntersectionArgument<Tag extends string> = [Tagged<Tag>] | [Tagged<Tag>, Mixed] | [Mixed, Tagged<Tag>] | [Tagged<Tag>, Mixed, Mixed] | [Mixed, Tagged<Tag>, Mixed] | [Mixed, Mixed, Tagged<Tag>] | [Tagged<Tag>, Mixed, Mixed, Mixed] | [Mixed, Tagged<Tag>, Mixed, Mixed] | [Mixed, Mixed, Tagged<Tag>, Mixed] | [Mixed, Mixed, Mixed, Tagged<Tag>] | [Tagged<Tag>, Mixed, Mixed, Mixed, Mixed] | [Mixed, Tagged<Tag>, Mixed, Mixed, Mixed] | [Mixed, Mixed, Tagged<Tag>, Mixed, Mixed] | [Mixed, Mixed, Mixed, Tagged<Tag>, Mixed] | [Mixed, Mixed, Mixed, Mixed, Tagged<Tag>];
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export interface TaggedIntersection<Tag extends string, A, O = A>// tslint:disable-next-line: deprecation
 extends IntersectionType<TaggedIntersectionArgument<Tag>, A, O> {
}
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export interface TaggedExact<Tag extends string, A, O = A> extends ExactType<Tagged<Tag>, A, O> {
}
/**
 * @category deprecated
 * @since 1.3.0
 * @deprecated
 */
export declare type Tagged<Tag extends string, A = any, O = A> = InterfaceType<TaggedProps<Tag>, A, O> | StrictType<TaggedProps<Tag>, A, O> | TaggedRefinement<Tag, A, O> | TaggedUnion<Tag, A, O> | TaggedIntersection<Tag, A, O> | TaggedExact<Tag, A, O> | RecursiveType<any, A, O>;
/**
 * Drops the codec "kind"
 *
 * @category deprecated
 * @since 1.1.0
 * @deprecated
 */
export declare function clean<A, O = A, I = unknown>(codec: Type<A, O, I>): Type<A, O, I>;
/**
 * @category deprecated
 * @since 1.0.0
 * @deprecated
 */
export declare type PropsOf<T extends {
    props: any;
}> = T['props'];
/**
 * @category deprecated
 * @since 1.1.0
 * @deprecated
 */
export declare type Exact<T, X extends T> = T & {
    [K in ({
        [K in keyof X]: K;
    } & {
        [K in keyof T]: never;
    } & {
        [key: string]: never;
    })[keyof X]]?: never;
};
/**
 * Keeps the codec "kind"
 *
 * @category deprecated
 * @since 1.1.0
 * @deprecated
 */
export declare function alias<A, O, P, I>(codec: PartialType<P, A, O, I>): <AA extends Exact<A, AA>, OO extends Exact<O, OO> = O, PP extends Exact<P, PP> = P, II extends I = I>() => PartialType<PP, AA, OO, II>;
export declare function alias<A, O, P, I>(codec: StrictType<P, A, O, I>): <AA extends Exact<A, AA>, OO extends Exact<O, OO> = O, PP extends Exact<P, PP> = P, II extends I = I>() => StrictType<PP, AA, OO, II>;
export declare function alias<A, O, P, I>(codec: InterfaceType<P, A, O, I>): <AA extends Exact<A, AA>, OO extends Exact<O, OO> = O, PP extends Exact<P, PP> = P, II extends I = I>() => InterfaceType<PP, AA, OO, II>;