import { AssociativeIdentity } from "@tsplus/stdlib/prelude/AssociativeIdentity/definition";
import { Wither } from "@tsplus/stdlib/prelude/Witherable";
import { Either } from "@tsplus/stdlib/data/Either/definition";
import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Applicative } from "@tsplus/stdlib/prelude/Applicative";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
/**
 * Get `Witherable`'s `compactF` for an `Either<E, A>` given an
 * `AssociativeIdentity<E>`.
 * @tsplus static Either.Ops getCompactF
 * @tsplus location "@tsplus/stdlib/data/Either/dsl/getCompactF"
 */
export declare function getCompactF<E>(M: AssociativeIdentity<E>): Wither<Either.FixedLeftHKT<E>>;
//# sourceMappingURL=getCompactF.d.ts.map