import type { ModelAlgebraPrimitive } from '@morphic-ts/model-algebras/lib/primitives';
import * as t from 'io-ts';
import { IoTsURI } from '../hkt';
declare module '@morphic-ts/model-algebras/lib/primitives' {
    /**
     * @since 0.0.1
     */
    interface NonEmptyArrayConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
    /**
     * @since 0.0.1
     */
    interface ArrayConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
    /**
     * @since 0.0.1
     */
    interface NullableConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
    /**
     * @since 0.0.1
     */
    interface MutableConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
    /**
     * @since 0.0.1
     */
    interface OptionalConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
    /**
     * @since 0.0.1
     */
    interface EitherConfig<EE, EA, AE, AA> {
        [IoTsURI]: {
            left: t.Type<EA, EE>;
            right: t.Type<AA, AE>;
        };
    }
    /**
     * @since 0.0.1
     */
    interface OptionConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export interface BigIntStringC extends t.Type<bigint, string, unknown> {
}
/**
 *  @since 0.0.1
 */
export declare const BigIntString: BigIntStringC;
declare module '@morphic-ts/model-algebras/lib/primitives' {
    /**
     * @since 0.0.1
     */
    interface ArrayConfig<L, A> {
        [IoTsURI]: {
            type: t.Type<A, L>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export declare const ioTsPrimitiveInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraPrimitive<"IoTsURI", Env>;