fj.data

Class Validation<E,T>

java.lang.Object

fj.data.Validation<E,T>

All Implemented Interfaces:

java.lang.Iterable<T>

public class Validation<E,T>
extends java.lang.Object
implements java.lang.Iterable<T>

Isomorphic to Either but has renamed functions and represents failure on the left and success on the right. This type also has accumulating functions that accept a Semigroup for binding computation while keeping error values

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Validation.FailProjection<E,T> A failing projection of a validation.

Field Summary

Fields

Modifier and Type	Field and Description
static F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Byte>>	parseByte A function that parses a string into a byte.
static F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Double>>	parseDouble A function that parses a string into a double.
static F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Float>>	parseFloat A function that parses a string into a float.
static F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Integer>>	parseInt A function that parses a string into an integer.
static F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Long>>	parseLong A function that parses a string into a long.
static F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Short>>	parseShort A function that parses a string into a short.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Validation(Either<E,T> e)

Method Summary

Modifier and Type	Method and Description
<A> Validation<E,A>	accumapply(Semigroup<E> s, Validation<E,F<T,A>> v) Function application on the successful side of this validation, or accumulating the errors on the failing side using the given semigroup should one or more be encountered.
Validation<List<E>,T>	accumulate()
<B> Validation<List<E>,B>	accumulate(F<T,B> f)
<A> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va) Accumulates errors anonymously.
<A,B> Validation<E,B>	accumulate(Semigroup<E> s, Validation<E,A> va, F<T,F<A,B>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B> Validation<E,B>	accumulate(Semigroup<E> s, Validation<E,A> va, F2<T,A,B> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb) Accumulates errors anonymously.
<A,B,C> Validation<E,C>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, F<T,F<A,F<B,C>>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C> Validation<E,C>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, F3<T,A,B,C> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc) Accumulates errors anonymously.
<A,B,C,D> Validation<E,D>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, F<T,F<A,F<B,F<C,D>>>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D> Validation<E,D>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, F4<T,A,B,C,D> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd) Accumulates errors anonymously.
<A,B,C,D,E$> Validation<E,E$>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, F<T,F<A,F<B,F<C,F<D,E$>>>>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$> Validation<E,E$>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, F5<T,A,B,C,D,E$> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve) Accumulates errors anonymously.
<A,B,C,D,E$,F$> Validation<E,F$>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, F<T,F<A,F<B,F<C,F<D,F<E$,F$>>>>>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$,F$> Validation<E,F$>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, F6<T,A,B,C,D,E$,F$> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$,F$> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, Validation<E,F$> vf) Accumulates errors anonymously.
<A,B,C,D,E$,F$,G> Validation<E,G>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, Validation<E,F$> vf, F<T,F<A,F<B,F<C,F<D,F<E$,F<F$,G>>>>>>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$,F$,G> Validation<E,G>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, Validation<E,F$> vf, F7<T,A,B,C,D,E$,F$,G> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$,F$,G> Option<E>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, Validation<E,F$> vf, Validation<E,G> vg) Accumulates errors anonymously.
<A,B,C,D,E$,F$,G,H> Validation<E,H>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, Validation<E,F$> vf, Validation<E,G> vg, F<T,F<A,F<B,F<C,F<D,F<E$,F<F$,F<G,H>>>>>>>> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<A,B,C,D,E$,F$,G,H> Validation<E,H>	accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, Validation<E,E$> ve, Validation<E,F$> vf, Validation<E,G> vg, F8<T,A,B,C,D,E$,F$,G,H> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
<B,C> Validation<List<E>,C>	accumulate(Validation<E,B> v2, F2<T,B,C> f)
<B,C,D> Validation<List<E>,D>	accumulate(Validation<E,B> v2, Validation<E,C> v3, F3<T,B,C,D> f)
<B,C,D,$E> Validation<List<E>,$E>	accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, F4<T,B,C,D,$E> f)
<B,C,D,$E,$F> Validation<List<E>,$F>	accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, Validation<E,$E> v5, F5<T,B,C,D,$E,$F> f)
<B,C,D,$E,$F,G> Validation<List<E>,G>	accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, Validation<E,$E> v5, Validation<E,$F> v6, F6<T,B,C,D,$E,$F,G> f)
<B,C,D,$E,$F,G,H> Validation<List<E>,H>	accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, Validation<E,$E> v5, Validation<E,$F> v6, Validation<E,G> v7, F7<T,B,C,D,$E,$F,G,H> f)
<B,C,D,$E,$F,G,H,I> Validation<List<E>,I>	accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, Validation<E,$E> v5, Validation<E,$F> v6, Validation<E,G> v7, Validation<E,H> v8, F8<T,B,C,D,$E,$F,G,H,I> f)
<A> Validation<E,A>	apply(Validation<E,F<T,A>> v) Function application on the success value.
<A> Validation<E,A>	bind(F<T,Validation<E,A>> f) Binds the given function across this validation's success value if it has one.
static <E,T> Validation<E,T>	condition(boolean c, E e, T t) Returns a validation based on a boolean condition.
static <E,T> F<Validation<E,T>,Either<E,T>>	either() Returns a function that constructs an either with a validation.
boolean	equals(java.lang.Object other)
boolean	exists(F<T,java.lang.Boolean> f) Returns false if this is a failure or returns the result of the application of the given function to the success value.
Validation.FailProjection<E,T>	f() Returns a failing projection of this validation.
E	fail() Returns the failing value, or throws an error if there is no failing value.
static <E,T> Validation<E,T>	fail(E e) Returns a failing validation containing the given value.
static <E,T> Validation<NonEmptyList<E>,T>	failNEL(E e) Returns a failing validation containing a non-empty list that contains the given value.
static <A,E> List<E>	fails(List<Validation<E,?>> list)
<A> Option<Validation<A,T>>	filter(F<T,java.lang.Boolean> f) Returns None if this is a failure or if the given predicate p does not hold for the success value, otherwise, returns a success in Some.
boolean	forall(F<T,java.lang.Boolean> f) Returns true if this is a failure or returns the result of the application of the given function to the success value.
Unit	foreach(F<T,Unit> f) Executes a side-effect on the success value if there is one.
void	foreachDoEffect(Effect1<T> f) Executes a side-effect on the success value if there is one.
int	hashCode()
boolean	isFail() Returns true if this is a failure, false otherwise.
boolean	isSuccess() Returns true if this is a success, false otherwise.
java.util.Iterator<T>	iterator() Returns an iterator for this validation.
<A> Validation<E,A>	map(F<T,A> f) Maps the given function across the success side of this validation.
Validation<NonEmptyList<E>,T>	nel() Puts this validation's failing value in a non-empty list if there is one.
T	on(F<E,T> f) The success value or the application of the given function to the failing value.
T	orSuccess(F0<T> t) Returns the success value or the given value.
T	orSuccess(T t) Returns the success value or the given value.
static Validation<java.lang.NumberFormatException,java.lang.Byte>	parseByte(java.lang.String s) Parses the given string into a byte.
static Validation<java.lang.NumberFormatException,java.lang.Double>	parseDouble(java.lang.String s) Parses the given string into a double.
static Validation<java.lang.NumberFormatException,java.lang.Float>	parseFloat(java.lang.String s) Parses the given string into a float.
static Validation<java.lang.NumberFormatException,java.lang.Integer>	parseInt(java.lang.String s) Parses the given string into a integer.
static Validation<java.lang.NumberFormatException,java.lang.Long>	parseLong(java.lang.String s) Parses the given string into a long.
static Validation<java.lang.NumberFormatException,java.lang.Short>	parseShort(java.lang.String s) Parses the given string into a short.
static <A,B> P2<List<A>,List<B>>	partition(List<Validation<A,B>> list) Partitions the list into the list of fails and the list of successes
static <E,A> Validation<E,List<A>>	sequence(Semigroup<E> s, List<Validation<E,A>> list) If list contains a failure, returns a failure of the reduction of all the failures using the semigroup, otherwise returns the successful list.
<A> Validation<E,A>	sequence(Validation<E,A> v) Anonymous bind through this validation.
static <A,E> Validation<List<E>,List<A>>	sequenceNonCumulative(List<Validation<E,A>> list) If the list contains a failure, returns a Validation of the list of fails in the list, otherwise returns a successful Validation with the list of successful values.
T	success() Returns the success value, or throws an error if there is no success value.
static <E,T> Validation<E,T>	success(T t) Returns a succeeding validation containing the given value.
T	successE(F0<java.lang.String> err) Returns the success value or fails with the given error message.
T	successE(java.lang.String err) Returns the success value or fails with the given error message.
static <A,E> List<A>	successes(List<Validation<?,A>> list)
Array<T>	toArray() Returns a single element array if this is a success value, otherwise an empty list.
Either<E,T>	toEither() Returns an either projection of this validation.
List<T>	toList() Returns a single element list if this is a success value, otherwise an empty list.
Option<T>	toOption() Returns the success value in Some if there is one, otherwise None.
Stream<T>	toStream() Returns a single element stream if this is a success value, otherwise an empty list.
java.lang.String	toString()
<C> IO<Validation<E,C>>	traverseIO(F<T,IO<C>> f)
<C> List<Validation<E,C>>	traverseList(F<T,List<C>> f)
<C> Option<Validation<E,C>>	traverseOption(F<T,Option<C>> f)
<C> P1<Validation<E,C>>	traverseP1(F<T,P1<C>> f)
<C> Stream<Validation<E,C>>	traverseStream(F<T,Stream<C>> f)
static <E,T> F<Either<E,T>,Validation<E,T>>	validation() Returns a function that constructs a validation with an either.
static <E,T> Validation<E,T>	validation(Either<E,T> e) Construct a validation using the given either value.
<X> X	validation(F<E,X> fail, F<T,X> success) The catamorphism for validation.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

