import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Monad } from "@tsplus/stdlib/prelude/Monad";
import { Run } from "@tsplus/stdlib/prelude/FX/Run";
import { Fail } from "@tsplus/stdlib/prelude/FX/Fail";
import { Applicative } from "@tsplus/stdlib/prelude/Applicative";
import { Associative } from "@tsplus/stdlib/prelude/Associative/definition";
import { Either } from "@tsplus/stdlib/data/Either/definition";
/**
 * @tsplus type Validation
 */
export interface Validation<F extends HKT, E> extends HKT {
    readonly type: HKT.Kind<F, this["R"], E, this["A"]>;
}
/**
 * @tsplus static DSL getValidationF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/getValidationF"
 */
export declare function getValidationF<F extends HKT>(M: Monad<F> & Run<F> & Fail<F> & Applicative<F>): <Z>(S: import("../Associative").Associative<Z>) => import("../Applicative").Applicative<Validation<F, Z>>;
//# sourceMappingURL=getValidationF.d.ts.map