Package com.github.tonivade.purefun.typeclasses

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

All Known Subinterfaces:

Alternative<F>, Applicative<F>, ApplicativeError<F,E>, Async<F>, Bracket<F,E>, Comonad<F>, ComposedAlternative<F,G>, ComposedApplicative<F,G>, ComposedContravariant<F,G>, ComposedContravariantCovariant<F,G>, ComposedCovariantContravariant<F,G>, ComposedFunctor<F,G>, ComposedInvariant<F,G>, ComposedInvariantContravariant<F,G>, ComposedInvariantCovariant<F,G>, ComposedTraverse<F,G>, Concurrent<F>, ConstApplicative<T>, ConstContravariant<T>, ConstFunctor<T>, ConstTraverse<T>, Contravariant<F>, EIOApplicative<E>, EIOAsync, EIOBracket<E>, EIOConcurrent, EIOFunctor<E>, EIOMonad<E>, EIOMonadDefer, EIOMonadError<E>, EIOMonadThrow, EIOPure<E>, EitherApplicative<L>, EitherFunctor<L>, EitherKComonad<F,G>, EitherKContravariant<F,G>, EitherKFunctor<F,G>, EitherMonad<L>, EitherMonadError<L>, EitherMonadThrow, EitherPure<L>, EitherTBracket<F,E>, EitherTMonad<F,L>, EitherTMonadDefer<F>, EitherTMonadErrorFromMonad<F,E>, EitherTMonadErrorFromMonadError<F,E>, EitherTMonadThrowFromMonad<F>, EitherTMonadThrowFromMonadThrow<F>, EitherTraverse<L>, EvalApplicative, EvalComonad, EvalFunctor, EvalMonad, EvalMonadError, EvalMonadThrow, EvalPure, FreeApplicative<F>, FreeMonad<F>, Function1Applicative<T>, Function1Functor<T>, Function1Monad<T>, Function1Pure<T>, Functor<F>, FutureApplicative, FutureFunctor, FutureMonad, FutureMonadThrow, FuturePure, IdApplicative, IdComonad, IdFunctor, IdMonad, IdPure, IdTraverse, IOApplicative, IOAsync, IOBracket, IOConcurrent, IOFunctor, IOMonad, IOMonadDefer, IOMonadError, IOMonadThrow, IOPure, 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>, MonoidInvariant, OptionAlternative, OptionApplicative, OptionFunctor, OptionMonad, OptionMonadError, OptionPure, OptionTBracket<F>, OptionTMonad<F>, OptionTMonadDefer<F>, OptionTMonadErrorFromMonad<F>, OptionTMonadErrorFromMonadError<F,E>, OptionTMonadThrow<F>, OptionTraverse, ProducerApplicative, ProducerComonad, ProducerFunctor, ProducerMonad, ProducerPure, PromiseApplicative, PromiseFunctor, PromiseMonad, PromisePure, PureIOApplicative<R,E>, PureIOAsync<R>, PureIOBracket<R,E>, PureIOConcurrent<R>, PureIOFunctor<R,E>, PureIOMonad<R,E>, PureIOMonadDefer<R>, PureIOMonadError<R,E>, PureIOMonadThrow<R>, PureIOPure<R,E>, PureStreamFunctor<F>, PureStreamMonad<F>, PureStreamPure<F>, ReaderMonad<R>, ReaderMonadReader<R>, RIOApplicative<R>, RIOAsync<R>, RIOBracket<R>, RIOConcurrent<R>, RIOFunctor<R>, RIOMonad<R>, RIOMonadDefer<R>, RIOMonadError<R>, RIOMonadThrow<R>, RIOPure<R>, ScheduleFunctor<F,A>, Selective<F>, SequenceAlternative, SequenceApplicative, SequenceFunctor, SequenceMonad, SequencePure, SequenceTraverse, StateMonad<S>, StateMonadState<S>, StateTMonad<F,S>, StateTMonadError<F,S,E>, StateTMonadReader<F,S,R>, StateTMonadState<F,S>, TaskApplicative, TaskAsync, TaskBracket, TaskConcurrent, TaskFunctor, TaskMonad, TaskMonadDefer, TaskMonadError, TaskMonadThrow, TaskPure, TrampolineApplicative, TrampolineFunctor, TrampolineMonad, TrampolinePure, Traverse<F>, TryApplicative, TryFunctor, TryMonad, TryMonadError, TryMonadThrow, TryPure, TryTraverse, Tuple1Functor, UIOApplicative, UIOAsync, UIOBracket, UIOConcurrent, UIOFunctor, UIOMonad, UIOMonadDefer, UIOMonadError, UIOMonadThrow, UIOPure, URIOApplicative<R>, URIOAsync<R>, URIOBracket<R>, URIOConcurrent<R>, URIOFunctor<R>, URIOMonad<R>, URIOMonadDefer<R>, URIOMonadError<R>, URIOMonadThrow<R>, URIOPure<R>, ValidationApplicative<E>, ValidationFunctor<E>, ValidationMonad<E>, ValidationMonadError<E>, ValidationMonadThrow, ValidationPure<E>, 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 Invariant<F extends Kind<F,?>>

Method Summary

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	compose(Invariant<F> f, Contravariant<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	compose(Invariant<F> f, Functor<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	compose(Invariant<F> f, Invariant<G> g)
<A, B> Kind<F,B>	imap(Kind<F,? extends A> value, Function1<? super A,? extends B> map, Function1<? super B,? extends A> comap)

Method Details

imap

<A,
B> Kind<F,B> imap(Kind<F,? extends A> value,
 Function1<? super A,? extends B> map,
 Function1<? super B,? extends A> comap)

compose

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Invariant<Nested<F,G>> compose(Invariant<F> f,
 Invariant<G> g)

compose

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Invariant<Nested<F,G>> compose(Invariant<F> f,
 Functor<G> g)

compose

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Invariant<Nested<F,G>> compose(Invariant<F> f,
 Contravariant<G> g)