parseByte

public static final F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Byte>> parseByte

A function that parses a string into a byte.

parseDouble

public static final F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Double>> parseDouble

A function that parses a string into a double.

parseFloat

public static final F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Float>> parseFloat

A function that parses a string into a float.

parseInt

public static final F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Integer>> parseInt

A function that parses a string into an integer.

parseLong

public static final F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Long>> parseLong

A function that parses a string into a long.

parseShort

public static final F<java.lang.String,Validation<java.lang.NumberFormatException,java.lang.Short>> parseShort

A function that parses a string into a short.

Constructor Detail

Validation

protected Validation(Either<E,T> e)

Method Detail

isFail

public final boolean isFail()

Returns true if this is a failure, false otherwise.

Returns:

true if this is a failure, false otherwise.

isSuccess

public final boolean isSuccess()

Returns true if this is a success, false otherwise.

Returns:

true if this is a success, false otherwise.

fail

public final E fail()

Returns the failing value, or throws an error if there is no failing value.

Returns:

the failing value, or throws an error if there is no failing value.

success

public final T success()

Returns the success value, or throws an error if there is no success value.

Returns:

the success value, or throws an error if there is no success value.

validation

public final <X> X validation(F<E,X> fail,
                              F<T,X> success)

The catamorphism for validation. Folds over this validation breaking into left or right.

