Uses of Interface
com.github.tonivade.purefun.type.Validation

Packages that use Validation

Package	Description
com.github.tonivade.purefun.core
com.github.tonivade.purefun.instances
com.github.tonivade.purefun.type

Uses of Validation in com.github.tonivade.purefun.core

Methods in com.github.tonivade.purefun.core that return Validation

Modifier and Type	Method	Description
Validation<E,T>	Validator.validate(T value)

Uses of Validation in com.github.tonivade.purefun.instances

Methods in com.github.tonivade.purefun.instances that return Validation

Modifier and Type	Method	Description
default <T, R> Validation<E,R>	ValidationApplicative.ap(Kind<Validation<E,?>,? extends T> value, Kind<Validation<E,?>,? extends Function1<? super T,? extends R>> apply)
default <T, R> Validation<E,R>	ValidationMonad.flatMap(Kind<Validation<E,?>,? extends T> value, Function1<? super T,? extends Kind<Validation<E,?>,? extends R>> map)
default <A> Validation<E,A>	ValidationMonadError.handleErrorWith(Kind<Validation<E,?>,A> value, Function1<? super E,? extends Kind<Validation<E,?>,? extends A>> handler)
default <T, R> Validation<E,R>	ValidationFunctor.map(Kind<Validation<E,?>,? extends T> value, Function1<? super T,? extends R> map)
default <T> Validation<E,T>	ValidationPure.pure(T value)
default <A> Validation<E,A>	ValidationMonadError.raiseError(E error)
default <A, B> Validation<E,B>	ValidationSelective.select(Kind<Validation<E,?>,Either<A,B>> value, Kind<Validation<E,?>,Function1<? super A,? extends B>> apply)

Methods in com.github.tonivade.purefun.instances that return types with arguments of type Validation

Modifier and Type	Method	Description
static <E> Applicative<Validation<E,?>>	ValidationInstances.applicative(Semigroup<E> semigroup)
static <E, T> Eq<Kind<Validation<E,?>,T>>	ValidationInstances.eq(Eq<E> errorEq, Eq<T> validEq)
static <E> Functor<Validation<E,?>>	ValidationInstances.functor()
private <T, R> Trampoline<Kind<Validation<E,?>,R>>	ValidationMonad.loop(T value, Function1<T,? extends Kind<Validation<E,?>,Either<T,R>>> map)
static <E> Monad<Validation<E,?>>	ValidationInstances.monad()
static <E> MonadError<Validation<E,?>,E>	ValidationInstances.monadError()
static MonadThrow<Validation<Throwable,?>>	ValidationInstances.monadThrow()
static <E> Selective<Validation<E,?>>	ValidationInstances.selective(Semigroup<E> semigroup)
default <T, R> Kind<Validation<E,?>,R>	ValidationMonad.tailRecM(T value, Function1<T,? extends Kind<Validation<E,?>,Either<T,R>>> map)

Method parameters in com.github.tonivade.purefun.instances with type arguments of type Validation

Modifier and Type	Method	Description
default <T, R> Validation<E,R>	ValidationApplicative.ap(Kind<Validation<E,?>,? extends T> value, Kind<Validation<E,?>,? extends Function1<? super T,? extends R>> apply)
default <T, R> Validation<E,R>	ValidationMonad.flatMap(Kind<Validation<E,?>,? extends T> value, Function1<? super T,? extends Kind<Validation<E,?>,? extends R>> map)
default <T, R> Validation<E,R>	ValidationMonad.flatMap(Kind<Validation<E,?>,? extends T> value, Function1<? super T,? extends Kind<Validation<E,?>,? extends R>> map)
default <A> Validation<E,A>	ValidationMonadError.handleErrorWith(Kind<Validation<E,?>,A> value, Function1<? super E,? extends Kind<Validation<E,?>,? extends A>> handler)
default <A> Validation<E,A>	ValidationMonadError.handleErrorWith(Kind<Validation<E,?>,A> value, Function1<? super E,? extends Kind<Validation<E,?>,? extends A>> handler)
private <T, R> Trampoline<Kind<Validation<E,?>,R>>	ValidationMonad.loop(T value, Function1<T,? extends Kind<Validation<E,?>,Either<T,R>>> map)
default <T, R> Validation<E,R>	ValidationFunctor.map(Kind<Validation<E,?>,? extends T> value, Function1<? super T,? extends R> map)
default <A, B> Validation<E,B>	ValidationSelective.select(Kind<Validation<E,?>,Either<A,B>> value, Kind<Validation<E,?>,Function1<? super A,? extends B>> apply)
default <T, R> Kind<Validation<E,?>,R>	ValidationMonad.tailRecM(T value, Function1<T,? extends Kind<Validation<E,?>,Either<T,R>>> map)

Uses of Validation in com.github.tonivade.purefun.type

Classes in com.github.tonivade.purefun.type that implement Validation

Modifier and Type	Class	Description
static final record	Validation.Invalid<E,T>
static final record	Validation.Valid<E,T>

Methods in com.github.tonivade.purefun.type that return Validation

