/**
 * A port of `monocle-ts` experimental `Iso` to schemata-ts
 *
 * @since 1.4.0
 */
import { Category2 } from 'fp-ts/Category';
import { Invariant2 } from 'fp-ts/Invariant';
import { Semigroupoid2 } from 'fp-ts/Semigroupoid';
/**
 * Represents an isomorphism between two types.
 *
 * @since 1.4.0
 * @category Models
 */
export interface Iso<A, B> {
    readonly get: (a: A) => B;
    readonly reverseGet: (b: B) => A;
}
/**
 * @since 1.4.0
 * @category Constructors
 */
export declare const make: <A, B>(get: (a: A) => B, reverseGet: (b: B) => A) => Iso<A, B>;
/**
 * @since 1.4.0
 * @category Instance Methods
 */
export declare const imap: <A, B>(f: (a: A) => B, g: (b: B) => A) => <S>(iso: Iso<S, A>) => Iso<S, B>;
/**
 * @since 1.4.0
 * @category Instance Methods
 */
export declare const compose: <B, C>(ab: Iso<B, C>) => <A>(iso: Iso<A, B>) => Iso<A, C>;
/**
 * @since 1.4.0
 * @category Instance Methods
 */
export declare const id: <A>() => Iso<A, A>;
/**
 * @since 1.4.0
 * @category Instances
 */
export declare const URI = "schemata-ts/Iso";
/**
 * @since 1.4.0
 * @category Instances
 */
export declare type URI = typeof URI;
declare module 'fp-ts/lib/HKT' {
    interface URItoKind2<E, A> {
        readonly [URI]: Iso<E, A>;
    }
}
/**
 * @since 1.4.0
 * @category Instances
 */
export declare const Invariant: Invariant2<URI>;
/**
 * @since 1.4.0
 * @category Instances
 */
export declare const Semigroupoid: Semigroupoid2<URI>;
/**
 * @since 1.4.0
 * @category Instances
 */
export declare const Category: Category2<URI>;
//# sourceMappingURL=iso.d.ts.map