/**
 * **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.0
 */
import { HKT, URIS, Kind } from 'fp-ts/es6/HKT';
import { Schemable, Schemable1 } from './Schemable';
/**
 * @category model
 * @since 2.2.0
 */
export interface Schema<A> {
    <S>(S: Schemable<S>): HKT<S, A>;
}
/**
 * @category constructors
 * @since 2.2.0
 */
export declare function make<A>(schema: Schema<A>): Schema<A>;
/**
 * @since 2.2.0
 */
export declare type TypeOf<S> = S extends Schema<infer A> ? A : never;
/**
 * @since 2.2.3
 */
export declare function interpreter<S extends URIS>(S: Schemable1<S>): <A>(schema: Schema<A>) => Kind<S, A>;