callCCT :: forall a m . MonadCont m => (Cont' m a -> m a) -> m a |
|
shift :: ((a -> Cont s r) -> Cont r r) -> Cont r a |
|
reset :: Cont a a -> Cont r a |
|
shiftT :: Monad m => ((a -> ContT r m s) -> ContT s m s) -> ContT s m a |
|
resetT :: Monad m => ContT a m a -> ContT r m a |