Changeset 3740 for src/Pugs/Internals.hs

Timestamp:

05/23/05 16:57:32 (4 years ago)

Author:

autrijus

svk:copy_cache_prev:

5329

Message:

* move enterEvalContext to Monads.hs so Prim can use it.
* introduce the maybeM abstraction that lifts fmapM into monads.

Files:

• src/Pugs/Internals.hs (modified) (4 diffs)

src/Pugs/Internals.hs

@@ -23 +23 @@
     module Data.Dynamic,
     module Data.Unique,
+    module Data.FunctorM,
     module Control.Exception,
     module System.Environment,
@@ -66 +67 @@
     unsafePerformSTM,
     possiblyFixOperatorName,
+    maybeM,
 ) where
 
@@ -98 +100 @@
 import Data.Maybe
 import Data.Either
+import Data.FunctorM
 import Data.List (
     (\\), find, genericLength, insert, sortBy, intersperse,
@@ -184 +187 @@
 -- instance MonadIO STM where
 --     liftIO = unsafeIOToSTM
+
+maybeM :: (FunctorM f, Monad m) => m (f a) -> (a -> m b) -> m (f b)
+maybeM f m = fmapM m =<< f
 
 {-|