import type { Either } from 'fp-ts/Either';
import type { Errors, Type } from 'io-ts';
import type { Validated } from './create';
/**
 *  @since 0.0.1
 */
export declare const IoTsURI: "IoTsURI";
/**
 *  @since 0.0.1
 */
export declare type IoTsURI = typeof IoTsURI;
declare module '@morphic-ts/common/es6/config' {
    interface ConfigType<E, A> {
        [IoTsURI]: Type<A, E>;
    }
}
/**
 *  @since 0.0.1
 */
export declare class IOTSType<O, A> {
    type: Type<A, O>;
    _A: A;
    _E: O;
    _URI: IoTsURI;
    create: (a: A) => Either<Errors, Validated<A>>;
    constructor(type: Type<A, O>);
}
declare module '@morphic-ts/common/es6/HKT' {
    interface URItoKind<R, E, A> {
        [IoTsURI]: (env: R) => IOTSType<E, A>;
    }
}