Interface Validation<E, T>
interface Validation<E, T> {
@@type: string;
acc(): Validation<E, IValidationAcc>;
ap<V>(eitherFn: Validation<E, ((val: T) => V)>): Validation<E, V>;
apTo<V>(value: Validation<E, V>): T extends ((arg: V) => any)
? Validation<E, ReturnType<T<T>>>
: never;
bimap<F, V>(fnF: ((fail: E) => F), fnS: ((val: T) => V)): Validation<F, V>;
bind<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>;
cata<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z;
catchMap<F>(fn: ((fail: E) => Validation<F, T>)): Validation<F, T>;
chain<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>;
equals(other: Validation<E, T>): boolean;
fail(): E;
failMap<F>(fn: ((fail: E) => F)): Validation<F, T>;
fantasy-land/ap?<V>(afn: Applicative<((val: T) => V)>): Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: T) => Chain<V>)): Chain<V>;
fantasy-land/equals?(other: Validation<E, T>): boolean;
fantasy-land/map?<V>(fn: ((val: T) => V)): Functor<V>;
flatMap<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>;
fold<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z;
foldLeft<V>(initial: V): ((fn: ((acc: V, val: T) => V)) => V);
foldRight<V>(initial: V): ((fn: ((val: T, acc: V) => V)) => V);
forEach(fn: ((val: T) => void)): void;
forEachFail(fn: ((val: E) => void)): void;
isFail(): boolean;
isSuccess(): boolean;
join<V>(): Validation<E, V>;
map<V>(fn: ((val: T) => V)): Validation<E, V>;
success(): T;
swap(): Validation<T, E>;
takeLeft(m: Validation<E, T>): Validation<E, T>;
takeRight(m: Validation<E, T>): Validation<E, T>;
toEither(): Either<E, T>;
toMaybe(): Maybe<T>;
}
@@type: string;
acc(): Validation<E, IValidationAcc>;
ap<V>(eitherFn: Validation<E, ((val: T) => V)>): Validation<E, V>;
apTo<V>(value: Validation<E, V>): T extends ((arg: V) => any)
? Validation<E, ReturnType<T<T>>>
: never;
bimap<F, V>(fnF: ((fail: E) => F), fnS: ((val: T) => V)): Validation<F, V>;
bind<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>;
cata<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z;
catchMap<F>(fn: ((fail: E) => Validation<F, T>)): Validation<F, T>;
chain<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>;
equals(other: Validation<E, T>): boolean;
fail(): E;
failMap<F>(fn: ((fail: E) => F)): Validation<F, T>;
fantasy-land/ap?<V>(afn: Applicative<((val: T) => V)>): Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: T) => Chain<V>)): Chain<V>;
fantasy-land/equals?(other: Validation<E, T>): boolean;
fantasy-land/map?<V>(fn: ((val: T) => V)): Functor<V>;
flatMap<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>;
fold<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z;
foldLeft<V>(initial: V): ((fn: ((acc: V, val: T) => V)) => V);
foldRight<V>(initial: V): ((fn: ((val: T, acc: V) => V)) => V);
forEach(fn: ((val: T) => void)): void;
forEachFail(fn: ((val: E) => void)): void;
isFail(): boolean;
isSuccess(): boolean;
join<V>(): Validation<E, V>;
map<V>(fn: ((val: T) => V)): Validation<E, V>;
success(): T;
swap(): Validation<T, E>;
takeLeft(m: Validation<E, T>): Validation<E, T>;
takeRight(m: Validation<E, T>): Validation<E, T>;
toEither(): Either<E, T>;
toMaybe(): Maybe<T>;
}
Type Parameters
Hierarchy-Diagram
Legend
interface
public method
Hierarchy (view full)
- IMonad<T>
- Setoid<Validation<E, T>>
- ITraversable<T>
- Catamorphism<E, T>
- Validation
Properties
@@type
@@type: string
Methods
acc
- acc(): Validation<E, IValidationAcc>
Returns Validation<E, IValidationAcc>
ap
- ap<V>(eitherFn: Validation<E, ((val: T) => V)>): Validation<E, V>
Type Parameters
Parameters
- eitherFn: Validation<E, ((val: T) => V)>
Returns Validation<E, V>
ap
- ap
To<V>(value: Validation<E, V>): T extends ((arg: V) => any)
? Validation<E, ReturnType<T<T>>>
: never Type Parameters
Parameters
- value: Validation<E, V>
Returns T extends ((arg: V) => any)
? Validation<E, ReturnType<T<T>>>
: never
bimap
bind
- bind<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>
Type Parameters
Parameters
- fn: ((val: T) => Validation<E, V>)
- (val: T): Validation<E, V>
Parameters
- val: T
Returns Validation<E, V>
Returns Validation<E, V>
- fn: ((val: T) => Validation<E, V>)
cata
catch
- catch
Map<F>(fn: ((fail: E) => Validation<F, T>)): Validation<F, T> Type Parameters
Parameters
- fn: ((fail: E) => Validation<F, T>)
- (fail: E): Validation<F, T>
Parameters
- fail: E
Returns Validation<F, T>
Returns Validation<F, T>
- fn: ((fail: E) => Validation<F, T>)
chain
- chain<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V>
Type Parameters
Parameters
- fn: ((val: T) => Validation<E, V>)
- (val: T): Validation<E, V>
Parameters
- val: T
Returns Validation<E, V>
Returns Validation<E, V>
- fn: ((val: T) => Validation<E, V>)
equals
- equals(other: Validation<E, T>): boolean
Parameters
- other: Validation<E, T>
Returns boolean
fail
fail
- fail
Map<F>(fn: ((fail: E) => F)): Validation<F, T> Type Parameters
Returns Validation<F, T>
Optional fantasy-
- fantasy-
land/ap<V>(afn: Applicative<((val: T) => V)>): Applicative<V> Type Parameters
Parameters
- afn: Applicative<((val: T) => V)>
Returns Applicative<V>
Optional fantasy-
Optional fantasy-
- fantasy-
land/equals(other: Validation<E, T>): boolean Parameters
- other: Validation<E, T>
Returns boolean
Optional fantasy-
flat
- flat
Map<V>(fn: ((val: T) => Validation<E, V>)): Validation<E, V> Type Parameters
Parameters
- fn: ((val: T) => Validation<E, V>)
- (val: T): Validation<E, V>
Parameters
- val: T
Returns Validation<E, V>
Returns Validation<E, V>
- fn: ((val: T) => Validation<E, V>)
fold
fold
fold
for
- for
Each(fn: ((val: T) => void)): void Returns void
for
- for
Each Fail(fn: ((val: E) => void)): void Returns void
is
is
join
- join<V>(): Validation<E, V>
Type Parameters
Returns Validation<E, V>
map
- map<V>(fn: ((val: T) => V)): Validation<E, V>
Type Parameters
Returns Validation<E, V>
success
swap
- swap(): Validation<T, E>
Returns Validation<T, E>
take
- take
Left(m: Validation<E, T>): Validation<E, T> Parameters
- m: Validation<E, T>
Returns Validation<E, T>
take
- take
Right(m: Validation<E, T>): Validation<E, T> Parameters
- m: Validation<E, T>
Returns Validation<E, T>
Basic Monad Interface