import type * as P from "@principia/prelude";
import type { Either } from "../Either";
import type { Option } from "../Option";
import type { ReadonlyRecord, URI, V } from "./model";
/**
 * ```haskell
 * separate :: Compactable c => c (Either a b) -> Separated (c a) (c b)
 * ```
 */
export declare const separate: <N extends string, A, B>(
   fa: Readonly<Record<N, Either<A, B>>>
) => {
   left: Record<string, A>;
   right: Record<string, B>;
};
/**
 * ```haskell
 * compact :: Compactable c => c (Maybe a) -> c a
 * ```
 */
export declare const compact: <N extends string, A>(fa: Readonly<Record<N, Option<A>>>) => Record<string, A>;
export declare const Compactable: P.Compactable<[URI], V>;
//# sourceMappingURL=compactable.d.ts.map