import type { Semigroup } from "@principia/prelude/Semigroup";
export interface Element<A> {
   readonly _tag: "Element";
   readonly value: A;
}
export interface Combine<A> {
   readonly _tag: "Combine";
   readonly left: FreeSemigroup<A>;
   readonly right: FreeSemigroup<A>;
}
export declare type FreeSemigroup<A> = Element<A> | Combine<A>;
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const combine: <A>(left: FreeSemigroup<A>, right: FreeSemigroup<A>) => FreeSemigroup<A>;
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const element: <A>(a: A) => FreeSemigroup<A>;
/**
 * @category Destructors
 * @since 1.0.0
 */
export declare const fold: <A, R>(
   onOf: (value: A) => R,
   onConcat: (left: FreeSemigroup<A>, right: FreeSemigroup<A>) => R
) => (f: FreeSemigroup<A>) => R;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const getSemigroup: <A = never>() => Semigroup<FreeSemigroup<A>>;
//# sourceMappingURL=model.d.ts.map