import type { Semigroup } from "@principia/prelude/Semigroup";
import type { IO } from "./model";
/**
 * ```haskell
 * getSemigroup :: Semigroup s => s a -> s (IO a)
 * ```
 *
 * Lifts a `Semigroup` into `IO`, the inner values are concatenated with the provided `Semigroup`
 *
 * @category Instances
 * @since 1.0.0
 */
export declare const getSemigroup: <A>(S: Semigroup<A>) => Semigroup<IO<A>>;
//# sourceMappingURL=semigroup.d.ts.map