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

declare module "../typeclass/Semigroup" {
  interface SemigroupImpl {
    string: ImplSemigroupFor<string, Str$$Semigroup>;
  }
}

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