Package com.github.tonivade.purefun.instances

Interface ValidationPure<E>

All Superinterfaces:

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

All Known Subinterfaces:

ValidationApplicative<E>, ValidationMonad<E>, ValidationMonadError<E>, ValidationMonadThrow, ValidationSelective<E>

interface ValidationPure<E>
extends 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> Validation<E,T>	pure(T value)

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

ap, 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

Method Details

pure

default <T> Validation<E,T> pure(T value)

Specified by:

pure in interface Applicative<E>