import { Kind } from '@fp4ts/core';
import { Applicative, ApplicativeRequirements } from './applicative';
import { MonoidK, MonoidKRequirements } from './monoid-k';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface Alternative<F> extends Applicative<F>, MonoidK<F> {
    readonly many: <A>(fa: Kind<F, [A]>) => Kind<F, [A[]]>;
    readonly many1: <A>(fa: Kind<F, [A]>) => Kind<F, [A[]]>;
    readonly orElse: <A>(fb: () => Kind<F, [A]>) => (fa: Kind<F, [A]>) => Kind<F, [A]>;
    readonly orElse_: <A>(fa: Kind<F, [A]>, fb: () => Kind<F, [A]>) => Kind<F, [A]>;
}
export type AlternativeRequirements<F> = ApplicativeRequirements<F> & MonoidKRequirements<F> & Partial<Alternative<F>>;
export declare const Alternative: Readonly<{
    of: <F>(F: AlternativeRequirements<F>) => Alternative<F>;
    readonly Array: Alternative<ArrayF>;
}>;
//# sourceMappingURL=alternative.d.ts.map