import { AssociativeIdentity } from "@tsplus/stdlib/prelude/AssociativeIdentity/definition";
import { Either } from "@tsplus/stdlib/data/Either/definition";
/**
 * Separates an `Either<E, Either<A, B>>` into a
 * `Tuple<[Either<E, A>, Either<E, B>]>` given an `AssociativeIdentity<E>`.
 * @tsplus static Either.Aspects separate
 * @tsplus pipeable Either separate
 * @tsplus location "@tsplus/stdlib/data/Either/separate"
 */
export declare function separate<E>(M: AssociativeIdentity<E>): <A, B>(self: import("./definition").Either<E, import("./definition").Either<A, B>>) => readonly [import("./definition").Either<E, A>, import("./definition").Either<E, B>];
//# sourceMappingURL=separate.d.ts.map