Skip to content

Commit ee103cf

Browse files
committed
Updates for 0.7
1 parent c095c0f commit ee103cf

38 files changed

+130
-47
lines changed

examples/Cont.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
module Example.Cont where
22

3+
import Prelude
4+
35
import Console
46
import Control.Monad.Cont.Trans
57
import Control.Monad.Trans

examples/Reader.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
module Example.Reader where
22

3+
import Prelude
4+
35
import Console
46
import Control.Monad.Reader
57
import Control.Monad.Reader.Class

examples/State.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
module Example.State where
22

3+
import Prelude
4+
35
import Console
46
import Control.Monad.State
57
import Control.Monad.State.Class

examples/StateEff.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
module Example.StateEff where
22

3+
import Prelude
4+
35
import Console
46
import Control.Monad.Eff
57
import Control.Monad.State

examples/Writer.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
module Example.Writer where
22

3+
import Prelude
4+
35
import Console
46
import Control.Monad.Writer
57
import Control.Monad.Writer.Class

src/Control/Comonad/Env.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22

33
module Control.Comonad.Env where
44

5+
import Prelude
6+
57
import Control.Comonad.Env.Trans
68
import Data.Identity
79
import Data.Tuple

src/Control/Comonad/Env/Class.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22

33
module Control.Comonad.Env.Class where
44

5+
import Prelude
6+
57
import Control.Comonad
68
import Control.Comonad.Env
79
import Control.Comonad.Env.Trans

src/Control/Comonad/Env/Trans.purs

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22

33
module Control.Comonad.Env.Trans where
44

5+
import Prelude
6+
57
import Control.Comonad
68
import Control.Comonad.Trans
79
import Control.Extend
@@ -28,10 +30,10 @@ mapEnvT :: forall e w1 w2 a b. (w1 a -> w2 b) -> EnvT e w1 a -> EnvT e w2 b
2830
mapEnvT f (EnvT (Tuple e x)) = EnvT $ Tuple e (f x)
2931

3032
instance functorEnvT :: (Functor w) => Functor (EnvT e w) where
31-
(<$>) f (EnvT (Tuple e x)) = EnvT $ Tuple e (f <$> x)
33+
map f (EnvT (Tuple e x)) = EnvT $ Tuple e (f <$> x)
3234

3335
instance extendEnvT :: (Extend w) => Extend (EnvT e w) where
34-
(<<=) f (EnvT (Tuple e x)) = EnvT $ Tuple e (f <$> ((Tuple e >>> EnvT) <<= x))
36+
extend f (EnvT (Tuple e x)) = EnvT $ Tuple e (f <$> ((Tuple e >>> EnvT) <<= x))
3537

3638
instance comonadEnvT :: (Comonad w) => Comonad (EnvT e w) where
3739
extract (EnvT (Tuple e x)) = extract x

src/Control/Comonad/Store.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22

33
module Control.Comonad.Store where
44

5+
import Prelude
6+
57
import Control.Comonad.Store.Trans
68
import Data.Identity
79
import Data.Tuple

src/Control/Comonad/Store/Class.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22

33
module Control.Comonad.Store.Class where
44

5+
import Prelude
6+
57
import Control.Comonad
68
import Control.Comonad.Store.Trans
79
import Control.Extend

0 commit comments

Comments
 (0)