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