Package com.github.tonivade.purefun.instances

Interface IdPure

All Superinterfaces:

Applicative<Id<?>>, Functor<Id<?>>, Invariant<Id<?>>

All Known Subinterfaces:

IdApplicative, IdMonad

interface IdPure
extends Applicative<Id<?>>

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> Kind<Id<?>,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> Kind<Id<?>,T> pure(T value)

Specified by:

pure in interface Applicative<Id<?>>