import type { Kind } from '../../kinds/index.js';
import type { Of } from '../of';
import type { TypeSkell } from '../../typeskell/index.js';
import { BiFunctor } from '../bifunctor';
export declare namespace BiFlatMap {
    type $biFlatMap<F extends Kind> = TypeSkell<'(a -> F b e ..x) (c -> F b e ..x) -> F a c ..y -> F b e ..xy', {
        F: F;
    }>;
    type $orElse<F extends Kind> = TypeSkell<'(a -> F _ b ..x) -> F _ a ..y -> F _ b ..xy ', {
        F: F;
    }>;
}
/**
 * BiFlatMap is a typeclass that defines a single operation, biFlatMap.
 * It is a flatMap operation that allows you to recover from an error.
 */
export interface BiFlatMap<F extends Kind> extends Of<F>, BiFunctor<F> {
    biFlatMap: BiFlatMap.$biFlatMap<F>;
}
/**
 * orElse :: `BiFlatMap F => (e1 -> F a e2) -> F a e1 -> F a e2`
 *
 * @param biflatmap `BiFlatMap<F>`
 * @returns `(e1 -> F a e2) -> F a e1 -> F a e2`
 */
export declare const orElse: <F extends Kind>(biFlatMap: BiFlatMap<F>) => BiFlatMap.$orElse<F>;