Package com.jnape.palatable.lambda.monoid.builtin

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.

Field Summary

Fields

Modifier and Type	Field	Description
private static final EndoK<?,?,?>	INSTANCE

Constructor Summary

Constructors

Constructor	Description
EndoK()

Method Summary

Modifier and Type	Method	Description
Monoid<Fn1<A,MA>>	checkedApply(Pure<M> pureM)	Invoke this function with the given argument, potentially throwing any Throwable.
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.functor.Functor

coerce

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

private static final EndoK<?,?,?> INSTANCE

Constructor Details

EndoK

public EndoK()

Method Details

checkedApply

public Monoid<Fn1<A,MA>> checkedApply(Pure<M> pureM)

Description copied from interface: Fn2

Invoke this function with the given argument, potentially throwing any Throwable.

Specified by:

checkedApply in interface Fn1<M extends MonadRec<?,M>,A>

Specified by:

checkedApply in interface Fn2<M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>

Specified by:

checkedApply in interface MonoidFactory<M extends MonadRec<?,M>,A>

Specified by:

checkedApply in interface SemigroupFactory<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()

endoK

public static <M extends MonadRec<?,
M>,
A,
MA extends MonadRec<A,
M>>
Monoid<Fn1<A,MA>> endoK(Pure<M> pureM)