import { $, $type, EvalF, Fix, TyK, TyVar, α, λ } from '@fp4ts/core';
import { CoflatMap } from '../coflat-map';
import { Comonad } from '../comonad';
import { Contravariant } from '../contravariant';
import { Defer } from '../defer';
import { Distributive } from '../distributive';
import { EqK } from '../eq-k';
import { Functor } from '../functor';
import { MonoidK } from '../monoid-k';
import { MonadDefer } from '../monad-defer';
export declare const function0EqK: import("@fp4ts/core").Lazy<EqK<Function0F>>;
export declare const function0Defer: import("@fp4ts/core").Lazy<Defer<Function0F>>;
export declare const function0Distributive: import("@fp4ts/core").Lazy<Distributive<Function0F>>;
export declare const function0Comonad: import("@fp4ts/core").Lazy<Comonad<Function0F>>;
export declare const function0MonadDefer: import("@fp4ts/core").Lazy<MonadDefer<Function0F>>;
export declare const endoMonoidK: import("@fp4ts/core").Lazy<MonoidK<EndoF>>;
export declare const endoEvalMonoidK: import("@fp4ts/core").Lazy<MonoidK<[EndoF, EvalF]>>;
export declare const function1Defer: <R>() => Defer<$<Function1F, [R]>>;
export declare const function1Functor: <R>() => Functor<$<Function1F, [R]>>;
export declare const function1Contravariant: <R>() => Contravariant<λ<Function1F, [α, Fix<R>]>>;
export declare const function1Distributive: <R>() => Distributive<$<Function1F, [R]>>;
export declare const function1CoflatMap: <R>() => CoflatMap<$<Function1F, [R]>>;
export declare const function1MonadDefer: <R>() => MonadDefer<$<Function1F, [R]>>;
/**
 * @category Type Constructor
 * @category Data
 */
export interface Function0F extends TyK<[unknown]> {
    [$type]: () => TyVar<this, 0>;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface Function1F extends TyK<[unknown, unknown]> {
    [$type]: (a: TyVar<this, 0>) => TyVar<this, 1>;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface EndoF extends TyK<[unknown]> {
    [$type]: (a: TyVar<this, 0>) => TyVar<this, 0>;
}
//# sourceMappingURL=function.d.ts.map