Uses of Interface
com.github.tonivade.purefun.typeclasses.Invariant

Packages that use Invariant

Package	Description
com.github.tonivade.purefun.free
com.github.tonivade.purefun.instances
com.github.tonivade.purefun.typeclasses

Uses of Invariant in com.github.tonivade.purefun.free

Subinterfaces of Invariant in com.github.tonivade.purefun.free

Modifier and Type	Interface	Description
(package private) interface	FreeApplicative<F extends Kind<F,?>>
(package private) interface	FreeMonad<F extends Kind<F,?>>

Uses of Invariant in com.github.tonivade.purefun.instances

Subinterfaces of Invariant in com.github.tonivade.purefun.instances

Modifier and Type	Interface	Description
(package private) interface	ConstApplicative<T>
(package private) interface	ConstContravariant<T>
(package private) interface	ConstFunctor<T>
(package private) interface	ConstTraverse<T>
(package private) interface	EIOApplicative<E>
(package private) interface	EIOAsync
(package private) interface	EIOBracket<E>
(package private) interface	EIOConcurrent
(package private) interface	EIOFunctor<E>
(package private) interface	EIOMonad<E>
(package private) interface	EIOMonadDefer
(package private) interface	EIOMonadError<E>
(package private) interface	EIOMonadThrow
(package private) interface	EIOPure<E>
(package private) interface	EitherApplicative<L>
(package private) interface	EitherFunctor<L>
(package private) interface	EitherKComonad<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	EitherKContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	EitherKFunctor<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	EitherMonad<L>
(package private) interface	EitherMonadError<L>
(package private) interface	EitherMonadThrow
(package private) interface	EitherPure<L>
(package private) interface	EitherTBracket<F extends Kind<F,?>,E>
(package private) interface	EitherTMonad<F extends Kind<F,?>,L>
(package private) interface	EitherTMonadDefer<F extends Kind<F,?>>
(package private) interface	EitherTMonadErrorFromMonad<F extends Kind<F,?>,E>
(package private) interface	EitherTMonadErrorFromMonadError<F extends Kind<F,?>,E>
(package private) interface	EitherTMonadThrowFromMonad<F extends Kind<F,?>>
(package private) interface	EitherTMonadThrowFromMonadThrow<F extends Kind<F,?>>
(package private) interface	EitherTraverse<L>
(package private) interface	EvalApplicative
(package private) interface	EvalComonad
(package private) interface	EvalFunctor
(package private) interface	EvalMonad
(package private) interface	EvalMonadError
(package private) interface	EvalMonadThrow
(package private) interface	EvalPure
(package private) interface	Function1Applicative<T>
(package private) interface	Function1Functor<T>
(package private) interface	Function1Monad<T>
(package private) interface	Function1Pure<T>
(package private) interface	FutureApplicative
(package private) interface	FutureFunctor
(package private) interface	FutureMonad
(package private) interface	FutureMonadThrow
(package private) interface	FuturePure
(package private) interface	IdApplicative
(package private) interface	IdComonad
(package private) interface	IdFunctor
(package private) interface	IdMonad
(package private) interface	IdPure
(package private) interface	IdTraverse
(package private) interface	IOApplicative
(package private) interface	IOAsync
(package private) interface	IOBracket
(package private) interface	IOConcurrent
(package private) interface	IOFunctor
(package private) interface	IOMonad
(package private) interface	IOMonadDefer
(package private) interface	IOMonadError
(package private) interface	IOMonadThrow
(package private) interface	IOPure
(package private) interface	KleisliMonad<F extends Kind<F,?>,Z>
(package private) interface	KleisliMonadError<F extends Kind<F,?>,R,E>
(package private) interface	KleisliMonadReader<F extends Kind<F,?>,R>
(package private) interface	KleisliMonadState<F extends Kind<F,?>,R,S>
(package private) interface	OptionAlternative
(package private) interface	OptionApplicative
(package private) interface	OptionFunctor
(package private) interface	OptionMonad
(package private) interface	OptionMonadError
(package private) interface	OptionPure
(package private) interface	OptionTBracket<F extends Kind<F,?>>
(package private) interface	OptionTMonad<F extends Kind<F,?>>
(package private) interface	OptionTMonadDefer<F extends Kind<F,?>>
(package private) interface	OptionTMonadErrorFromMonad<F extends Kind<F,?>>
(package private) interface	OptionTMonadErrorFromMonadError<F extends Kind<F,?>,E>
(package private) interface	OptionTMonadThrow<F extends Kind<F,?>>
(package private) interface	OptionTraverse
(package private) interface	ProducerApplicative
(package private) interface	ProducerComonad
(package private) interface	ProducerFunctor
(package private) interface	ProducerMonad
(package private) interface	ProducerPure
(package private) interface	PromiseApplicative
(package private) interface	PromiseFunctor
(package private) interface	PromiseMonad
(package private) interface	PromisePure
(package private) interface	PureIOApplicative<R,E>
(package private) interface	PureIOAsync<R>
(package private) interface	PureIOBracket<R,E>
(package private) interface	PureIOConcurrent<R>
(package private) interface	PureIOFunctor<R,E>
(package private) interface	PureIOMonad<R,E>
(package private) interface	PureIOMonadDefer<R>
(package private) interface	PureIOMonadError<R,E>
(package private) interface	PureIOMonadThrow<R>
(package private) interface	PureIOPure<R,E>
(package private) interface	PureStreamFunctor<F extends Kind<F,?>>
(package private) interface	PureStreamMonad<F extends Kind<F,?>>
(package private) interface	PureStreamPure<F extends Kind<F,?>>
(package private) interface	ReaderMonad<R>
(package private) interface	ReaderMonadReader<R>
(package private) interface	RIOApplicative<R>
(package private) interface	RIOAsync<R>
(package private) interface	RIOBracket<R>
(package private) interface	RIOConcurrent<R>
(package private) interface	RIOFunctor<R>
(package private) interface	RIOMonad<R>
(package private) interface	RIOMonadDefer<R>
(package private) interface	RIOMonadError<R>
(package private) interface	RIOMonadThrow<R>
(package private) interface	RIOPure<R>
(package private) interface	ScheduleFunctor<F extends Kind<F,?>,A>
(package private) interface	SequenceAlternative
(package private) interface	SequenceApplicative
(package private) interface	SequenceFunctor
(package private) interface	SequenceMonad
(package private) interface	SequencePure
(package private) interface	SequenceTraverse
(package private) interface	StateMonad<S>
(package private) interface	StateMonadState<S>
(package private) interface	StateTMonad<F extends Kind<F,?>,S>
(package private) interface	StateTMonadError<F extends Kind<F,?>,S,E>
(package private) interface	StateTMonadReader<F extends Kind<F,?>,S,R>
(package private) interface	StateTMonadState<F extends Kind<F,?>,S>
(package private) interface	TaskApplicative
(package private) interface	TaskAsync
(package private) interface	TaskBracket
(package private) interface	TaskConcurrent
(package private) interface	TaskFunctor
(package private) interface	TaskMonad
(package private) interface	TaskMonadDefer
(package private) interface	TaskMonadError
(package private) interface	TaskMonadThrow
(package private) interface	TaskPure
(package private) interface	TrampolineApplicative
(package private) interface	TrampolineFunctor
(package private) interface	TrampolineMonad
(package private) interface	TrampolinePure
(package private) interface	TryApplicative
(package private) interface	TryFunctor
(package private) interface	TryMonad
(package private) interface	TryMonadError
(package private) interface	TryMonadThrow
(package private) interface	TryPure
(package private) interface	TryTraverse
(package private) interface	Tuple1Functor
(package private) interface	UIOApplicative
(package private) interface	UIOAsync
(package private) interface	UIOBracket
(package private) interface	UIOConcurrent
(package private) interface	UIOFunctor
(package private) interface	UIOMonad
(package private) interface	UIOMonadDefer
(package private) interface	UIOMonadError
(package private) interface	UIOMonadThrow
(package private) interface	UIOPure
(package private) interface	URIOApplicative<R>
(package private) interface	URIOAsync<R>
(package private) interface	URIOBracket<R>
(package private) interface	URIOConcurrent<R>
(package private) interface	URIOFunctor<R>
(package private) interface	URIOMonad<R>
(package private) interface	URIOMonadDefer<R>
(package private) interface	URIOMonadError<R>
(package private) interface	URIOMonadThrow<R>
(package private) interface	URIOPure<R>
(package private) interface	ValidationApplicative<E>
(package private) interface	ValidationFunctor<E>
(package private) interface	ValidationMonad<E>
(package private) interface	ValidationMonadError<E>
(package private) interface	ValidationMonadThrow
(package private) interface	ValidationPure<E>
(package private) interface	ValidationSelective<E>
(package private) interface	WriterMonad<L>
(package private) interface	WriterTMonad<F extends Kind<F,?>,L>
(package private) interface	WriterTMonadError<F extends Kind<F,?>,L,E>
(package private) interface	WriterTMonadWriter<F extends Kind<F,?>,L>

