import type { Str$$Empty } from ".";
// @ts-ignore - `Monoid` is only used in doc comments
import type { Monoid, TypeClass$$Monoid } from "../typeclass";

declare module "../typeclass/Monoid" {
  interface MonoidImpl {
    string: ImplMonoidFor<string, Str$$Monoid>;
  }
}

/**
 * Implementation of the {@link Monoid} type class for `string`.
 */
export interface Str$$Monoid extends TypeClass$$Monoid<string> {
  Empty: Str$$Empty;
}