import { Base, Eval, Kind } from '@fp4ts/core';
import { Semigroup } from '@fp4ts/cats-kernel';
/**
 * @category Type Class
 */
export interface SemigroupK<F> extends Base<F> {
    combineK<A>(y: Kind<F, [A]>): (x: Kind<F, [A]>) => Kind<F, [A]>;
    combineK_<A>(x: Kind<F, [A]>, y: Kind<F, [A]>): Kind<F, [A]>;
    combineKEval<A>(ey: Eval<Kind<F, [A]>>): (x: Kind<F, [A]>) => Eval<Kind<F, [A]>>;
    combineKEval_<A>(x: Kind<F, [A]>, ey: Eval<Kind<F, [A]>>): Eval<Kind<F, [A]>>;
    algebra<A>(): Semigroup<Kind<F, [A]>>;
    dual(): SemigroupK<F>;
}
export type SemigroupKRequirements<F> = Pick<SemigroupK<F>, 'combineK_'> & Partial<SemigroupK<F>>;
export declare const SemigroupK: Readonly<{
    of: <F>(F: SemigroupKRequirements<F>) => SemigroupK<F>;
}>;
//# sourceMappingURL=semigroup-k.d.ts.map