/**
 * This file contains the Identity algebraic data type. Identity is one of the
 * simplest data types in that it represents a type AS IS, allowing one to
 * create algebraic structures for the inner type. This is most useful for
 * constructing arrow optics.
 *
 * @module Identity
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { Kind, Out } from "./kind.js";
import type { Applicable } from "./applicable.js";
import type { Mappable } from "./mappable.js";
import type { Flatmappable } from "./flatmappable.js";
import type { Wrappable } from "./wrappable.js";
/**
 * @since 2.0.0
 */
export type Identity<A> = A;
/**
 * @since 2.0.0
 */
export interface KindIdentity extends Kind {
    readonly kind: Identity<Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export declare function wrap<A>(a: A): Identity<A>;
/**
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): (ta: Identity<A>) => Identity<I>;
/**
 * @since 2.0.0
 */
export declare function apply<A>(ua: Identity<A>): <I>(ufai: Identity<(a: A) => I>) => Identity<I>;
/**
 * @since 2.0.0
 */
export declare function flatmap<A, I>(fati: (a: A) => Identity<I>): (ta: Identity<A>) => Identity<I>;
/**
 * @since 2.0.0
 */
export declare const ApplicableIdentity: Applicable<KindIdentity>;
/**
 * @since 2.0.0
 */
export declare const MappableIdentity: Mappable<KindIdentity>;
/**
 * @since 2.0.0
 */
export declare const FlatmappableIdentity: Flatmappable<KindIdentity>;
/**
 * @since 2.0.0
 */
export declare const WrappableIdentity: Wrappable<KindIdentity>;