Package com.github.tonivade.purefun.instances

Interface ValidationApplicative<E>

All Superinterfaces:

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

All Known Subinterfaces:

ValidationSelective<E>

interface ValidationApplicative<E>
extends ValidationPure<E>, Applicative<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
default <T, R> Validation<E,R>	ap(Kind<Validation<E,?>,? extends T> value, Kind<Validation<E,?>,? extends Function1<? super T,? extends R>> apply)
static <E> ValidationApplicative<E>	instance(Semigroup<E> semigroup)
Semigroup<E>	semigroup()

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.instances.ValidationPure

pure

Method Details

instance

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

semigroup

Semigroup<E> semigroup()

ap

default <T,
R> Validation<E,R> ap(Kind<Validation<E,?>,? extends T> value,
 Kind<Validation<E,?>,? extends Function1<? super T,? extends R>> apply)

Specified by:

ap in interface Applicative<E>