]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "(refs #7535) Allow only selecting models in the model export"
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Mon, 9 Oct 2017 20:28:27 +0000 (23:28 +0300)
committerGerrit Code Review <gerrit2@www.simantics.org>
Mon, 9 Oct 2017 20:28:27 +0000 (23:28 +0300)
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 ///