Parameters:

fail - The function to call if this failed.

success - The function to call if this succeeded.

Returns:

The reduced value.

f

public final Validation.FailProjection<E,T> f()

Returns a failing projection of this validation.

Returns:

a failing projection of this validation.

toEither

public final Either<E,T> toEither()

Returns an either projection of this validation.

Returns:

An either projection of this validation.

successE

public final T successE(F0<java.lang.String> err)

Returns the success value or fails with the given error message.

Parameters:

err - The error message to fail with.

Returns:

The success value.

successE

public final T successE(java.lang.String err)

Returns the success value or fails with the given error message.

Parameters:

err - The error message to fail with.

Returns:

The success value.

orSuccess

public final T orSuccess(F0<T> t)

Returns the success value or the given value.

Parameters:

t - The value to return if this is failure.

Returns:

The success value or the given value.

orSuccess

public final T orSuccess(T t)

Returns the success value or the given value.

Parameters:

t - The value to return if this is failure.

Returns:

The success value or the given value.

on

public final T on(F<E,T> f)

The success value or the application of the given function to the failing value.

Parameters:

f - The function to execute on the failing value.

Returns:

The success value or the application of the given function to the failing value.

foreach

public final Unit foreach(F<T,Unit> f)

Executes a side-effect on the success value if there is one.

Parameters:

f - The side-effect to execute.

Returns:

The unit value.

foreachDoEffect

public final void foreachDoEffect(Effect1<T> f)

