import { EvalF, Kind } from '@fp4ts/core';
import { Monoid } from '@fp4ts/cats-kernel';
import { SemigroupK, SemigroupKRequirements } from './semigroup-k';
import { ArrayF } from './instances/array';
import { EndoF } from './instances/function';
/**
 * @category Type Class
 */
export interface MonoidK<F> extends SemigroupK<F> {
    emptyK<A>(): Kind<F, [A]>;
    algebra<A>(): Monoid<Kind<F, [A]>>;
    dual(): MonoidK<F>;
}
export type MonoidKRequirements<F> = Pick<MonoidK<F>, 'emptyK'> & SemigroupKRequirements<F> & Partial<MonoidK<F>>;
export declare const MonoidK: Readonly<{
    of: <F>(F: MonoidKRequirements<F>) => MonoidK<F>;
    readonly Array: MonoidK<ArrayF>;
    readonly Endo: MonoidK<EndoF>;
    readonly EndoEval: MonoidK<[EndoF, EvalF]>;
}>;
//# sourceMappingURL=monoid-k.d.ts.map