/**
 * **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 { Contravariant1 } from 'fp-ts/es6/Contravariant';
import * as E from './Encoder';
import { Schemable1 } from './Schemable';
/**
 * @category model
 * @since 2.2.3
 */
export interface JsonArray extends ReadonlyArray<Json> {
}
/**
 * @category model
 * @since 2.2.3
 */
export interface JsonRecord {
    readonly [key: string]: Json;
}
/**
 * @category model
 * @since 2.2.3
 */
export declare type Json = null | string | number | boolean | JsonRecord | JsonArray;
/**
 * @category model
 * @since 2.2.3
 */
export interface JsonEncoder<A> {
    readonly encode: (a: A) => Json;
}
/**
 * @since 2.2.3
 */
export declare type TypeOf<E> = E.TypeOf<E>;
/**
 * @category primitives
 * @since 2.2.5
 */
export declare function id<A extends Json>(): JsonEncoder<A>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const nullable: <A>(or: JsonEncoder<A>) => JsonEncoder<null | A>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const type: <A>(properties: {
    [K in keyof A]: JsonEncoder<A[K]>;
}) => JsonEncoder<{
    [K in keyof A]: A[K];
}>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const partial: <A>(properties: {
    [K in keyof A]: JsonEncoder<A[K]>;
}) => JsonEncoder<Partial<{
    [K in keyof A]: A[K];
}>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const record: <A>(codomain: JsonEncoder<A>) => JsonEncoder<Record<string, A>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const array: <A>(items: JsonEncoder<A>) => JsonEncoder<Array<A>>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const tuple: <A extends ReadonlyArray<unknown>>(...components: {
    [K in keyof A]: JsonEncoder<A[K]>;
}) => JsonEncoder<A>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const intersect: <B>(right: JsonEncoder<B>) => <A>(left: JsonEncoder<A>) => JsonEncoder<A & B>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const sum: <T extends string>(tag: T) => <A>(members: {
    [K in keyof A]: JsonEncoder<A[K]>;
}) => JsonEncoder<A[keyof A]>;
/**
 * @category combinators
 * @since 2.2.3
 */
export declare const lazy: <A>(f: () => JsonEncoder<A>) => JsonEncoder<A>;
/**
 * @category Contravariant
 * @since 2.2.3
 */
export declare const contramap: <A, B>(f: (b: B) => A) => (fa: JsonEncoder<A>) => JsonEncoder<B>;
/**
 * @category instances
 * @since 2.2.3
 */
export declare const URI = "io-ts/JsonEncoder";
/**
 * @category instances
 * @since 2.2.3
 */
export declare type URI = typeof URI;
declare module 'fp-ts/es6/HKT' {
    interface URItoKind<A> {
        readonly [URI]: JsonEncoder<A>;
    }
}
/**
 * @category instances
 * @since 2.2.3
 */
export declare const contravariantJsonEncoder: Contravariant1<URI>;
/**
 * @category instances
 * @since 2.2.3
 */
export declare const schemableJsonEncoder: Schemable1<URI>;