import type * as P from "@principia/prelude";
import type { Either, URI, V } from "./model";
/**
 * ```haskell
 * alt_ :: Alt f => (f a, (() -> f a)) -> f a
 * ```
 *
 * Identifies an associative operation on a type constructor. It is similar to `Semigroup`, except that it applies to types of kind `* -> *`.
 *
 * @category Alt
 * @since 1.0.0
 */
export declare const alt_: <E, A, G>(fa: Either<E, A>, that: () => Either<G, A>) => Either<E | G, A>;
/**
 * ```haskell
 * alt :: Alt f => (() -> f a) -> f a -> f a
 * ```
 *
 * Identifies an associative operation on a type constructor. It is similar to `Semigroup`, except that it applies to types of kind `* -> *`.
 *
 * @category Alt
 * @since 1.0.0
 */
export declare const alt: <G, A>(that: () => Either<G, A>) => <E>(fa: Either<E, A>) => Either<G | E, A>;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const Alt: P.Alt<[URI], V>;
//# sourceMappingURL=alt.d.ts.map