import { AssociativeIdentity } from "@tsplus/stdlib/prelude/AssociativeIdentity/definition";
import { Either } from "@tsplus/stdlib/data/Either/definition";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
/**
 * Compact an `Either<E, Maybe<A>>`  to an `Either<E, A>` given an
 * `AssociativeIdentity<E>`.
 * @tsplus static Either.Aspects compactMaybe
 * @tsplus pipeable Either compactMaybe
 * @tsplus location "@tsplus/stdlib/data/Either/compactMaybe"
 */
export declare function compactMaybe<E>(M: AssociativeIdentity<E>): <A>(self: import("./definition").Either<E, import("../Maybe").Maybe<A>>) => import("./definition").Either<E, A>;
//# sourceMappingURL=compactMaybe.d.ts.map