Executes a side-effect on the success value if there is one.

Parameters:

f - The side-effect to execute.

map

public final <A> Validation<E,A> map(F<T,A> f)

Maps the given function across the success side of this validation.

Parameters:

f - The function to map.

Returns:

A new validation with the function mapped.

bind

public final <A> Validation<E,A> bind(F<T,Validation<E,A>> f)

Binds the given function across this validation's success value if it has one.

Parameters:

f - The function to bind across this validation.

Returns:

A new validation value after binding.

sequence

public final <A> Validation<E,A> sequence(Validation<E,A> v)

Anonymous bind through this validation.

Parameters:

v - The value to bind with.

Returns:

A validation after binding.

sequence

public static <E,A> Validation<E,List<A>> sequence(Semigroup<E> s,
                                                   List<Validation<E,A>> list)

If list contains a failure, returns a failure of the reduction of all the failures using the semigroup, otherwise returns the successful list.

filter

public final <A> Option<Validation<A,T>> filter(F<T,java.lang.Boolean> f)

Returns None if this is a failure or if the given predicate p does not hold for the success value, otherwise, returns a success in Some.

Parameters:

f - The predicate function to test on this success value.

Returns:

None if this is a failure or if the given predicate p does not hold for the success value, otherwise, returns a success in Some.

apply

public final <A> Validation<E,A> apply(Validation<E,F<T,A>> v)

Function application on the success value.

Parameters:

v - The validation of the function to apply on the success value.

Returns:

The result of function application in validation.

forall

public final boolean forall(F<T,java.lang.Boolean> f)

Returns true if this is a failure or returns the result of the application of the given function to the success value.

Parameters:

f - The predicate function to test on this success value.

Returns:

true if this is a failure or returns the result of the application of the given function to the success value.

exists

public final boolean exists(F<T,java.lang.Boolean> f)

Returns false if this is a failure or returns the result of the application of the given function to the success value.

Parameters:

f - The predicate function to test on this success value.

Returns:

false if this is a failure or returns the result of the application of the given function to the success value.

equals

public final boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

toList

public final List<T> toList()

Returns a single element list if this is a success value, otherwise an empty list.

Returns:

A single element list if this is a success value, otherwise an empty list.

toOption

public final Option<T> toOption()

Returns the success value in Some if there is one, otherwise None.

Returns:

The success value in Some if there is one, otherwise None.

toArray

public final Array<T> toArray()

Returns a single element array if this is a success value, otherwise an empty list.

Returns:

A single element array if this is a success value, otherwise an empty list.

toStream

public final Stream<T> toStream()

Returns a single element stream if this is a success value, otherwise an empty list.

Returns:

A single element stream if this is a success value, otherwise an empty list.

accumapply

public final <A> Validation<E,A> accumapply(Semigroup<E> s,
                                            Validation<E,F<T,A>> v)

Function application on the successful side of this validation, or accumulating the errors on the failing side using the given semigroup should one or more be encountered.

Parameters:

s - The semigroup to accumulate errors with if

v - The validating function to apply.

Returns:

A failing validation if this or the given validation failed (with errors accumulated if both) or a succeeding validation if both succeeded.

accumulate

