import type * as P from "@principia/prelude";
import type { EIO } from "./model";
/**
 * ```haskell
 * getSemigroup :: <e, a>Semigroup a -> Semigroup (IOEither e a)
 * ```
 *
 * Semigroup returning the left-most non-`Left` value. If both operands are `Right`s then the inner values are concatenated using the provided `Semigroup`
 *
 * @category Instances
 * @since 1.0.0
 */
export declare const getSemigroup: <E, A>(S: P.Semigroup<A>) => P.Semigroup<EIO<E, A>>;
/**
 * ```haskell
 * getApplySemigroup :: <e, a>Semigroup a -> Semigroup (IOEither e a)
 * ```
 *
 * Semigroup returning the left-most `Left` value. If both operands are `Right`s then the inner values are concatenated using the provided `Semigroup`
 *
 * @category Instances
 * @since 1.0.0
 */
export declare const getApplySemigroup: <E, A>(S: P.Semigroup<A>) => P.Semigroup<EIO<E, A>>;
//# sourceMappingURL=semigroup.d.ts.map