EndoK

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 java.lang.Object
implements MonoidFactory<Pure<M>,Fn1<A,MA>>
```
The monoid formed under monadic endomorphism.

Field Summary

Fields
Modifier and Type Field Description

private static EndoK<?,?,?> INSTANCE

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 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 Detail
  - INSTANCE
```
private static final EndoK<?,?,?> INSTANCE
```
- 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<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)
```