Searched defs:MonadT (Results 1 – 2 of 2) sorted by relevance
16 class MonadT t where constructor27 class MonadT t => FMonadT t where constructor
225 class MonadT t where constructor234 instance MonadT IdT where lift m = IT m function235 instance MonadT (ReaderT i) where lift m = R (\_ -> m) function236 instance MonadT (StateT i) where lift m = S (\s -> liftM (\a -> (a,s)) m) function238 => MonadT (WriterT i) where lift m = W (liftM (\a -> P a mempty) m) function239 instance MonadT (ExceptionT i) where lift m = X (liftM Right m) function240 instance MonadT ChoiceT where lift m = ChoiceEff (liftM Answer m) function241 instance MonadT (ContT i) where lift m = C (\k -> m >>= k) function