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

    All Methods Static Methods Instance Methods Concrete Methods
    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)