com.jnape.palatable.lambda.monad

## Interface MonadBase<M extends MonadRec<?,M>,A,MB extends MonadBase<?,?,MB>>

- Type Parameters:
    `M` - the `MonadRec` embedded in this `MonadBase`
    `A` - the carrier type
    `MB` - the witness
  All Known Subinterfaces:
    MonadT<M,A,MT,T>
  All Known Implementing Classes:
    EitherT, IdentityT, LazyT, MaybeT, ReaderT, SafeT, StateT, WriterT

      public interface MonadBase<M extends MonadRec<?,M>,A,MB extends MonadBase<?,?,MB>>

  A type into which a `MonadRec` is embedded whilst internally preserving the `MonadRec` structure.

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `<C,N extends MonadRec<?,N>> MonadBase<N,C,MB>` | `lift(MonadRec<C,N> nc)` Lift a new argument `MonadRec` into this `MonadBase`.

- - ### Method Detail

    - #### lift

          <C,N extends MonadRec<?,N>> MonadBase<N,C,MB> lift(MonadRec<C,N> nc)

      Lift a new argument `MonadRec` into this `MonadBase`.
      Type Parameters:
        `C` - the `MonadRec` carrier type
        `N` - the argument `MonadRec` witness
      Parameters:
        `nc` - the argument `MonadRec`
      Returns:
        the new `MonadBase`