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