import { $, $type, HKT, TyK, TyVar } from '@fp4ts/core';
import { Eq, Semigroup } from '@fp4ts/cats-kernel';
import { Option } from '../option';
import { Either } from '../either';
import { Monad } from '../../monad';
import { MonadError } from '../../monad-error';
import { Bifunctor } from '../../bifunctor';
import { Ior as IorBase } from './algebra';
export type Ior<A, B> = IorBase<A, B>;
export declare const Ior: IorObj;
export interface IorObj {
    Left<A>(a: A): Ior<A, never>;
    Right<B>(b: B): Ior<never, B>;
    Both<A, B>(a: A, b: B): Ior<A, B>;
    fromOptions<A, B>(left: Option<A>, right: Option<B>): Option<Ior<A, B>>;
    fromEither<A, B>(ea: Either<A, B>): Ior<A, B>;
    tailRecM<AA>(S: Semigroup<AA>): <S>(s: S) => <A extends AA, B>(f: (s: S) => Ior<A, Either<S, B>>) => Ior<AA, B>;
    Eq<A, B>(EqA: Eq<A>, EqB: Eq<B>): Eq<Ior<A, B>>;
    readonly Bifunctor: Bifunctor<IorF>;
    Monad<A>(S: Semigroup<A>): Monad<$<IorF, [A]>>;
    MonadError<A>(S: Semigroup<A>): MonadError<$<IorF, [A]>, A>;
}
declare module './algebra' {
    interface Ior<A, B> extends HKT<IorF, [A, B]> {
    }
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface IorF extends TyK<[unknown, unknown]> {
    [$type]: Ior<TyVar<this, 0>, TyVar<this, 1>>;
}
//# sourceMappingURL=ior.d.ts.map