From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Fri, 1 Mar 2019 12:45:37 +0000 (+0200)
Subject: Allow effects mapFst and mapSnd
X-Git-Tag: v1.43.0~136^2~182^2
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F43%2F2743%2F1;p=simantics%2Fplatform.git

Allow effects mapFst and mapSnd

Change-Id: I873f82453ec1a306d486f3daa065ada61133bd64
---

diff --git a/bundles/org.simantics.scl.runtime/scl/Prelude.scl b/bundles/org.simantics.scl.runtime/scl/Prelude.scl
index c175f95a3..e92603bec 100644
--- a/bundles/org.simantics.scl.runtime/scl/Prelude.scl
+++ b/bundles/org.simantics.scl.runtime/scl/Prelude.scl
@@ -1521,11 +1521,11 @@ snd :: (a,b) -> b
 snd (x,y) = y
 
 @inline
-mapFst :: (a -> b) -> (a,c) -> (b,c)
+mapFst :: (a -> <e> b) -> (a,c) -> <e> (b,c)
 mapFst f (x,y) = (f x, y)
 
 @inline
-mapSnd :: (a -> b) -> (c,a) -> (c,b)
+mapSnd :: (a -> <e> b) -> (c,a) -> <e> (c,b)
 mapSnd f (x,y) = (x, f y)
 
 instance (Ord a, Ord b) => Ord (a, b) where