Package com.github.tonivade.purefun.instances

Interface ConstApplicative<T>

All Superinterfaces:

Applicative<Const<T,?>>, Functor<Const<T,?>>, Invariant<Const<T,?>>

interface ConstApplicative<T>
extends Applicative<Const<T,?>>

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 <A, B> Const<T,B>	ap(Kind<Const<T,?>,? extends A> value, Kind<Const<T,?>,? extends Function1<? super A,? extends B>> apply)
static <T> ConstApplicative<T>	instance(Monoid<T> monoid)
Monoid<T>	monoid()
default <A> Const<T,A>	pure(A value)

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

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

instance

static <T> ConstApplicative<T> instance(Monoid<T> monoid)

monoid

Monoid<T> monoid()

pure

default <A> Const<T,A> pure(A value)

Specified by:

pure in interface Applicative<T>

ap

default <A,
B> Const<T,B> ap(Kind<Const<T,?>,? extends A> value,
 Kind<Const<T,?>,? extends Function1<? super A,? extends B>> apply)

Specified by:

ap in interface Applicative<T>