import type { ModelAlgebraNewtype } from '@morphic-ts/model-algebras/lib/newtype';
import { Type } from 'io-ts';
import { IoTsURI } from '../hkt';
declare module '@morphic-ts/model-algebras/lib/newtype' {
    interface NewtypeConfig<L, A, N> {
        [IoTsURI]: {
            type: Type<A, L>;
        };
    }
    interface IsoConfig<L, A, N> {
        [IoTsURI]: {
            type: Type<A, L>;
        };
    }
    interface PrismConfig<L, A, N> {
        [IoTsURI]: {
            type: Type<A, L>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export declare const ioTsNewtypeInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraNewtype<"IoTsURI", Env>;