Package com.github.tonivade.purefun.instances

Interface ValidationSelective<E>

All Superinterfaces:

Applicative<Validation<E,?>>, Functor<Validation<E,?>>, Invariant<Validation<E,?>>, Selective<Validation<E,?>>, ValidationApplicative<E>, ValidationPure<E>

interface ValidationSelective<E>
extends ValidationApplicative<E>, Selective<Validation<E,?>>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Applicative

Applicative.Map2<F extends Kind<F,?>,A,B>, Applicative.Map3<F extends Kind<F,?>,A,B,C>, Applicative.Map4<F extends Kind<F,?>,A,B,C,D>, Applicative.Map5<F extends Kind<F,?>,A,B,C,D,E>

Method Summary

Modifier and Type	Method	Description
static <E> ValidationSelective<E>	instance(Semigroup<E> semigroup)
default <A, B> Validation<E,B>	select(Kind<Validation<E,?>,Either<A,B>> value, Kind<Validation<E,?>,Function1<? super A,? extends B>> apply)

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Applicative

first, last, map, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, tuple, tuple, tuple, tuple

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Functor

imap, lift

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Selective

allS, allS, andS, anyS, anyS, branch, ifS, orS, whenS

Methods inherited from interface com.github.tonivade.purefun.instances.ValidationApplicative

ap, semigroup

Methods inherited from interface com.github.tonivade.purefun.instances.ValidationPure

pure

Method Details

instance

static <E> ValidationSelective<E> instance(Semigroup<E> semigroup)

select

default <A,
B> Validation<E,B> select(Kind<Validation<E,?>,Either<A,B>> value,
 Kind<Validation<E,?>,Function1<? super A,? extends B>> apply)

Specified by:

select in interface Selective<E>