import type * as P from "@principia/prelude";
import type { Separated } from "@principia/prelude/Utils";
import type { Either } from "../Either";
import type { Option } from "../Option";
import type { URI, V } from "./model";
/**
 * @category Compactable
 * @since 1.0.0
 */
export declare const compact: <K, A>(fa: ReadonlyMap<K, Option<A>>) => ReadonlyMap<K, A>;
/**
 * @category Compactable
 * @since 1.0.0
 */
export declare const separate: <K, A, B>(
   fa: ReadonlyMap<K, Either<A, B>>
) => Separated<ReadonlyMap<K, A>, ReadonlyMap<K, B>>;
/**
 * @category Compactable
 * @since 1.0.0
 */
export declare const Compactable: P.Compactable<[URI], V>;
//# sourceMappingURL=compactable.d.ts.map