import * as tFunctor from '../../typeclass/functor';
import * as tOf from '../../typeclass/of';
import * as tTo from '../../typeclass/to';
import * as tNone from '../../typeclass/none';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import * as tSemiAlternative from '../../typeclass/semialternative';
import * as tAlternative from '../../typeclass/alternative';
import type { TIO, IO } from './io.types';
export declare const run: <A>(io: IO<A>) => A;
export declare const None: tNone.None<TIO>;
export declare const Of: tOf.Of<TIO>;
export declare const To: tTo.To<TIO>;
export declare const Functor: tFunctor.Functor<TIO>;
export declare const Applicative: tApplicative.Applicative<TIO>;
export declare const Monad: tMonad.Monad<TIO>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TIO>;
export declare const Alternative: tAlternative.Alternative<TIO>;
export declare const fromIO: <A>(io: IO<A>) => IO<A>;
export declare const of: <A>(a: A) => IO<A>;
export declare const none: <A1>() => IO<A1>;
export declare const getOrElse: <A1>(f: () => A1) => <A>(fa: IO<A>) => A1 | A;
export declare const getOr: <A1>(args_0: A1) => <B1>(args_0: IO<B1>) => A1 | B1;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: IO<A1>) => IO<A2>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: IO<IO<A1>>) => IO<IO<A2>>;
export declare const flap: <A1>(args_0: A1) => <B1>(args_0: IO<(args_0: A1) => B1>) => IO<B1>;
export declare const as: <A1>(args_0: A1) => <B1>(args_0: IO<B1>) => IO<A1>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => (args_0: IO<A1>) => IO<A1>;
export declare const ap: <A1>(args_0: IO<A1>) => <B1>(args_0: IO<(args_0: A1) => B1>) => IO<B1>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => (args_0: IO<A1>) => (args_0: IO<A2>) => IO<A3>;
export declare const product: <A1>(args_0: IO<A1>) => <B1>(args_0: IO<B1>) => IO<[A1, B1]>;
export declare const productMany: <A1>(args_0: IO<A1>) => (args_0: IO<A1>[]) => IO<A1[]>;
export declare const flatMap: <A1, A2>(args_0: (args_0: A1) => IO<A2>) => (args_0: IO<A1>) => IO<A2>;
export declare const andThen: <A1, A2>(args_0: (args_0: A1) => IO<A2>) => (args_0: IO<A1>) => IO<A2>;
export declare const chain: <A1, A2>(args_0: (args_0: A1) => IO<A2>) => (args_0: IO<A1>) => IO<A2>;
export declare const flatten: <A1>(args_0: IO<IO<A1>>) => IO<A1>;
export declare const orElse: <A1>(args_0: () => IO<A1>) => (args_0: IO<A1>) => IO<A1>;
export declare const or: <A1>(args_0: IO<A1>) => (args_0: IO<A1>) => IO<A1>;
export declare const pluck: <A, K extends keyof A>(k: K) => (args_0: IO<A>) => IO<A[K]>;