import type { Newtype } from "@effect-ts/core/Newtype";
import type { URI } from "@effect-ts/core/Prelude";
import * as P from "@effect-ts/core/Prelude";
import * as _ from "../Internal/index.js";
import { Iso, isoAsPrism as asPrism, isoAsTraversal as asTraversal, isoComposeIso as compose } from "../Internal/index.js";
import type { Lens } from "../Lens/index.js";
import type { Optional } from "../Optional/index.js";
export { Iso };
/**
 * View an `Iso` as a `Prism`
 */
export { asPrism };
export { compose };
/**
 * View an `Iso` as a `Traversal`
 */
export { asTraversal };
export declare const id: <S>() => _.Iso<S, S>;
/**
 * View an `Iso` as a `Lens`
 */
export declare const asLens: <S, A>(sa: Iso<S, A>) => Lens<S, A>;
/**
 * View an `Iso` as a `Optional`
 */
export declare const asOptional: <S, A>(sa: Iso<S, A>) => Optional<S, A>;
export declare const reverse: <S, A>(sa: _.Iso<S, A>) => _.Iso<A, S>;
export declare const modify: <A>(f: (a: A) => A) => <S>(sa: _.Iso<S, A>) => (s: S) => S;
export declare const imap: <A, B>(f: (a: A) => B, g: (b: B) => A) => <S>(sa: Iso<S, A>) => Iso<S, B>;
export declare const IsoURI = "monocle/Iso";
export declare type IsoURI = typeof IsoURI;
declare module "@effect-ts/core/Prelude/HKT" {
    interface URItoKind<FC, TC, K, Q, W, X, I, S, R, E, A> {
        [IsoURI]: Iso<I, A>;
    }
}
export declare const Category: P.Category<[URI<"monocle/Iso", {}>], P.Auto>;
export declare const Invariant: P.Invariant<[URI<"monocle/Iso", {}>], P.Auto>;
export declare function newtype<T extends Newtype<any, any>>(): Iso<T["_A"], T>;
//# sourceMappingURL=index.d.ts.map