import type { Predicate, Refinement } from "../Function";
import type { FreeMonoid } from "./model";
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const combine: <A>(left: FreeMonoid<A>, right: FreeMonoid<A>) => FreeMonoid<A>;
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const element: <A>(a: A) => FreeMonoid<A>;
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const empty: <A>() => FreeMonoid<A>;
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const filter_: {
   <A, B extends A>(fa: FreeMonoid<A>, f: Refinement<A, B>): FreeMonoid<B>;
   <A>(fa: FreeMonoid<A>, f: Predicate<A>): FreeMonoid<A>;
};
/**
 * @category Constructors
 * @since 1.0.0
 */
export declare const filter: {
   <A, B extends A>(f: Refinement<A, B>): (fa: FreeMonoid<A>) => FreeMonoid<B>;
   <A>(f: Predicate<A>): (fa: FreeMonoid<A>) => FreeMonoid<A>;
};
export declare const map_: <A>(fa: FreeMonoid<A>, f: (a: A) => A) => FreeMonoid<A>;
export declare const map: <A>(f: (a: A) => A) => (fa: FreeMonoid<A>) => FreeMonoid<A>;
//# sourceMappingURL=constructors.d.ts.map