import { $, Lazy } from '@fp4ts/core';
import { Eq, Semigroup } from '@fp4ts/cats-kernel';
import { Monad } from '../../monad';
import { MonadError } from '../../monad-error';
import { Bifunctor } from '../../bifunctor';
import { Ior } from './algebra';
import { IorF } from './ior';
export declare const iorEq: <A, B>(EqA: Eq<A>, EqB: Eq<B>) => Eq<Ior<A, B>>;
export declare const iorMonad: <S>(S: Semigroup<S>) => Monad<$<IorF, [S]>>;
export declare const iorMonadError: <S>(S: Semigroup<S>) => MonadError<$<IorF, [S]>, S>;
export declare const iorBifunctor: Lazy<Bifunctor<IorF>>;
//# sourceMappingURL=instances.d.ts.map