Changeset 6793 for src/Pugs/Cont/CC_2CPST.hs
- Timestamp:
- 09/06/05 14:11:41 (3 years ago)
- Files:
-
- 1 modified
-
src/Pugs/Cont/CC_2CPST.hs (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Pugs/Cont/CC_2CPST.hs
r2786 r6793 35 35 instance MonadTrans (CC r) where 36 36 lift m = CC (\ (Cont k) -> 37 MC (\mk -> lift (m >>= (\a -> let MC mc = k a38 in PromptTR.runP (mc mk)))))37 MC (\mk -> lift (m >>= (\a -> let MC mc = k a 38 in PromptTR.runP (mc mk))))) 39 39 40 40 instance (MonadIO m) => MonadIO (CC r m) where … … 76 76 77 77 letSubCont :: Monad m => 78 Prompt r b -> (SubCont r m a b -> CC r m b) -> CC r m a78 Prompt r b -> (SubCont r m a b -> CC r m b) -> CC r m a 79 79 letSubCont p f = 80 80 CC (\k -> MC (\mk ->
