import type { ModelAlgebraRefined } from '@morphic-ts/model-algebras/lib/refined';
import type { Predicate } from 'fp-ts/function';
import { Type } from 'io-ts';
import { IoTsURI } from '../hkt';
declare module '@morphic-ts/model-algebras/lib/refined' {
    /**
     *  @since 0.0.1
     */
    interface RefinedConfig<E, A, B> {
        [IoTsURI]: {
            type: Type<A, E>;
        };
    }
    /**
     *  @since 0.0.1
     */
    interface PredicateConfig<E, A> {
        [IoTsURI]: {
            type: Type<A, E>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export declare const refinement: <A, O, B extends A>(T: Type<A, O, unknown>, ref: (a: A) => a is B, name: string) => Type<B, O, unknown>;
/**
 *  @since 0.0.1
 */
export declare const predicate: <A, O>(T: Type<A, O, unknown>, predicate: Predicate<A>, name: string) => Type<A, O, unknown>;
/**
 *  @since 0.0.1
 */
export declare const ioTsRefinedInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraRefined<"IoTsURI", Env>;