import { $type, TyK, TyVar } from '@fp4ts/core';
import { EqK } from '../eq-k';
import { Distributive } from '../distributive';
import { Applicative } from '../applicative';
import { Apply } from '../apply';
import { FlatMap } from '../flat-map';
import { CoflatMap } from '../coflat-map';
import { Functor } from '../functor';
import { Monad } from '../monad';
import { Comonad } from '../comonad';
import { Foldable } from '../foldable';
import { Traversable } from '../traversable';
import { Unzip } from '../unzip';
export type Identity<A> = A;
export declare const Identity: IdentityObj;
interface IdentityObj {
    <A>(a: A): Identity<A>;
    readonly EqK: EqK<IdentityF>;
    readonly Functor: Functor<IdentityF>;
    readonly Distributive: Distributive<IdentityF>;
    readonly Apply: Apply<IdentityF>;
    readonly Applicative: Applicative<IdentityF>;
    readonly FlatMap: FlatMap<IdentityF>;
    readonly CoflatMap: CoflatMap<IdentityF>;
    readonly Monad: Monad<IdentityF>;
    readonly Comonad: Comonad<IdentityF>;
    readonly Foldable: Foldable<IdentityF>;
    readonly Traversable: Traversable<IdentityF>;
    readonly Unzip: Unzip<IdentityF>;
}
export declare function isIdentityTC(TC: Traversable<any>): TC is Traversable<IdentityF>;
export declare function isIdentityTC(TC: Foldable<any>): TC is Foldable<IdentityF>;
export declare function isIdentityTC(TC: Monad<any>): TC is Monad<IdentityF>;
export declare function isIdentityTC(TC: Applicative<any>): TC is Applicative<IdentityF>;
export declare function isIdentityTC(TC: FlatMap<any>): TC is FlatMap<IdentityF>;
export declare function isIdentityTC(TC: Apply<any>): TC is Apply<IdentityF>;
export declare function isIdentityTC(TC: Functor<any>): TC is Functor<IdentityF>;
/**
 * @category Type Constructor
 * @category Data
 */
export interface IdentityF extends TyK<[unknown]> {
    [$type]: TyVar<this, 0>;
}
export {};
//# sourceMappingURL=identity.d.ts.map