import type * as P from "@principia/prelude";
import * as HKT from "@principia/prelude/HKT";
import type { URI, V } from "./model";
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const getApplicativeValidation: <E>(S: P.Semigroup<E>) => P.Applicative<["Either"], V & HKT.Fix<"E", E>>;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const getAltValidation: <E>(S: P.Semigroup<E>) => P.Alt<["Either"], V & HKT.Fix<"E", E>>;
//# sourceMappingURL=validation.d.ts.map