import { $, $type, Kind, Lazy, TyK, TyVar } from '@fp4ts/core';
import { Alternative } from '../alternative';
import { Applicative } from '../applicative';
import { Defer } from '../defer';
import { EqK } from '../eq-k';
import { Functor } from '../functor';
import { Monad } from '../monad';
import { MonadError } from '../monad-error';
import { Option } from './option';
export type OptionT<F, A> = Kind<F, [Option<A>]>;
export declare const OptionT: {
    <F, A>(fa: Kind<F, [Option<A>]>): Kind<F, [Option<A>]>;
    Some<F_1>(F: Applicative<F_1>): <A_1>(a: A_1) => Kind<F_1, [Option<A_1>]>;
    None<F_2>(F: Applicative<F_2>): Kind<F_2, [Option<never>]>;
    fromNullable<F_3>(F: Applicative<F_3>): <A_2>(a: A_2 | null | undefined) => Kind<F_3, [Option<A_2>]>;
    liftF<F_4>(F: Functor<F_4>): <A_3>(fa: Kind<F_4, [A_3]>) => Kind<F_4, [Option<A_3>]>;
    isEmpty<F_5>(F: Functor<F_5>): <A_4>(fa: Kind<F_5, [Option<A_4>]>) => Kind<F_5, [boolean]>;
    nonEmpty<F_6>(F: Functor<F_6>): <A_5>(fa: Kind<F_6, [Option<A_5>]>) => Kind<F_6, [boolean]>;
    getOrElse<F_7>(F: Functor<F_7>): <A_6>(defaultValue: Lazy<A_6>) => (fa: Kind<F_7, [Option<A_6>]>) => Kind<F_7, [A_6]>;
    getOrElseF<F_8>(F: Monad<F_8>): <A_7>(defaultValue: Lazy<Kind<F_8, [A_7]>>) => (fa: Kind<F_8, [Option<A_7>]>) => Kind<F_8, [A_7]>;
    fold<F_9>(F: Functor<F_9>): <A_8, B, C = B>(onNone: () => B, onSome: (a: A_8) => C) => (fa: Kind<F_9, [Option<A_8>]>) => Kind<F_9, [B | C]>;
    EqK: <F_10>(a: EqK<F_10>) => EqK<$<OptionTF, [F_10]>>;
    Defer: <F_11>(a: Defer<F_11>) => Defer<$<OptionTF, [F_11]>>;
    Functor: <F_12>(a: Functor<F_12>) => Functor<$<OptionTF, [F_12]>>;
    Monad: <F_13>(a: Monad<F_13>) => Monad<$<OptionTF, [F_13]>>;
    MonadError: <F_14, E>(a: MonadError<F_14, E>) => MonadError<$<OptionTF, [F_14]>, E>;
    Alternative: <F_15>(a: Monad<F_15>) => Alternative<$<OptionTF, [F_15]>>;
};
/**
 * @category Type Constructor
 * @category Data
 */
export interface OptionTF extends TyK<[unknown, unknown]> {
    [$type]: OptionT<TyVar<this, 0>, TyVar<this, 1>>;
}
//# sourceMappingURL=option-t.d.ts.map