import { Either } from '../adts/Either';
import { Maybe } from '../adts/Maybe';
export declare type Validator<T> = (value: T) => boolean;
export declare type ValidationTuple<T, Err> = [Validator<T>, Err];
export declare abstract class Validate {
    static all<T, Err>(value: T, validations: ValidationTuple<T, Err>[]): Either<Err[], T>;
    static untilError<T, Err>(value: T, validations: ValidationTuple<T, Err>[]): Either<Err, T>;
}
export declare const ifEmpty: (value: string) => boolean;
export declare const ifJust: <T>(value: Maybe<T>) => boolean;
export declare const ifNothing: <T>(value: Maybe<T>) => boolean;
export declare const ifShorterThan: (length: number) => (value: string) => boolean;
export declare const ifLongerThan: (length: number) => (value: string) => boolean;
export declare const ifLengthIs: (length: number) => (value: string) => boolean;
export declare const ifSubstringOf: (str: string) => (value: string) => boolean;
export declare const ifContains: (substr: string) => (value: string) => boolean;
export declare const ifEmptyList: <T>(arr: ArrayLike<T>) => boolean;
export declare const ifEqualTo: <T>(other: T) => (value: T) => boolean;
export declare const ifTrue: <T>(condition: Validator<T>) => (value: T) => boolean;
export declare const ifFalse: <T>(condition: Validator<T>) => (value: T) => boolean;
export declare const not: <T>(validation: Validator<T>) => Validator<T>;
export declare const or: <T>(validation1: Validator<T>, validation2: Validator<T>) => Validator<T>;
export declare const and: <T>(validation1: Validator<T>, validation2: Validator<T>) => Validator<T>;