import type { Predicate } from "../Function";
import type { Filter, FreeMonoid, Map } from "./model";
/**
 * @category Destructors
 * @since 1.0.0
 */
export declare const fold_: <A, R>(
   f: FreeMonoid<A>,
   patterns: {
      Empty: () => R;
      Element: (value: A) => R;
      Filter: (fa: FreeMonoid<A>, f: Predicate<A>) => R;
      Map: (fa: FreeMonoid<A>, f: (a: A) => A) => R;
      Combine: (l: FreeMonoid<A>, r: FreeMonoid<A>) => R;
   }
) => R;
/**
 * @category Destructors
 * @since 1.0.0
 */
export declare const fold: <A, R>(patterns: {
   Empty: () => R;
   Element: (value: A) => R;
   Filter: (fa: FreeMonoid<A>, f: Predicate<A>) => R;
   Map: (fa: FreeMonoid<A>, f: (a: A) => A) => R;
   Combine: (l: FreeMonoid<A>, r: FreeMonoid<A>) => R;
}) => (f: FreeMonoid<A>) => R;
/**
 * https://github.com/Matechs-Garage/matechs-effect/blob/master/packages/system/src/FreeAssociative/index.ts
 *
 * @category Destructors
 * @since 1.0.0
 */
export declare const toArray: <A>(fs: FreeMonoid<A>) => readonly A[];
//# sourceMappingURL=destructors.d.ts.map