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.

Constructor Summary

Constructors

Constructor and Description
EndoK()

Method Summary

Modifier and Type	Method and 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.specialized.MonoidFactory

apply, apply

Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.SemigroupFactory

checkedApply

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn3

apply, checkedApply, compose, contraMap, diMapL, discardR, flip, fn3, fn3, fn3, uncurry, widen

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2

curried, curry, fn2, fromBiFunction, toBiFunction

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1

andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, fn1, fromFunction, lazyZip, listens, local, pure, pureFn1, thunk, toFunction, trampolineM, zip, zip

Methods inherited from interface com.jnape.palatable.lambda.monad.Monad

join

Methods inherited from interface com.jnape.palatable.lambda.functor.Functor

coerce

Constructor Detail

EndoK

public EndoK()

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 any Throwable.

Specified by:

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

Specified by:

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

Specified by:

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

Specified by:

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

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)