Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Monad m => MonadCont m where
- callCC :: (forall b. (a -> m b) -> m b) -> m a
- newtype ContT m a = ContT {
- runContT :: forall r. (a -> m r) -> m r
- type Cont a = ContT Id a
- contT :: (Monad m, Unit m') => Iso (ContT m a) (ContT m' a') (m a) (m' a')
- cont :: Iso (Cont a) (Cont a') a a'
- (>>~) :: ContT m a -> (a -> m b) -> m b
The MonadCont class
The Continuation transformer
A simple continuation monad implementation