Package com.github.tonivade.purefun.typeclasses

Interface Selective<F extends Kind<F,?>>

All Superinterfaces:

Applicative<F>, Functor<F>, Invariant<F>

All Known Subinterfaces:

Async<F>, Bracket<F,E>, Concurrent<F>, EIOAsync, EIOBracket<E>, EIOConcurrent, EIOMonad<E>, EIOMonadDefer, EIOMonadError<E>, EIOMonadThrow, EitherMonad<L>, EitherMonadError<L>, EitherMonadThrow, EitherTBracket<F,E>, EitherTMonad<F,L>, EitherTMonadDefer<F>, EitherTMonadErrorFromMonad<F,E>, EitherTMonadErrorFromMonadError<F,E>, EitherTMonadThrowFromMonad<F>, EitherTMonadThrowFromMonadThrow<F>, EvalMonad, EvalMonadError, EvalMonadThrow, FreeMonad<F>, Function1Monad<T>, FutureMonad, FutureMonadThrow, IdMonad, IOAsync, IOBracket, IOConcurrent, IOMonad, IOMonadDefer, IOMonadError, IOMonadThrow, KleisliMonad<F,Z>, KleisliMonadError<F,R,E>, KleisliMonadReader<F,R>, KleisliMonadState<F,R,S>, Monad<F>, MonadDefer<F>, MonadError<F,E>, MonadReader<F,R>, MonadState<F,S>, MonadThrow<F>, MonadWriter<F,W>, OptionMonad, OptionMonadError, OptionTBracket<F>, OptionTMonad<F>, OptionTMonadDefer<F>, OptionTMonadErrorFromMonad<F>, OptionTMonadErrorFromMonadError<F,E>, OptionTMonadThrow<F>, ProducerMonad, PromiseMonad, PureIOAsync<R>, PureIOBracket<R,E>, PureIOConcurrent<R>, PureIOMonad<R,E>, PureIOMonadDefer<R>, PureIOMonadError<R,E>, PureIOMonadThrow<R>, PureStreamMonad<F>, ReaderMonad<R>, ReaderMonadReader<R>, RIOAsync<R>, RIOBracket<R>, RIOConcurrent<R>, RIOMonad<R>, RIOMonadDefer<R>, RIOMonadError<R>, RIOMonadThrow<R>, SequenceMonad, StateMonad<S>, StateMonadState<S>, StateTMonad<F,S>, StateTMonadError<F,S,E>, StateTMonadReader<F,S,R>, StateTMonadState<F,S>, TaskAsync, TaskBracket, TaskConcurrent, TaskMonad, TaskMonadDefer, TaskMonadError, TaskMonadThrow, TrampolineMonad, TryMonad, TryMonadError, TryMonadThrow, UIOAsync, UIOBracket, UIOConcurrent, UIOMonad, UIOMonadDefer, UIOMonadError, UIOMonadThrow, URIOAsync<R>, URIOBracket<R>, URIOConcurrent<R>, URIOMonad<R>, URIOMonadDefer<R>, URIOMonadError<R>, URIOMonadThrow<R>, ValidationMonad<E>, ValidationMonadError<E>, ValidationMonadThrow, ValidationSelective<E>, WriterMonad<L>, WriterTMonad<F,L>, WriterTMonadError<F,L,E>, WriterTMonadWriter<F,L>

All Known Implementing Classes:

EffectEMonadError, EffectRMonad, EffectRMonadError, EffectRMonadReader, MonadMTL, ReferenceMonadState

public interface Selective<F extends Kind<F,?>>
extends Applicative<F>

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 <G extends Kind<G, ?>, A> Eval<Kind<F,Boolean>>	allS(Kind<G,? extends A> values, Function1<? super A,? extends Kind<F,Boolean>> condition, G... reified)
default <G extends Kind<G, ?>, A> Eval<Kind<F,Boolean>>	allS(Foldable<G> foldable, Kind<G,? extends A> values, Function1<? super A,? extends Kind<F,Boolean>> condition)
default Kind<F,Boolean>	andS(Kind<F,Boolean> condition, Kind<F,Boolean> fa)
default <G extends Kind<G, ?>, A> Eval<Kind<F,Boolean>>	anyS(Kind<G,? extends A> values, Function1<? super A,? extends Kind<F,Boolean>> condition, G... reified)
default <G extends Kind<G, ?>, A> Eval<Kind<F,Boolean>>	anyS(Foldable<G> foldable, Kind<G,? extends A> values, Function1<? super A,? extends Kind<F,Boolean>> condition)
default <A, B, C> Kind<F,C>	branch(Kind<F,Either<A,B>> value, Kind<F,Function1<? super A,? extends C>> applyA, Kind<F,Function1<? super B,? extends C>> applyB)
default <A> Kind<F,A>	ifS(Kind<F,Boolean> condition, Kind<F,? extends A> left, Kind<F,? extends A> right)
default Kind<F,Boolean>	orS(Kind<F,Boolean> condition, Kind<F,Boolean> fa)
<A, B> Kind<F,B>	select(Kind<F,Either<A,B>> value, Kind<F,Function1<? super A,? extends B>> apply)
private Kind<F,Either<Unit,Unit>>	selector(Kind<F,Boolean> condition)
default Kind<F,Unit>	whenS(Kind<F,Boolean> condition, Kind<F,Unit> apply)

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

ap, first, last, map, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, pure, tuple, tuple, tuple, tuple

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

imap, lift

Method Details

select

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

branch

default <A,
B,
C> Kind<F,C> branch(Kind<F,Either<A,B>> value,
 Kind<F,Function1<? super A,? extends C>> applyA,
 Kind<F,Function1<? super B,? extends C>> applyB)

whenS

default Kind<F,Unit> whenS(Kind<F,Boolean> condition,
 Kind<F,Unit> apply)

ifS

default <A> Kind<F,A> ifS(Kind<F,Boolean> condition,
 Kind<F,? extends A> left,
 Kind<F,? extends A> right)

orS

default Kind<F,Boolean> orS(Kind<F,Boolean> condition,
 Kind<F,Boolean> fa)

andS

default Kind<F,Boolean> andS(Kind<F,Boolean> condition,
 Kind<F,Boolean> fa)

anyS

default <G extends Kind<G,
?>,
A>
Eval<Kind<F,Boolean>> anyS(Kind<G,? extends A> values,
 Function1<? super A,? extends Kind<F,Boolean>> condition,
 G... reified)

anyS

default <G extends Kind<G,
?>,
A>
Eval<Kind<F,Boolean>> anyS(Foldable<G> foldable,
 Kind<G,? extends A> values,
 Function1<? super A,? extends Kind<F,Boolean>> condition)

allS

default <G extends Kind<G,
?>,
A>
Eval<Kind<F,Boolean>> allS(Kind<G,? extends A> values,
 Function1<? super A,? extends Kind<F,Boolean>> condition,
 G... reified)

allS

default <G extends Kind<G,
?>,
A>
Eval<Kind<F,Boolean>> allS(Foldable<G> foldable,
 Kind<G,? extends A> values,
 Function1<? super A,? extends Kind<F,Boolean>> condition)

selector

private Kind<F,Either<Unit,Unit>> selector(Kind<F,Boolean> condition)