public final <A,B> Validation<E,B> accumulate(Semigroup<E> s,
                                              Validation<E,A> va,
                                              F<T,F<A,B>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B> Validation<E,B> accumulate(Semigroup<E> s,
                                              Validation<E,A> va,
                                              F2<T,A,B> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A> Option<E> accumulate(Semigroup<E> s,
                                      Validation<E,A> va)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

accumulate

public final <A,B,C> Validation<E,C> accumulate(Semigroup<E> s,
                                                Validation<E,A> va,
                                                Validation<E,B> vb,
                                                F<T,F<A,F<B,C>>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C> Validation<E,C> accumulate(Semigroup<E> s,
                                                Validation<E,A> va,
                                                Validation<E,B> vb,
                                                F3<T,A,B,C> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B> Option<E> accumulate(Semigroup<E> s,
                                        Validation<E,A> va,
                                        Validation<E,B> vb)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

accumulate

public final <A,B,C,D> Validation<E,D> accumulate(Semigroup<E> s,
                                                  Validation<E,A> va,
                                                  Validation<E,B> vb,
                                                  Validation<E,C> vc,
                                                  F<T,F<A,F<B,F<C,D>>>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D> Validation<E,D> accumulate(Semigroup<E> s,
                                                  Validation<E,A> va,
                                                  Validation<E,B> vb,
                                                  Validation<E,C> vc,
                                                  F4<T,A,B,C,D> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C> Option<E> accumulate(Semigroup<E> s,
                                          Validation<E,A> va,
                                          Validation<E,B> vb,
                                          Validation<E,C> vc)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

accumulate

public final <A,B,C,D,E$> Validation<E,E$> accumulate(Semigroup<E> s,
                                                      Validation<E,A> va,
                                                      Validation<E,B> vb,
                                                      Validation<E,C> vc,
                                                      Validation<E,D> vd,
                                                      F<T,F<A,F<B,F<C,F<D,E$>>>>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$> Validation<E,E$> accumulate(Semigroup<E> s,
                                                      Validation<E,A> va,
                                                      Validation<E,B> vb,
                                                      Validation<E,C> vc,
                                                      Validation<E,D> vd,
                                                      F5<T,A,B,C,D,E$> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D> Option<E> accumulate(Semigroup<E> s,
                                            Validation<E,A> va,
                                            Validation<E,B> vb,
                                            Validation<E,C> vc,
                                            Validation<E,D> vd)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

accumulate

public final <A,B,C,D,E$,F$> Validation<E,F$> accumulate(Semigroup<E> s,
                                                         Validation<E,A> va,
                                                         Validation<E,B> vb,
                                                         Validation<E,C> vc,
                                                         Validation<E,D> vd,
                                                         Validation<E,E$> ve,
                                                         F<T,F<A,F<B,F<C,F<D,F<E$,F$>>>>>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$,F$> Validation<E,F$> accumulate(Semigroup<E> s,
                                                         Validation<E,A> va,
                                                         Validation<E,B> vb,
                                                         Validation<E,C> vc,
                                                         Validation<E,D> vd,
                                                         Validation<E,E$> ve,
                                                         F6<T,A,B,C,D,E$,F$> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$> Option<E> accumulate(Semigroup<E> s,
                                               Validation<E,A> va,
                                               Validation<E,B> vb,
                                               Validation<E,C> vc,
                                               Validation<E,D> vd,
                                               Validation<E,E$> ve)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

accumulate

public final <A,B,C,D,E$,F$,G> Validation<E,G> accumulate(Semigroup<E> s,
                                                          Validation<E,A> va,
                                                          Validation<E,B> vb,
                                                          Validation<E,C> vc,
                                                          Validation<E,D> vd,
                                                          Validation<E,E$> ve,
                                                          Validation<E,F$> vf,
                                                          F<T,F<A,F<B,F<C,F<D,F<E$,F<F$,G>>>>>>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

vf - The seventh validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$,F$,G> Validation<E,G> accumulate(Semigroup<E> s,
                                                          Validation<E,A> va,
                                                          Validation<E,B> vb,
                                                          Validation<E,C> vc,
                                                          Validation<E,D> vd,
                                                          Validation<E,E$> ve,
                                                          Validation<E,F$> vf,
                                                          F7<T,A,B,C,D,E$,F$,G> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

vf - The seventh validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$,F$> Option<E> accumulate(Semigroup<E> s,
                                                  Validation<E,A> va,
                                                  Validation<E,B> vb,
                                                  Validation<E,C> vc,
                                                  Validation<E,D> vd,
                                                  Validation<E,E$> ve,
                                                  Validation<E,F$> vf)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

vf - The seventh validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

accumulate

public final <A,B,C,D,E$,F$,G,H> Validation<E,H> accumulate(Semigroup<E> s,
                                                            Validation<E,A> va,
                                                            Validation<E,B> vb,
                                                            Validation<E,C> vc,
                                                            Validation<E,D> vd,
                                                            Validation<E,E$> ve,
                                                            Validation<E,F$> vf,
                                                            Validation<E,G> vg,
                                                            F<T,F<A,F<B,F<C,F<D,F<E$,F<F$,F<G,H>>>>>>>> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

vf - The seventh validation to accumulate errors with if it failed.

vg - The eighth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$,F$,G,H> Validation<E,H> accumulate(Semigroup<E> s,
                                                            Validation<E,A> va,
                                                            Validation<E,B> vb,
                                                            Validation<E,C> vc,
                                                            Validation<E,D> vd,
                                                            Validation<E,E$> ve,
                                                            Validation<E,F$> vf,
                                                            Validation<E,G> vg,
                                                            F8<T,A,B,C,D,E$,F$,G,H> f)

Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

vf - The seventh validation to accumulate errors with if it failed.

vg - The eighth validation to accumulate errors with if it failed.

f - The function to apply if all validations have succeeded.

Returns:

A succeeding validation if all validations succeeded, or a failing validation with errors accumulated if one or more failed.

accumulate

public final <A,B,C,D,E$,F$,G> Option<E> accumulate(Semigroup<E> s,
                                                    Validation<E,A> va,
                                                    Validation<E,B> vb,
                                                    Validation<E,C> vc,
                                                    Validation<E,D> vd,
                                                    Validation<E,E$> ve,
                                                    Validation<E,F$> vf,
                                                    Validation<E,G> vg)

Accumulates errors anonymously.

Parameters:

s - The semigroup to accumulate errors with if one or more validations fail.

va - The second validation to accumulate errors with if it failed.

vb - The third validation to accumulate errors with if it failed.

vc - The fourth validation to accumulate errors with if it failed.

vd - The fifth validation to accumulate errors with if it failed.

ve - The sixth validation to accumulate errors with if it failed.

vf - The seventh validation to accumulate errors with if it failed.

vg - The eighth validation to accumulate errors with if it failed.

Returns:

A Some if one or more validations failed (accumulated with the semigroup), otherwise, None.

iterator

public final java.util.Iterator<T> iterator()

Returns an iterator for this validation. This method exists to permit the use in a for-each loop.

Specified by:

iterator in interface java.lang.Iterable<T>

Returns:

A iterator for this validation.

accumulate

public final Validation<List<E>,T> accumulate()

accumulate

public final <B> Validation<List<E>,B> accumulate(F<T,B> f)

accumulate

public final <B,C> Validation<List<E>,C> accumulate(Validation<E,B> v2,
                                                    F2<T,B,C> f)

accumulate

public final <B,C,D> Validation<List<E>,D> accumulate(Validation<E,B> v2,
                                                      Validation<E,C> v3,
                                                      F3<T,B,C,D> f)

accumulate

public final <B,C,D,$E> Validation<List<E>,$E> accumulate(Validation<E,B> v2,
                                                          Validation<E,C> v3,
                                                          Validation<E,D> v4,
                                                          F4<T,B,C,D,$E> f)

accumulate

public final <B,C,D,$E,$F> Validation<List<E>,$F> accumulate(Validation<E,B> v2,
                                                             Validation<E,C> v3,
                                                             Validation<E,D> v4,
                                                             Validation<E,$E> v5,
                                                             F5<T,B,C,D,$E,$F> f)

accumulate

public final <B,C,D,$E,$F,G> Validation<List<E>,G> accumulate(Validation<E,B> v2,
                                                              Validation<E,C> v3,
                                                              Validation<E,D> v4,
                                                              Validation<E,$E> v5,
                                                              Validation<E,$F> v6,
                                                              F6<T,B,C,D,$E,$F,G> f)

accumulate

public final <B,C,D,$E,$F,G,H> Validation<List<E>,H> accumulate(Validation<E,B> v2,
                                                                Validation<E,C> v3,
                                                                Validation<E,D> v4,
                                                                Validation<E,$E> v5,
                                                                Validation<E,$F> v6,
                                                                Validation<E,G> v7,
                                                                F7<T,B,C,D,$E,$F,G,H> f)

accumulate

public final <B,C,D,$E,$F,G,H,I> Validation<List<E>,I> accumulate(Validation<E,B> v2,
                                                                  Validation<E,C> v3,
                                                                  Validation<E,D> v4,
                                                                  Validation<E,$E> v5,
                                                                  Validation<E,$F> v6,
                                                                  Validation<E,G> v7,
                                                                  Validation<E,H> v8,
                                                                  F8<T,B,C,D,$E,$F,G,H,I> f)

sequenceNonCumulative

public static <A,E> Validation<List<E>,List<A>> sequenceNonCumulative(List<Validation<E,A>> list)

If the list contains a failure, returns a Validation of the list of fails in the list, otherwise returns a successful Validation with the list of successful values. Does not accumulate the failures into a single failure using a semigroup.

traverseList

public final <C> List<Validation<E,C>> traverseList(F<T,List<C>> f)

traverseStream

public final <C> Stream<Validation<E,C>> traverseStream(F<T,Stream<C>> f)

traverseOption

public final <C> Option<Validation<E,C>> traverseOption(F<T,Option<C>> f)

traverseIO

public final <C> IO<Validation<E,C>> traverseIO(F<T,IO<C>> f)

traverseP1

public final <C> P1<Validation<E,C>> traverseP1(F<T,P1<C>> f)

fails

public static <A,E> List<E> fails(List<Validation<E,?>> list)

successes

public static <A,E> List<A> successes(List<Validation<?,A>> list)

nel

public final Validation<NonEmptyList<E>,T> nel()

Puts this validation's failing value in a non-empty list if there is one.

Returns:

A validation with its failing value in a non-empty list if there is one.

validation

public static <E,T> Validation<E,T> validation(Either<E,T> e)

Construct a validation using the given either value.

Parameters:

e - The either value to construct a validation with.

Returns:

A validation using the given either value.

validation

public static <E,T> F<Either<E,T>,Validation<E,T>> validation()

Returns a function that constructs a validation with an either.

Returns:

A function that constructs a validation with an either.

either

public static <E,T> F<Validation<E,T>,Either<E,T>> either()

Returns a function that constructs an either with a validation.

Returns:

A function that constructs an either with a validation.

success

public static <E,T> Validation<E,T> success(T t)

Returns a succeeding validation containing the given value.

Parameters:

t - The value to use in the succeeding validation.

Returns:

A succeeding validation containing the given value.

fail

public static <E,T> Validation<E,T> fail(E e)

Returns a failing validation containing the given value.

Parameters:

e - The value to use in the failing validation.

Returns:

A failing validation containing the given value.

failNEL

public static <E,T> Validation<NonEmptyList<E>,T> failNEL(E e)

Returns a failing validation containing a non-empty list that contains the given value.

Parameters:

e - The value to use in a non-empty list for the failing validation.

Returns:

A failing validation containing a non-empty list that contains the given value.

condition

public static <E,T> Validation<E,T> condition(boolean c,
                                              E e,
                                              T t)

Returns a validation based on a boolean condition. If the condition is true, the validation succeeds, otherwise it fails.

Parameters:

c - The condition to base the returned validation on.

e - The failing value to use if the condition is false.

t - The succeeding value to use if the condition is true.

Returns:

A validation based on a boolean condition.

parseByte

public static Validation<java.lang.NumberFormatException,java.lang.Byte> parseByte(java.lang.String s)

Parses the given string into a byte.

Parameters:

s - The string to parse.

Returns:

A successfully parse byte or a failing exception.

parseDouble

public static Validation<java.lang.NumberFormatException,java.lang.Double> parseDouble(java.lang.String s)

Parses the given string into a double.

Parameters:

s - The string to parse.

Returns:

A successfully parse double or a failing exception.

parseFloat

public static Validation<java.lang.NumberFormatException,java.lang.Float> parseFloat(java.lang.String s)

Parses the given string into a float.

Parameters:

s - The string to parse.

Returns:

A successfully parse float or a failing exception.

parseInt

public static Validation<java.lang.NumberFormatException,java.lang.Integer> parseInt(java.lang.String s)

Parses the given string into a integer.

Parameters:

s - The string to parse.

Returns:

A successfully parse integer or a failing exception.

parseLong

public static Validation<java.lang.NumberFormatException,java.lang.Long> parseLong(java.lang.String s)

Parses the given string into a long.

Parameters:

s - The string to parse.

Returns:

A successfully parse long or a failing exception.

parseShort

public static Validation<java.lang.NumberFormatException,java.lang.Short> parseShort(java.lang.String s)

Parses the given string into a short.

Parameters:

s - The string to parse.

Returns:

A successfully parse short or a failing exception.

partition

public static <A,B> P2<List<A>,List<B>> partition(List<Validation<A,B>> list)

Partitions the list into the list of fails and the list of successes

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object