java.lang.Object
com.jnape.palatable.lambda.monoid.builtin.EndoK<M,A,MA>
- Type Parameters:
M
- theMonadRec
witnessA
- the carrier typeMA
- the fully witnessedMonadRec
type
- All Implemented Interfaces:
Fn1<Pure<M>,
,Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>> Fn2<Pure<M>,
,Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>> Fn3<Pure<M>,
,Fn1<A, MA>, Fn1<A, MA>, Fn1<A, MA>> MonoidFactory<Pure<M>,
,Fn1<A, MA>> SemigroupFactory<Pure<M>,
,Fn1<A, MA>> Applicative<Fn1<Fn1<A,
,MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<Pure<M>, ?>> Cartesian<Pure<M>,
,Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<?, ?>> Cocartesian<Pure<M>,
,Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<?, ?>> Contravariant<Pure<M>,
,Profunctor<?, Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<?, ?>>> Functor<Fn1<Fn1<A,
,MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<Pure<M>, ?>> Profunctor<Pure<M>,
,Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<?, ?>> Monad<Fn1<Fn1<A,
,MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<Pure<M>, ?>> MonadReader<Pure<M>,
,Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<Pure<M>, ?>> MonadRec<Fn1<Fn1<A,
,MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<Pure<M>, ?>> MonadWriter<Pure<M>,
Fn1<Fn1<A, MA>, Fn1<Fn1<A, MA>, Fn1<A, MA>>>, Fn1<Pure<M>, ?>>
public final class EndoK<M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>
extends Object
implements MonoidFactory<Pure<M>,Fn1<A,MA>>
The monoid formed under monadic endomorphism.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncheckedApply
(Pure<M> pureM) Invoke this function with the given argument, potentially throwing anyThrowable
.endoK()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1
andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2
toBiFunction
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn3
apply, checkedApply, compose, contraMap, diMapL, discardR, flip, uncurry, widen
Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.MonoidFactory
apply, apply
Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.SemigroupFactory
checkedApply
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
EndoK
public EndoK()
-
-
Method Details
-
checkedApply
Description copied from interface:Fn2
Invoke this function with the given argument, potentially throwing anyThrowable
.- Specified by:
checkedApply
in interfaceFn1<M extends MonadRec<?,
M>, A> - Specified by:
checkedApply
in interfaceFn2<M extends MonadRec<?,
M>, A, MA extends MonadRec<A, M>> - Specified by:
checkedApply
in interfaceMonoidFactory<M extends MonadRec<?,
M>, A> - Specified by:
checkedApply
in interfaceSemigroupFactory<M extends MonadRec<?,
M>, A> - Parameters:
pureM
- the argument- Returns:
- the result of the function application
-
endoK
-
endoK
-