import type { SemimonoidalFunctor2, SemimonoidalFunctorMin } from './SemimonoidalFunctor';
import type { Unit, Unit2, UnitMin } from './Unit';
import * as HKT from './HKT';
import { SemimonoidalFunctor } from './SemimonoidalFunctor';
export interface MonoidalFunctor<F extends HKT.URIS, C = HKT.Auto> extends SemimonoidalFunctor<F, C>, Unit<F, C> {
}
export declare type MonoidalFunctorMin<F extends HKT.URIS, C = HKT.Auto> = SemimonoidalFunctorMin<F, C> & UnitMin<F, C>;
export declare function MonoidalFunctor<F extends HKT.URIS, C = HKT.Auto>(F: MonoidalFunctorMin<F, C>): MonoidalFunctor<F, C>;
export interface MonoidalFunctor2<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto> extends SemimonoidalFunctor2<F, G, CF, CG>, Unit2<F, G, CF, CG> {
}
export declare function getMonoidalFunctorComposition<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto>(F: MonoidalFunctor<F, CF>, G: MonoidalFunctor<G, CG>): MonoidalFunctor2<F, G, CF, CG>;
//# sourceMappingURL=MonoidalFunctor.d.ts.map