import { Kind } from '../../kinds/index.js';
import { TypeSkell } from '../../typeskell/index.js';
import { Functor } from '../functor';
export declare namespace SemiAlternative {
    type $orElse<F extends Kind> = TypeSkell<'(-> F a ..y) -> F a ..x -> F a ..y', {
        F: F;
    }>;
    type $or<F extends Kind> = TypeSkell<'F a ..x -> F a ..y -> F a ..xy', {
        F: F;
    }>;
}
/**
 * SemiAlternative is a typeclass that defines a single operation, or.
 * It is an associative operation that allows you to combine two effects.
 *
 * Laws:
 *   Associativity: `a or (b or c) = (a or b) or c`
 *   Left Distributivity: `map f (a or b) = (map f a) or (map f b)`
 *
 */
export interface SemiAlternative<F extends Kind> extends Functor<F> {
    orElse: SemiAlternative.$orElse<F>;
}
export declare const or: <F extends Kind>(semiAlternative: SemiAlternative<F>) => SemiAlternative.$or<F>;