Class EndoK<M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>

java.lang.Object
com.jnape.palatable.lambda.monoid.builtin.EndoK<M,A,MA>
Type Parameters:
M - the MonadRec witness
A - the carrier type
MA - the fully witnessed MonadRec 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.