import { $, $type, Fix, Kind, TyK, TyVar, α, λ } from '@fp4ts/core';
import { CoflatMap } from '../coflat-map';
import { Comonad } from '../comonad';
import { Contravariant } from '../contravariant';
import { Functor } from '../functor';
import { MonadDefer } from '../monad-defer';
import { MonoidK } from '../monoid-k';
import { SemigroupK } from '../semigroup-k';
export type Cokleisli<F, A, B> = (fa: Kind<F, [A]>) => B;
export declare const Cokleisli: CokleisliObj;
interface CokleisliObj {
    <F, A, B>(f: (fa: Kind<F, [A]>) => B): Cokleisli<F, A, B>;
    SemigroupK<F>(F: CoflatMap<F>): SemigroupK<λ<CokleisliF, [Fix<F>, α, α]>>;
    MonoidK<F>(F: Comonad<F>): MonoidK<λ<CokleisliF, [Fix<F>, α, α]>>;
    Functor<F, A>(): Functor<$<CokleisliF, [F, A]>>;
    Contravariant<F, B>(F: Functor<F>): Contravariant<λ<CokleisliF, [Fix<F>, α, Fix<B>]>>;
    MonadDefer<F, A>(): MonadDefer<$<CokleisliF, [F, A]>>;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface CokleisliF extends TyK<[unknown, unknown, unknown]> {
    [$type]: Cokleisli<TyVar<this, 0>, TyVar<this, 1>, TyVar<this, 2>>;
}
export {};
//# sourceMappingURL=cokleisli.d.ts.map