import { $, $type, Fix, Kind, TyK, TyVar, α, λ } from '@fp4ts/core';
import { Defer } from '../defer';
import { SemigroupK } from '../semigroup-k';
import { MonoidK } from '../monoid-k';
import { Functor } from '../functor';
import { FunctorFilter } from '../functor-filter';
import { Apply } from '../apply';
import { Applicative } from '../applicative';
import { Alternative } from '../alternative';
import { ApplicativeError } from '../applicative-error';
import { FlatMap } from '../flat-map';
import { Monad } from '../monad';
import { MonadError } from '../monad-error';
import { Contravariant } from '../contravariant';
import { Distributive } from '../distributive';
import { MonadDefer } from '../monad-defer';
export type Kleisli<F, A, B> = (a: A) => Kind<F, [B]>;
export declare const Kleisli: KleisliObj;
export interface KleisliObj {
    <F, A, B>(f: (a: A) => Kind<F, [B]>): Kleisli<F, A, B>;
    Defer<F, A>(F: Defer<F>): Defer<$<KleisliF, [F, A]>>;
    SemigroupK<F, A>(F: SemigroupK<F>): SemigroupK<$<KleisliF, [F, A]>>;
    MonoidK<F, A>(F: MonoidK<F>): MonoidK<$<KleisliF, [F, A]>>;
    Distributive<F, R>(F: Distributive<F>): Distributive<$<KleisliF, [F, R]>>;
    Contravariant<F, B>(): Contravariant<λ<KleisliF, [Fix<F>, α, Fix<B>]>>;
    Functor<F, A>(F: Functor<F>): Functor<$<KleisliF, [F, A]>>;
    FunctorFilter<F, A>(F: FunctorFilter<F>): FunctorFilter<$<KleisliF, [F, A]>>;
    Apply<F, A>(F: FlatMap<F>): Apply<$<KleisliF, [F, A]>>;
    Applicative<F, A>(F: Applicative<F>): Applicative<$<KleisliF, [F, A]>>;
    Alternative<F, A>(F: Alternative<F>): Alternative<$<KleisliF, [F, A]>>;
    ApplicativeError<F, A, E>(F: ApplicativeError<F, E>): ApplicativeError<$<KleisliF, [F, A]>, E>;
    FlatMap<F, A>(F: FlatMap<F>): FlatMap<$<KleisliF, [F, A]>>;
    Monad<F, A>(F: Monad<F>): Monad<$<KleisliF, [F, A]>>;
    MonadDefer<F, A>(F: MonadDefer<F>): MonadDefer<$<KleisliF, [F, A]>>;
    MonadError<F, A, E>(F: MonadError<F, E>): MonadError<$<KleisliF, [F, A]>, E>;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface KleisliF extends TyK<[unknown, unknown, unknown]> {
    [$type]: Kleisli<TyVar<this, 0>, TyVar<this, 1>, TyVar<this, 2>>;
}
//# sourceMappingURL=kleisli.d.ts.map