import { Semigroup } from '@fp4ts/cats-kernel';
import { Option } from '../option';
import { Either } from '../either';
declare module './algebra' {
    interface Ior<out A, out B> {
        readonly isLeft: boolean;
        readonly isRight: boolean;
        readonly isBoth: boolean;
        readonly swapped: Ior<B, A>;
        readonly left: Option<A>;
        readonly right: Option<B>;
        readonly onlyLeft: Option<A>;
        readonly onlyRight: Option<B>;
        readonly onlyLeftOrRight: Option<Either<A, B>>;
        readonly onlyBoth: Option<[A, B]>;
        readonly toOption: Option<B>;
        readonly toEither: Either<A, B>;
        readonly pad: [Option<A>, Option<B>];
        map<D>(g: (b: B) => D): Ior<A, D>;
        leftMap<C>(f: (a: A) => C): Ior<C, B>;
        bimap<C, D>(f: (a: A) => C, g: (b: B) => D): Ior<C, D>;
        flatMap<AA>(S: Semigroup<AA>): <C>(this: Ior<AA, B>, f: (b: B) => Ior<AA, C>) => Ior<AA, C>;
        combine<AA, BB>(this: Ior<AA, BB>, SA: Semigroup<AA>, SB: Semigroup<BB>): (that: Ior<AA, BB>) => Ior<AA, BB>;
        merge<AA>(this: Ior<AA, AA>, S: Semigroup<AA>): AA;
        mergeWith<AA>(this: Ior<AA, AA>, f: (l: AA, r: AA) => AA): AA;
        fold<C1, C2 = C1, C3 = C2>(onLeft: (a: A) => C1, onRight: (b: B) => C2, onBoth: (a: A, b: B) => C3): C1 | C2 | C3;
    }
}
//# sourceMappingURL=syntax.d.ts.map