import { Kind } from '../../kinds/index.js';
import * as R from '../result';
import * as IO from '../io';
import * as tFunctor from '../../typeclass/functor';
import * as tBiFunctor from '../../typeclass/bifunctor';
import * as tOf from '../../typeclass/of';
import * as tTo from '../../typeclass/to';
import * as tFlip from '../../typeclass/flip';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import * as tBiFlatMap from '../../typeclass/biflatmap';
import * as tFoldable from '../../typeclass/foldable';
import * as tTraversable from '../../typeclass/traversable';
import * as tSemiAlternative from '../../typeclass/semialternative';
export interface IOResult<A, E> extends IO.IO<R.Result<A, E>> {
}
export interface TIOResult extends Kind.binary {
    return: IOResult<this['arg0'], this['arg1']>;
}
export declare const err: <E, A = never>(e: E) => IOResult<A, E>;
export declare const ok: <A, E = never>(a: A) => IOResult<A, E>;
export declare const run: <A, E>(io: IOResult<A, E>) => R.Result<A, E>;
export declare const Of: tOf.Of<TIOResult>;
export declare const BiFunctor: tBiFunctor.BiFunctor<TIOResult>;
export declare const Functor: tFunctor.Functor<TIOResult>;
export declare const To: tTo.To<TIOResult>;
export declare const Flip: tFlip.Flip<TIOResult>;
export declare const Applicative: tApplicative.Applicative<TIOResult>;
export declare const Monad: tMonad.Monad<TIOResult>;
export declare const BiFlatMap: tBiFlatMap.BiFlatMap<TIOResult>;
export declare const Foldable: tFoldable.Foldable<TIOResult>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TIOResult>;
export declare const Traversable: tTraversable.Traversable<TIOResult>;
export declare const fromIO: <A, E = never>(io: IO.IO<A>) => IOResult<A, E>;
export declare const fromResult: <A, E>(r: R.Result<A, E>) => IOResult<A, E>;
export declare const of: <A>(a: A) => IOResult<A, never>;
export declare const getOrElse: <A1, A2>(f: (args_0: A2) => A1) => <A>(fa: IOResult<A, A2>) => A1 | A;
export declare const getOr: <A1>(args_0: A1) => <B1, B2>(args_0: IOResult<B1, B2>) => A1 | B1;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A2, B1>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: IOResult<IOResult<A1, B1>, B2>) => IOResult<IOResult<A2, B1>, B2>;
export declare const flap: <A1>(args_0: A1) => <B1, B2>(args_0: IOResult<(args_0: A1) => B1, B2>) => IOResult<B1, B2>;
export declare const as: <A1>(args_0: A1) => <B1, B2>(args_0: IOResult<B1, B2>) => IOResult<A1, B2>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A1, B1>;
export declare const bimap: <A1, A2, A3, A4>(args_0: (args_0: A1) => A2, args_1: (args_0: A3) => A4) => (args_0: IOResult<A1, A3>) => IOResult<A2, A4>;
export declare const mapLeft: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A2, B1>;
export declare const mapRight: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: IOResult<B1, A1>) => IOResult<B1, A2>;
export declare const mapErr: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: IOResult<B1, A1>) => IOResult<B1, A2>;
export declare const bitap: <A1, A2>(args_0: (args_0: A1) => void, args_1: (args_0: A2) => void) => (args_0: IOResult<A1, A2>) => IOResult<A1, A2>;
export declare const tapLeft: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A1, B1>;
export declare const tapRight: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: IOResult<B1, A1>) => IOResult<B1, A1>;
export declare const tapErr: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: IOResult<B1, A1>) => IOResult<B1, A1>;
export declare const flip: <A1, A2>(args_0: IOResult<A1, A2>) => IOResult<A2, A1>;
export declare const ap: <A1, A2>(args_0: IOResult<A1, A2>) => <B1, B2>(args_0: IOResult<(args_0: A1) => B1, B2>) => IOResult<B1, A2 | B2>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => <B1>(args_0: IOResult<A1, B1>) => <C1>(args_0: IOResult<A2, C1>) => IOResult<A3, B1 | C1>;
export declare const product: <A1, A2>(args_0: IOResult<A1, A2>) => <B1, B2>(args_0: IOResult<B1, B2>) => IOResult<[A1, B1], A2 | B2>;
export declare const productMany: <A1, A2>(args_0: IOResult<A1, A2>) => (args_0: IOResult<A1, A2>[]) => IOResult<A1[], A2>;
export declare const flatMap: <A1, A2, A3>(args_0: (args_0: A1) => IOResult<A2, A3>) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A2, A3 | B1>;
export declare const andThen: <A1, A2, A3>(args_0: (args_0: A1) => IOResult<A2, A3>) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A2, A3 | B1>;
export declare const chain: <A1, A2, A3>(args_0: (args_0: A1) => IOResult<A2, A3>) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A2, A3 | B1>;
export declare const flatten: <A1, A2, A3>(args_0: IOResult<IOResult<A1, A2>, A3>) => IOResult<A1, A2 | A3>;
export declare const biFlatMap: <A1, A2, A3, A4>(args_0: (args_0: A1) => IOResult<A2, A3>, args_1: (args_0: A4) => IOResult<A2, A3>) => (args_0: IOResult<A1, A4>) => IOResult<A2, A3>;
export declare const orElse: <A1, A2, A3>(args_0: (args_0: A1) => IOResult<A2, A3>) => (args_0: IOResult<A2, A1>) => IOResult<A2, A3>;
export declare const reduce: <A1, A2>(args_0: (args_0: A1, args_1: A2) => A1, args_1: A1) => <B1>(args_0: IOResult<A2, B1>) => A1;
export declare const alt: <A1, A2>(args_0: () => IOResult<A1, A2>) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A1, A2>;
export declare const or: <A1, A2>(args_0: IOResult<A1, A2>) => <B1>(args_0: IOResult<A1, B1>) => IOResult<A1, A2 | B1>;
export declare const traverse: <F extends Kind>(F: tApplicative.Applicative<F>) => tTraversable.Traversable.$traverse<TIOResult, F>;
export declare const sequence: <F extends Kind>(F: tApplicative.Applicative<F>) => tTraversable.Traversable.$sequence<TIOResult, F>;
export declare const pluck: <A, K extends keyof A>(k: K) => <B1>(args_0: IOResult<A, B1>) => IOResult<A[K], B1>;