import type { Alt } from "@principia/prelude";
import type { Applicative } from "@principia/prelude/Applicative";
import type { Fallible } from "@principia/prelude/Fallible";
import * as HKT from "@principia/prelude/HKT";
import type { Monad } from "@principia/prelude/Monad";
import type { Semigroup } from "@principia/prelude/Semigroup";
import type { Erase } from "@principia/prelude/Utils";
export declare function getApplicativeValidationF<F extends HKT.URIS, C = HKT.Auto>(
   F: Monad<F, C> & Fallible<F, C> & Applicative<F, C>
): <E>(S: Semigroup<E>) => Applicative<F, Erase<HKT.Strip<C, "E">, HKT.Auto> & HKT.Fix<"E", E>>;
export declare function getAltValidationF<F extends HKT.URIS, C = HKT.Auto>(
   F: Monad<F, C> & Fallible<F, C> & Alt<F, C>
): <E>(S: Semigroup<E>) => Alt<F, Erase<HKT.Strip<C, "E">, HKT.Auto> & HKT.Fix<"E", E>>;
//# sourceMappingURL=validation.d.ts.map