MonadBase

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, IterateT, 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

Modifier and Type

Method

Description

<C, N extends MonadRec<?,N>> MonadBase<N,C,MB>

lift(MonadRec<C,N> nc)

Lift a new argument MonadRec into this MonadBase.

Method Details
- 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