- 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 java.lang.Object implements MonoidFactory<Pure<M>,Fn1<A,MA>>
The monoid formed under monadic endomorphism.
-
-
Constructor Summary
Constructors Constructor Description EndoK()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Monoid<Fn1<A,MA>>
checkedApply(Pure<M> pureM)
Invoke this function with the given argument, potentially throwing anyThrowable
.static <M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>
EndoK<M,A,MA>endoK()
static <M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>
Monoid<Fn1<A,MA>>endoK(Pure<M> pureM)
-
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 Detail
-
INSTANCE
private static final EndoK<?,?,?> INSTANCE
-
-
Method Detail
-
checkedApply
public Monoid<Fn1<A,MA>> checkedApply(Pure<M> pureM)
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
public static <M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>> EndoK<M,A,MA> endoK()
-
-