import { Eq, Semigroup } from '@fp4ts/cats-kernel';
import { Option } from '../option';
import { Either } from '../either';
import { Ior } from './algebra';
export declare const isLeft: <A, B>(ior: Ior<A, B>) => boolean;
export declare const isRight: <A, B>(ior: Ior<A, B>) => boolean;
export declare const isBoth: <A, B>(ior: Ior<A, B>) => boolean;
export declare const swapped: <A, B>(ior: Ior<A, B>) => Ior<B, A>;
export declare const getLeft: <A, B>(ior: Ior<A, B>) => Option<A>;
export declare const getRight: <A, B>(ior: Ior<A, B>) => Option<B>;
export declare const getOnlyLeft: <A, B>(ior: Ior<A, B>) => Option<A>;
export declare const getOnlyRight: <A, B>(ior: Ior<A, B>) => Option<B>;
export declare const getOnlyLeftOrRight: <A, B>(ior: Ior<A, B>) => Option<Either<A, B>>;
export declare const getOnlyBoth: <A, B>(ior: Ior<A, B>) => Option<[A, B]>;
export declare const toOption: <A, B>(ior: Ior<A, B>) => Option<B>;
export declare const toEither: <A, B>(ior: Ior<A, B>) => Either<A, B>;
export declare const pad: <A, B>(ior: Ior<A, B>) => [Option<A>, Option<B>];
export declare const map: <B, D>(g: (b: B) => D) => <A>(ior: Ior<A, B>) => Ior<A, D>;
export declare const leftMap: <A, C>(f: (a: A) => C) => <B>(ior: Ior<A, B>) => Ior<C, B>;
export declare const bimap: <A, B, C, D>(f: (a: A) => C, g: (b: B) => D) => (ior: Ior<A, B>) => Ior<C, D>;
export declare const flatMap: <AA>(S: Semigroup<AA>) => <B, C>(f: (b: B) => Ior<AA, C>) => <A extends AA>(ior: Ior<A, B>) => Ior<AA, C>;
export declare const combine: <AA, BB>(SA: Semigroup<AA>, SB: Semigroup<BB>) => (ior2: Ior<AA, BB>) => <A extends AA, B extends BB>(ior1: Ior<A, B>) => Ior<AA, BB>;
export declare const merge: <AA>(S: Semigroup<AA>) => <A extends AA>(ior: Ior<A, A>) => AA;
export declare const mergeWith: <A>(f: (l: A, r: A) => A) => (ior: Ior<A, A>) => A;
export declare const tailRecM: <AA>(S: Semigroup<AA>) => <S>(s: S) => <A extends AA, B>(f: (s: S) => Ior<A, Either<S, B>>) => Ior<AA, B>;
export declare const fold: <A, B, C>(onLeft: (a: A) => C, onRight: (b: B) => C, onBoth: (a: A, b: B) => C) => (ior: Ior<A, B>) => C;
export declare const map_: <A, B, D>(ior: Ior<A, B>, g: (b: B) => D) => Ior<A, D>;
export declare const leftMap_: <A, B, C>(ior: Ior<A, B>, f: (a: A) => C) => Ior<C, B>;
export declare const bimap_: <A, B, C, D>(ior: Ior<A, B>, f: (a: A) => C, g: (b: B) => D) => Ior<C, D>;
export declare const flatMap_: <AA>(S: Semigroup<AA>) => <A extends AA, B, C>(ior: Ior<A, B>, f: (b: B) => Ior<AA, C>) => Ior<AA, C>;
export declare const combine_: <AA, BB>(SA: Semigroup<AA>, SB: Semigroup<BB>) => <A extends AA, B extends BB>(ior1: Ior<A, B>, ior2: Ior<A, B>) => Ior<AA, BB>;
export declare const mergeWith_: <A>(ior: Ior<A, A>, f: (l: A, r: A) => A) => A;
export declare const tailRecM_: <AA>(S: Semigroup<AA>) => <A extends AA, S, B>(s: S, f: (s: S) => Ior<A, Either<S, B>>) => Ior<AA, B>;
export declare const fold_: <A, B, C1, C2 = C1, C3 = C2>(ior: Ior<A, B>, onLeft: (a: A) => C1, onRight: (b: B) => C2, onBoth: (a: A, b: B) => C3) => C1 | C2 | C3;
export declare const equals_: <AA, BB>(EqA: Eq<AA>, EqB: Eq<BB>) => <A extends AA, B extends BB>(lhs: Ior<A, B>, rhs: Ior<A, B>) => boolean;
//# sourceMappingURL=operators.d.ts.map