import type { ModelAlgebraStrMap } from '@morphic-ts/model-algebras/lib/str-map';
import * as t from 'io-ts';
import { IoTsURI } from '../hkt';
declare module '@morphic-ts/model-algebras/lib/str-map' {
    /**
     *  @since 0.0.1
     */
    interface StrMapConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
    /**
     *  @since 0.0.1
     */
    interface RecordConfig<LA, A, LB, B> {
        [IoTsURI]: {
            domainType: t.Type<A, LA>;
            codomainType: t.Type<B, LB>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export declare const ioTsStrMapInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraStrMap<"IoTsURI", Env>;