Changeset 2488 for src/Pugs/Cont.hs
- Timestamp:
- 04/29/05 19:45:40 (4 years ago)
- svk:copy_cache_prev:
- 3914
- Files:
-
- 1 modified
-
src/Pugs/Cont.hs (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Pugs/Cont.hs
r2449 r2488 15 15 ) where 16 16 17 import qualified Control.Monad.Cont as C ( callCC,lift)18 import Control.Monad.Cont (mapContT, withContT, mapCont, withCont, Cont(..), ContT(..), MonadCont )17 import qualified Control.Monad.Cont as C (lift) 18 import Control.Monad.Cont (mapContT, withContT, mapCont, withCont, Cont(..), ContT(..), MonadCont(..)) 19 19 20 20 -- Cont' m a is the type of a continuation expecting an a within the … … 23 23 24 24 callCCT :: forall a m. MonadCont m => (Cont' m a -> m a) -> m a 25 callCCT f = C.callCC f' where25 callCCT f = callCC f' where 26 26 f' :: (a -> m (EmptyMonad m)) -> m a 27 27 f' g = f g' where