Classes in com.github.tonivade.purefun.instances that implement Invariant

Modifier and Type	Class	Description
(package private) class	EffectEMonadError<F extends Kind<F,?>,E>
(package private) class	EffectRMonad<F extends Kind<F,?>,R,E>
(package private) class	EffectRMonadError<F extends Kind<F,?>,R,E>
(package private) class	EffectRMonadReader<F extends Kind<F,?>,R,E>
class	MonadMTL<F extends Kind<F,?>,S,R,E>

Uses of Invariant in com.github.tonivade.purefun.typeclasses

Subinterfaces of Invariant in com.github.tonivade.purefun.typeclasses

Modifier and Type	Interface	Description
interface	Alternative<F extends Kind<F,?>>
interface	Applicative<F extends Kind<F,?>>
interface	ApplicativeError<F extends Kind<F,?>,E>
interface	Async<F extends Kind<F,?>>
interface	Bracket<F extends Kind<F,?>,E>
interface	Comonad<F extends Kind<F,?>>
(package private) interface	ComposedAlternative<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedApplicative<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedContravariantCovariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedCovariantContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedFunctor<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedInvariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedInvariantContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedInvariantCovariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedTraverse<F extends Kind<F,?>,G extends Kind<G,?>>
interface	Concurrent<F extends Kind<F,?>>
interface	Contravariant<F extends Kind<F,?>>
interface	Functor<F extends Kind<F,?>>
interface	Monad<F extends Kind<F,?>>
interface	MonadDefer<F extends Kind<F,?>>
interface	MonadError<F extends Kind<F,?>,E>
interface	MonadReader<F extends Kind<F,?>,R>
interface	MonadState<F extends Kind<F,?>,S>
interface	MonadThrow<F extends Kind<F,?>>
interface	MonadWriter<F extends Kind<F,?>,W>
(package private) interface	MonoidInvariant
interface	Selective<F extends Kind<F,?>>
interface	Traverse<F extends Kind<F,?>>

Classes in com.github.tonivade.purefun.typeclasses that implement Invariant

Modifier and Type	Class	Description
(package private) final class	ReferenceMonadState<F extends Kind<F,?>,S>

Methods in com.github.tonivade.purefun.typeclasses that return Invariant

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Contravariant<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Functor<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Invariant<G> g)
Invariant<F>	ComposedInvariant.f()
Invariant<F>	ComposedInvariantContravariant.f()
Invariant<F>	ComposedInvariantCovariant.f()
Invariant<G>	ComposedInvariant.g()

Methods in com.github.tonivade.purefun.typeclasses with parameters of type Invariant

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Contravariant<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Functor<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Invariant<G> g)