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

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