import { Kind } from '../../kinds/index.js';
import * as O from '../option';
import * as IO from '../io';
import * as tFunctor from '../../typeclass/functor';
import * as tNone from '../../typeclass/none';
import * as tOf from '../../typeclass/of';
import * as tTo from '../../typeclass/to';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import * as tFoldable from '../../typeclass/foldable';
import * as tSemiAlternative from '../../typeclass/semialternative';
import * as tFilterable from '../../typeclass/filterable';
export interface IOOption<A> extends IO.IO<O.Option<A>> {
}
export interface TIOOption extends Kind.unary {
    return: IOOption<this['arg0']>;
}
export declare const none: <A = never>() => IOOption<A>;
export declare const some: <A>(a: A) => IOOption<A>;
export declare const run: <A>(io: IOOption<A>) => O.Option<A>;
export declare const None: tNone.None<TIOOption>;
export declare const Of: tOf.Of<TIOOption>;
export declare const Functor: tFunctor.Functor<TIOOption>;
export declare const To: tTo.To<TIOOption>;
export declare const Applicative: tApplicative.Applicative<TIOOption>;
export declare const Monad: tMonad.Monad<TIOOption>;
export declare const Foldable: tFoldable.Foldable<TIOOption>;
export declare const Filterable: tFilterable.Filterable<TIOOption>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TIOOption>;
export declare const fromIO: <A>(io: IO.IO<A>) => IOOption<A>;
export declare const fromOption: <A>(o: O.Option<A>) => IOOption<A>;
export declare const of: <A>(a: A) => IOOption<A>;
export declare const getOrElse: <A1>(f: () => A1) => <A>(fa: IOOption<A>) => A1 | A;
export declare const getOr: <A1>(args_0: A1) => <B1>(args_0: IOOption<B1>) => A1 | B1;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: IOOption<A1>) => IOOption<A2>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: IOOption<IOOption<A1>>) => IOOption<IOOption<A2>>;
export declare const flap: <A1>(args_0: A1) => <B1>(args_0: IOOption<(args_0: A1) => B1>) => IOOption<B1>;
export declare const as: <A1>(args_0: A1) => <B1>(args_0: IOOption<B1>) => IOOption<A1>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => (args_0: IOOption<A1>) => IOOption<A1>;
export declare const ap: <A1>(args_0: IOOption<A1>) => <B1>(args_0: IOOption<(args_0: A1) => B1>) => IOOption<B1>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => (args_0: IOOption<A1>) => (args_0: IOOption<A2>) => IOOption<A3>;
export declare const product: <A1>(args_0: IOOption<A1>) => <B1>(args_0: IOOption<B1>) => IOOption<[A1, B1]>;
export declare const productMany: <A1>(args_0: IOOption<A1>) => (args_0: IOOption<A1>[]) => IOOption<A1[]>;
export declare const flatMap: <A1, A2>(args_0: (args_0: A1) => IOOption<A2>) => (args_0: IOOption<A1>) => IOOption<A2>;
export declare const andThen: <A1, A2>(args_0: (args_0: A1) => IOOption<A2>) => (args_0: IOOption<A1>) => IOOption<A2>;
export declare const chain: <A1, A2>(args_0: (args_0: A1) => IOOption<A2>) => (args_0: IOOption<A1>) => IOOption<A2>;
export declare const flatten: <A1>(args_0: IOOption<IOOption<A1>>) => IOOption<A1>;
export declare const filterMap: <A1, A2>(args_0: (args_0: A1) => O.Option<A2>) => (args_0: IOOption<A1>) => IOOption<A2>;
export declare const filter: <A1>(args_0: (args_0: A1) => boolean) => (args_0: IOOption<A1>) => IOOption<A1>;
export declare const compact: <A1>(args_0: IOOption<O.Option<A1>>) => IOOption<A1>;
export declare const reduce: <A1, A2>(args_0: (args_0: A1, args_1: A2) => A1, args_1: A1) => (args_0: IOOption<A2>) => A1;
export declare const orElse: <A1>(args_0: () => IOOption<A1>) => (args_0: IOOption<A1>) => IOOption<A1>;
export declare const or: <A1>(args_0: IOOption<A1>) => (args_0: IOOption<A1>) => IOOption<A1>;
export declare const pluck: <A, K extends keyof A>(k: K) => (args_0: IOOption<A>) => IOOption<A[K]>;