import type { InterfaceLA } from '@morphic-ts/model-algebras/lib/intersections';
import type { ModelAlgebraObject } from '@morphic-ts/model-algebras/lib/object';
import { IoTsURI } from '../hkt';
declare module '@morphic-ts/model-algebras/lib/object' {
    /**
     *  @since 0.0.1
     */
    interface InterfaceConfig<Props> {
        IoTsURI: {
            types: InterfaceLA<Props, IoTsURI>;
        };
    }
    /**
     *  @since 0.0.1
     */
    interface PartialConfig<Props> {
        IoTsURI: {
            types: InterfaceLA<Props, IoTsURI>;
        };
    }
    /**
     *  @since 0.0.1
     */
    interface BothConfig<Props, PropsPartial> {
        IoTsURI: {
            types: InterfaceLA<Props, IoTsURI>;
            typesPartial: InterfaceLA<PropsPartial, IoTsURI>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export declare const ioTsNonStrictObjectInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraObject<"IoTsURI", Env>;
/**
 *  @since 0.0.1
 */
export declare const ioTsStrictObjectInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraObject<"IoTsURI", Env>;