Modifier and Type	Method	Description
default <R> Validation<Validation.Result<E>,R>	Validation.ap(Validation<Validation.Result<E>,Function1<? super T,? extends R>> other)
default <U, R> Validation<U,R>	Validation.bimap(Function1<? super E,? extends U> error, Function1<? super T,? extends R> mapper)
default Validation<E,T>	Validation.filterOrElse(Matcher1<? super T> matcher, Producer<? extends Kind<Validation<E,?>,T>> orElse)
default <R> Validation<E,R>	Validation.flatMap(Function1<? super T,? extends Kind<Validation<E,?>,? extends R>> mapper)
static <E, T> Validation<E,T>	Validation.invalid(E error)
static <E, T> Validation<Validation.Result<E>,T>	Validation.invalidOf(E error, E... errors)
default <R> Validation<E,R>	Validation.map(Function1<? super T,? extends R> mapper)
default <U> Validation<U,T>	Validation.mapError(Function1<? super E,? extends U> mapper)
static <E, T1, T2, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Function2<? super T1,? super T2,? extends R> mapper)
static <E, T1, T2, T3, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Validation<E,T3> validation3, Function3<? super T1,? super T2,? super T3,? extends R> mapper)
static <E, T1, T2, T3, T4, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Validation<E,T3> validation3, Validation<E,T4> validation4, Function4<? super T1,? super T2,? super T3,? super T4,? extends R> mapper)
static <E, T1, T2, T3, T4, T5, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Validation<E,T3> validation3, Validation<E,T4> validation4, Validation<E,T5> validation5, Function5<? super T1,? super T2,? super T3,? super T4,? super T5,? extends R> mapper)
default Validation<E,T>	Validation.or(Producer<Kind<Validation<E,?>,T>> orElse)
default Validation<E,T>	Validation.orElse(Kind<Validation<E,?>,T> orElse)
static Validation<String,Integer>	Validation.requireGreaterThan(Integer value, int x)
static Validation<String,Integer>	Validation.requireGreaterThanOrEqual(Integer value, int x)
static Validation<String,Integer>	Validation.requireLowerThan(Integer value, int x)
static Validation<String,Integer>	Validation.requireLowerThanOrEqual(Integer value, int x)
static Validation<String,String>	Validation.requireNonEmpty(String value)
static Validation<String,Integer>	Validation.requireNonEquals(Integer value, int x)
static <T> Validation<String,T>	Validation.requireNonNull(T value)
static Validation<String,Integer>	Validation.requirePositive(Integer value)
static <E, T, R> Validation<E,R>	Validation.select(Validation<E,Either<T,R>> validation, Validation<E,Function1<? super T,? extends R>> apply)
default Validation<L,R>	Either.toValidation()
default <E> Validation<E,T>	Try.toValidation(Function1<? super Throwable,? extends E> map)
static <E, T> Validation<E,T>	ValidationOf.toValidation(Kind<Validation<E,?>,? extends T> value)
static <E, T> Validation<E,T>	Validation.valid(T value)

Methods in com.github.tonivade.purefun.type that return types with arguments of type Validation

Modifier and Type	Method	Description
default Option<Validation<E,T>>	Validation.filter(Matcher1<? super T> matcher)
default Option<Validation<E,T>>	Validation.filterNot(Matcher1<? super T> matcher)

Methods in com.github.tonivade.purefun.type with parameters of type Validation

Modifier and Type	Method	Description
default <R> Validation<Validation.Result<E>,R>	Validation.ap(Validation<Validation.Result<E>,Function1<? super T,? extends R>> other)
static <E, T1, T2, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Function2<? super T1,? super T2,? extends R> mapper)
static <E, T1, T2, T3, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Validation<E,T3> validation3, Function3<? super T1,? super T2,? super T3,? extends R> mapper)
static <E, T1, T2, T3, T4, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Validation<E,T3> validation3, Validation<E,T4> validation4, Function4<? super T1,? super T2,? super T3,? super T4,? extends R> mapper)
static <E, T1, T2, T3, T4, T5, R> Validation<Validation.Result<E>,R>	Validation.mapN(Validation<E,T1> validation1, Validation<E,T2> validation2, Validation<E,T3> validation3, Validation<E,T4> validation4, Validation<E,T5> validation5, Function5<? super T1,? super T2,? super T3,? super T4,? super T5,? extends R> mapper)
static <E, T, R> Validation<E,R>	Validation.select(Validation<E,Either<T,R>> validation, Validation<E,Function1<? super T,? extends R>> apply)

Method parameters in com.github.tonivade.purefun.type with type arguments of type Validation

Modifier and Type	Method	Description
default Validation<E,T>	Validation.filterOrElse(Matcher1<? super T> matcher, Producer<? extends Kind<Validation<E,?>,T>> orElse)
default <R> Validation<E,R>	Validation.flatMap(Function1<? super T,? extends Kind<Validation<E,?>,? extends R>> mapper)
default Validation<E,T>	Validation.or(Producer<Kind<Validation<E,?>,T>> orElse)
default Validation<E,T>	Validation.orElse(Kind<Validation<E,?>,T> orElse)
static <E, T> Validation<E,T>	ValidationOf.toValidation(Kind<Validation<E,?>,? extends T> value)