]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
(refs #7532) Changed the context of FunctorM from Functor to FunctorE 85/1085/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Mon, 9 Oct 2017 15:31:53 +0000 (18:31 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Mon, 9 Oct 2017 15:31:53 +0000 (18:31 +0300)
Change-Id: I3d4e4d430a79f118d5b69426d02a24ccbbf345ce

bundles/org.simantics.scl.runtime/scl/Prelude.scl

index 8fcd3ced191d6f2ebbcc9c595021206e5b5e684f..5e5bd858b8b65e2a30210e388fd6de72ef1a747f 100644 (file)
@@ -1081,12 +1081,12 @@ replicate n v = build (\empty cons ->
 
 /// FunctorM ///
 
-class (Functor f) => FunctorM f where
+class (FunctorE f) => FunctorM f where
     "`mapM f` is equivalent to `sequence . map f`."
-    mapM :: Monad m => (a -> m b) -> f a -> m (f b)
+    mapM :: Monad m => (a -> <e> m b) -> f a -> <e> m (f b)
     "Evaluate each action in the sequence from left to right, and collect the results."
     sequence :: Monad m => f (m a) -> m (f a) 
-    mapM f l = sequence (fmap f l)
+    mapM f l = sequence (map f l)
 
 /// MonadE ///