import type { Eq } from "@principia/prelude/Eq";
import type { Monoid } from "@principia/prelude/Monoid";
import type { Semigroup } from "@principia/prelude/Semigroup";
/**
 * Gets `Monoid` instance for Maps given `Semigroup` instance for their values
 *
 * @category Instances
 * @since 1.0.0
 */
export declare function getMonoid<K, A>(SK: Eq<K>, SA: Semigroup<A>): Monoid<ReadonlyMap<K, A>>;
//# sourceMappingURL=monoid.d.ts.map