|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfj.data.Validation<E,T>
public final class Validation<E,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 | |
---|---|
class |
Validation.FailProjection<E,T>
A failing projection of a validation. |
Method Summary | ||
---|---|---|
|
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. |
|
|
accumulate(Semigroup<E> s,
Validation<E,A> va)
Accumulates errors anonymously. |
|
|
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. |
|
|
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. |
|
|
accumulate(Semigroup<E> s,
Validation<E,A> va,
Validation<E,B> vb)
Accumulates errors anonymously. |
|
|
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. |
|
|
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. |
|
|
accumulate(Semigroup<E> s,
Validation<E,A> va,
Validation<E,B> vb,
Validation<E,C> vc)
Accumulates errors anonymously. |
|
|
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. |
|
|
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. |
|
|
accumulate(Semigroup<E> s,
Validation<E,A> va,
Validation<E,B> vb,
Validation<E,C> vc,
Validation<E,D> vd)
Accumulates errors anonymously. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
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. |
|
|
apply(Validation<E,F<T,A>> v)
Function application on the success value. |
|
|
bind(F<T,Validation<E,A>> f)
Binds the given function across this validation's success value if it has one. |
|
static
|
condition(boolean c,
E e,
T t)
Returns a validation based on a boolean condition. |
|
static
|
either()
Returns a function that constructs an either with a validation. |
|
boolean |
exists(F<T,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
|
fail(E e)
Returns a failing validation containing the given value. |
|
static
|
failNEL(E e)
Returns a failing validation containing a non-empty list that contains the given value. |
|
|
filter(F<T,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,Boolean> f)
Returns true if this is a failure or returns the result of the application of the given
function to the success value. |
|
void |
foreach(Effect<T> f)
Executes a side-effect on the success value if there is one. |
|
Unit |
foreach(F<T,Unit> f)
Executes a side-effect on the success value if there is one. |
|
boolean |
isFail()
Returns true if this is a failure, false otherwise. |
|
boolean |
isSuccess()
Returns true if this is a success, false otherwise. |
|
Iterator<T> |
iterator()
Returns an iterator for this validation. |
|
|
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(P1<T> t)
Returns the success value or the given value. |
|
T |
orSuccess(T t)
Returns the success value or the given value. |
|
static Validation<NumberFormatException,Byte> |
parseByte(String s)
Parses the given string into a byte. |
|
static Validation<NumberFormatException,Double> |
parseDouble(String s)
Parses the given string into a double. |
|
static Validation<NumberFormatException,Float> |
parseFloat(String s)
Parses the given string into a float. |
|
static Validation<NumberFormatException,Integer> |
parseInt(String s)
Parses the given string into a integer. |
|
static Validation<NumberFormatException,Long> |
parseLong(String s)
Parses the given string into a long. |
|
static Validation<NumberFormatException,Short> |
parseShort(String s)
Parses the given string into a short. |
|
|
sequence(Validation<E,A> v)
Anonymous bind through this validation. |
|
T |
success()
Returns the success value, or throws an error if there is no success value. |
|
static
|
success(T t)
Returns a succeeding validation containing the given value. |
|
T |
successE(P1<String> err)
Returns the success value or fails with the given error message. |
|
T |
successE(String err)
Returns the success value or fails with the given error message. |
|
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. |
|
static
|
validation()
Returns a function that constructs a validation with an either. |
|
static
|
validation(Either<E,T> e)
Construct a validation using the given either value. |
|
|
validation(F<E,X> fail,
F<T,X> success)
The catamorphism for validation. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public boolean isFail()
true
if this is a failure, false
otherwise.
true
if this is a failure, false
otherwise.public boolean isSuccess()
true
if this is a success, false
otherwise.
true
if this is a success, false
otherwise.public E fail()
public T success()
public <X> X validation(F<E,X> fail, F<T,X> success)
fail
- The function to call if this failed.success
- The function to call if this succeeded.
public Validation.FailProjection<E,T> f()
public Either<E,T> toEither()
public T successE(P1<String> err)
err
- The error message to fail with.
public T successE(String err)
err
- The error message to fail with.
public T orSuccess(P1<T> t)
t
- The value to return if this is failure.
public T orSuccess(T t)
t
- The value to return if this is failure.
public T on(F<E,T> f)
f
- The function to execute on the failing value.
public Unit foreach(F<T,Unit> f)
f
- The side-effect to execute.
public void foreach(Effect<T> f)
f
- The side-effect to execute.public <A> Validation<E,A> map(F<T,A> f)
f
- The function to map.
public <A> Validation<E,A> bind(F<T,Validation<E,A>> f)
f
- The function to bind across this validation.
public <A> Validation<E,A> sequence(Validation<E,A> v)
v
- The value to bind with.
public <A> Option<Validation<A,T>> filter(F<T,Boolean> f)
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
.
f
- The predicate function to test on this success value.
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
.public <A> Validation<E,A> apply(Validation<E,F<T,A>> v)
v
- The validation of the function to apply on the success value.
public boolean forall(F<T,Boolean> f)
true
if this is a failure or returns the result of the application of the given
function to the success value.
f
- The predicate function to test on this success value.
true
if this is a failure or returns the result of the application of the given
function to the success value.public boolean exists(F<T,Boolean> f)
false
if this is a failure or returns the result of the application of the given
function to the success value.
f
- The predicate function to test on this success value.
false
if this is a failure or returns the result of the application of the given
function to the success value.public List<T> toList()
public Option<T> toOption()
Some
if there is one, otherwise None
.
Some
if there is one, otherwise None
.public Array<T> toArray()
public Stream<T> toStream()
public <A> Validation<E,A> accumapply(Semigroup<E> s, Validation<E,F<T,A>> v)
s
- The semigroup to accumulate errors with ifv
- The validating function to apply.
public <A,B> Validation<E,B> accumulate(Semigroup<E> s, Validation<E,A> va, F<T,F<A,B>> f)
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.
public <A,B> Validation<E,B> accumulate(Semigroup<E> s, Validation<E,A> va, F2<T,A,B> f)
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.
public <A> Option<E> accumulate(Semigroup<E> s, Validation<E,A> va)
s
- The semigroup to accumulate errors with if one or more validations fail.va
- The second validation to accumulate errors with if it failed.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public <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)
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.
public <A,B,C> Validation<E,C> accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, F3<T,A,B,C> f)
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.
public <A,B> Option<E> accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb)
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.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public <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)
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.
public <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)
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.
public <A,B,C> Option<E> accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc)
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.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public <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)
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.
public <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)
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.
public <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)
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.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public <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)
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.
public <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)
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.
public <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)
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.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public <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)
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.
public <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)
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.
public <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)
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.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public <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)
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.
public <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)
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.
public <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)
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.
Some
if one or more validations failed (accumulated with the semigroup), otherwise,
None
.public Iterator<T> iterator()
for
-each loop.
iterator
in interface Iterable<T>
public Validation<NonEmptyList<E>,T> nel()
public static <E,T> Validation<E,T> validation(Either<E,T> e)
e
- The either value to construct a validation with.
public static <E,T> F<Either<E,T>,Validation<E,T>> validation()
public static <E,T> F<Validation<E,T>,Either<E,T>> either()
public static <E,T> Validation<E,T> success(T t)
t
- The value to use in the succeeding validation.
public static <E,T> Validation<E,T> fail(E e)
e
- The value to use in the failing validation.
public static <E,T> Validation<NonEmptyList<E>,T> failNEL(E e)
e
- The value to use in a non-empty list for the failing validation.
public static <E,T> Validation<E,T> condition(boolean c, E e, T t)
true
, the validation succeeds,
otherwise it fails.
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
.
public static Validation<NumberFormatException,Byte> parseByte(String s)
s
- The string to parse.
public static Validation<NumberFormatException,Double> parseDouble(String s)
s
- The string to parse.
public static Validation<NumberFormatException,Float> parseFloat(String s)
s
- The string to parse.
public static Validation<NumberFormatException,Integer> parseInt(String s)
s
- The string to parse.
public static Validation<NumberFormatException,Long> parseLong(String s)
s
- The string to parse.
public static Validation<NumberFormatException,Short> parseShort(String s)
s
- The string to parse.
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |