method
K<MTran, A>
lift
<MTran, M, A>
(K<M, A> ma)
Source
#
where
M : Monad<M>
where
MTran : MonadT<MTran, M>
Lift a monad into a transformer
Parameters
| type |
MTran |
Transformer
|
| type |
M |
Monad
|
| type |
A |
Bound value
|
| param |
ma |
Monad to lift
|
| returns |
Monad transformer with the monad lifted into it
|