Uses of Interface
com.github.tonivade.purefun.typeclasses.Invariant
Packages that use Invariant
Package
Description
-
Uses of Invariant in com.github.tonivade.purefun.free
Subinterfaces of Invariant in com.github.tonivade.purefun.freeModifier and TypeInterfaceDescription(package private) interfaceFreeApplicative<F extends Kind<F,?>> (package private) interface -
Uses of Invariant in com.github.tonivade.purefun.instances
Subinterfaces of Invariant in com.github.tonivade.purefun.instancesModifier and TypeInterfaceDescription(package private) interface(package private) interface(package private) interfaceConstFunctor<T>(package private) interface(package private) interface(package private) interface(package private) interfaceEIOBracket<E>(package private) interface(package private) interfaceEIOFunctor<E>(package private) interfaceEIOMonad<E>(package private) interface(package private) interface(package private) interface(package private) interfaceEIOPure<E>(package private) interface(package private) interface(package private) interfaceEitherKComonad<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceEitherKContravariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceEitherKFunctor<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceEitherMonad<L>(package private) interface(package private) interface(package private) interfaceEitherPure<L>(package private) interfaceEitherTBracket<F extends Kind<F,?>, E> (package private) interfaceEitherTMonad<F extends Kind<F,?>, L> (package private) interfaceEitherTMonadDefer<F extends Kind<F,?>> (package private) interfaceEitherTMonadErrorFromMonad<F extends Kind<F,?>, E> (package private) interfaceEitherTMonadErrorFromMonadError<F extends Kind<F,?>, E> (package private) interfaceEitherTMonadThrowFromMonad<F extends Kind<F,?>> (package private) interfaceEitherTMonadThrowFromMonadThrow<F extends Kind<F,?>> (package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interfaceKleisliMonad<F extends Kind<F,?>, Z> (package private) interfaceKleisliMonadError<F extends Kind<F,?>, R, E> (package private) interfaceKleisliMonadReader<F extends Kind<F,?>, R> (package private) interfaceKleisliMonadState<F extends Kind<F,?>, R, S> (package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interfaceOptionTBracket<F extends Kind<F,?>> (package private) interfaceOptionTMonad<F extends Kind<F,?>> (package private) interfaceOptionTMonadDefer<F extends Kind<F,?>> (package private) interfaceOptionTMonadErrorFromMonad<F extends Kind<F,?>> (package private) interfaceOptionTMonadErrorFromMonadError<F extends Kind<F,?>, E> (package private) interfaceOptionTMonadThrow<F extends Kind<F,?>> (package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interfacePureIOApplicative<R,E> (package private) interfacePureIOAsync<R>(package private) interfacePureIOBracket<R,E> (package private) interface(package private) interfacePureIOFunctor<R,E> (package private) interfacePureIOMonad<R,E> (package private) interface(package private) interfacePureIOMonadError<R,E> (package private) interface(package private) interfacePureIOPure<R,E> (package private) interfacePureStreamFunctor<F extends Kind<F,?>> (package private) interfacePureStreamMonad<F extends Kind<F,?>> (package private) interfacePureStreamPure<F extends Kind<F,?>> (package private) interfaceReaderMonad<R>(package private) interface(package private) interface(package private) interfaceRIOAsync<R>(package private) interfaceRIOBracket<R>(package private) interface(package private) interfaceRIOFunctor<R>(package private) interfaceRIOMonad<R>(package private) interface(package private) interface(package private) interface(package private) interfaceRIOPure<R>(package private) interfaceScheduleFunctor<F extends Kind<F,?>, A> (package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interfaceStateMonad<S>(package private) interface(package private) interfaceStateTMonad<F extends Kind<F,?>, S> (package private) interfaceStateTMonadError<F extends Kind<F,?>, S, E> (package private) interfaceStateTMonadReader<F extends Kind<F,?>, S, R> (package private) interfaceStateTMonadState<F extends Kind<F,?>, S> (package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interfaceURIOAsync<R>(package private) interfaceURIOBracket<R>(package private) interface(package private) interfaceURIOFunctor<R>(package private) interfaceURIOMonad<R>(package private) interface(package private) interface(package private) interface(package private) interfaceURIOPure<R>(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interface(package private) interfaceWriterMonad<L>(package private) interfaceWriterTMonad<F extends Kind<F,?>, L> (package private) interfaceWriterTMonadError<F extends Kind<F,?>, L, E> (package private) interfaceWriterTMonadWriter<F extends Kind<F,?>, L> Classes in com.github.tonivade.purefun.instances that implement InvariantModifier and TypeClassDescription(package private) classEffectEMonadError<F extends Kind<F,?>, E> (package private) classEffectRMonad<F extends Kind<F,?>, R, E> (package private) classEffectRMonadError<F extends Kind<F,?>, R, E> (package private) classEffectRMonadReader<F extends Kind<F,?>, R, E> class -
Uses of Invariant in com.github.tonivade.purefun.typeclasses
Subinterfaces of Invariant in com.github.tonivade.purefun.typeclassesModifier and TypeInterfaceDescriptioninterfaceAlternative<F extends Kind<F,?>> interfaceApplicative<F extends Kind<F,?>> interfaceApplicativeError<F extends Kind<F,?>, E> interfaceinterfaceinterface(package private) interfaceComposedAlternative<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedApplicative<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedContravariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedContravariantCovariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedCovariantContravariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedFunctor<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedInvariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedInvariantContravariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedInvariantCovariant<F extends Kind<F,?>, G extends Kind<G, ?>> (package private) interfaceComposedTraverse<F extends Kind<F,?>, G extends Kind<G, ?>> interfaceConcurrent<F extends Kind<F,?>> interfaceContravariant<F extends Kind<F,?>> interfaceinterfaceinterfaceMonadDefer<F extends Kind<F,?>> interfaceMonadError<F extends Kind<F,?>, E> interfaceMonadReader<F extends Kind<F,?>, R> interfaceMonadState<F extends Kind<F,?>, S> interfaceMonadThrow<F extends Kind<F,?>> interfaceMonadWriter<F extends Kind<F,?>, W> (package private) interfaceinterfaceinterfaceClasses in com.github.tonivade.purefun.typeclasses that implement InvariantModifier and TypeClassDescription(package private) final classReferenceMonadState<F extends Kind<F,?>, S> Methods in com.github.tonivade.purefun.typeclasses that return InvariantModifier and TypeMethodDescriptionInvariant.compose(Invariant<F> f, Contravariant<G> g) ComposedInvariant.f()ComposedInvariantContravariant.f()ComposedInvariantCovariant.f()ComposedInvariant.g()Methods in com.github.tonivade.purefun.typeclasses with parameters of type Invariant