/**
 * This file contains the SyncEither algebraic data type. SyncEither is an
 * lazy function that takes no inputs and returns an Either. The intuition of a
 * SyncEither is an IO call that can fail.
 *
 * @module SyncEither
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { Kind, Out } from "./kind.js";
import type { Applicable } from "./applicable.js";
import type { Bimappable } from "./bimappable.js";
import type { Combinable } from "./combinable.js";
import type { Either } from "./either.js";
import type { Failable } from "./failable.js";
import type { Flatmappable } from "./flatmappable.js";
import type { Foldable } from "./foldable.js";
import type { Initializable } from "./initializable.js";
import type { Mappable } from "./mappable.js";
import type { Sync } from "./sync.js";
import type { Wrappable } from "./wrappable.js";
import * as E from "./either.js";
/**
 * @since 2.0.0
 */
export type SyncEither<L, R> = Sync<Either<L, R>>;
/**
 * @since 2.0.0
 */
export interface KindSyncEither extends Kind {
    readonly kind: SyncEither<Out<this, 1>, Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export interface KindSyncRight<B> extends Kind {
    readonly kind: SyncEither<B, Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export declare function left<A = never, B = never>(left: B): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function right<A = never, B = never>(right: A): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function tryCatch<A = never, B = never>(fa: () => A, onError: (error: unknown) => B): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function fromEither<A = never, B = never>(ta: E.Either<B, A>): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function fromSync<A = never, B = never>(ta: Sync<A>): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function wrap<A = never, B = never>(a: A): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function fail<A = never, B = never>(b: B): SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function apply<B, A>(ua: SyncEither<B, A>): <J, I>(ufai: SyncEither<J, (a: A) => I>) => SyncEither<B | J, I>;
/**
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): <B>(ta: SyncEither<B, A>) => SyncEither<B, I>;
/**
 * @since 2.0.0
 */
export declare function mapSecond<B, J>(fbj: (b: B) => J): <A>(ta: SyncEither<B, A>) => SyncEither<J, A>;
/**
 * @since 2.0.0
 */
export declare function flatmap<A, I, J>(faui: (a: A) => SyncEither<J, I>): <B>(ua: SyncEither<B, A>) => SyncEither<B | J, I>;
/**
 * @since 2.0.0
 */
export declare function recover<B, J, I>(fbui: (b: B) => SyncEither<J, I>): <A>(ua: SyncEither<B, A>) => SyncEither<J, A | I>;
/**
 * @since 2.0.0
 */
export declare function alt<A = never, B = never>(tb: SyncEither<B, A>): (ta: SyncEither<B, A>) => SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare function fold<A, O>(foao: (o: O, a: A) => O, o: O): <B>(ta: SyncEither<B, A>) => O;
/**
 * @since 2.0.0
 */
export declare function getCombinableSyncEither<A, B>(CA: Combinable<A>, CB: Combinable<B>): Combinable<SyncEither<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getInitializableSyncEither<A, B>(IA: Initializable<A>, IB: Initializable<B>): Initializable<SyncEither<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getFlatmappableSyncRight<B>(C: Combinable<B>): Flatmappable<KindSyncRight<B>>;
/**
 * @since 2.0.0
 */
export declare const ApplicableSyncEither: Applicable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const BimappableSyncEither: Bimappable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const FlatmappableSyncEither: Flatmappable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const FailableSyncEither: Failable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const FoldableSyncEither: Foldable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const MappableSyncEither: Mappable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const WrappableSyncEither: Wrappable<KindSyncEither>;
/**
 * @since 2.0.0
 */
export declare const tap: <A>(fn: (value: A) => void) => <B = never, C = never, D = unknown, E = unknown>(ua: SyncEither<B, A>) => SyncEither<B, A>;
/**
 * @since 2.0.0
 */
export declare const bind: <N extends string, A, I, J = never, K = never, L = unknown, M = unknown>(name: Exclude<N, keyof A>, faui: (a: A) => SyncEither<J, I>) => <B = never, C = never, D extends L = L>(ua: SyncEither<B, A>) => SyncEither<J | B, { readonly [K_1 in N | keyof A]: K_1 extends keyof A ? A[K_1] : I; }>;
/**
 * @since 2.0.0
 */
export declare const bindTo: <N extends string>(name: N) => <A, B = never, C = never, D = unknown, E = unknown>(ua: SyncEither<B, A>) => SyncEither<B, { readonly [K in N]: A; }>;