Updates for extracted Identity

Author: garyb

bower.json

@@ -18,11 +18,12 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-tuples": "*",
-    "purescript-either": "*",
-    "purescript-monoid": "*",
-    "purescript-arrays": "~0.2.0",
-    "purescript-control": "~0.2.0"
+    "purescript-tuples": "~0.2.1",
+    "purescript-either": "~0.1.3",
+    "purescript-monoid": "~0.1.4",
+    "purescript-arrays": "~0.2.1",
+    "purescript-control": "~0.2.1",
+    "purescript-identity": "~0.1.0"
   },
   "devDependencies": {
     "purescript-strings": "*"

docs/Module.md

@@ -228,7 +228,7 @@
 ### Types
 
     newtype ContT r m a where
-      ContT :: (a -> m r) -> m r -> ContT r m a
+      ContT :: ((a -> m r) -> m r) -> ContT r m a
 
 
 ### Type Class Instances
@@ -339,36 +339,6 @@
     runErrorT :: forall e m a. ErrorT e m a -> m (Either e a)
 
 
-## Module Control.Monad.Identity
-
-### Types
-
-    newtype Identity a where
-      Identity :: a -> Identity a
-
-
-### Type Class Instances
-
-    instance applicativeIdentity :: Applicative Identity
-
-    instance applyIdentity :: Apply Identity
-
-    instance bindIdentity :: Bind Identity
-
-    instance comonadIdentity :: Comonad Identity
-
-    instance extendIdentity :: Extend Identity
-
-    instance functorIdentity :: Functor Identity
-
-    instance monadIdentity :: Monad Identity
-
-
-### Values
-
-    runIdentity :: forall a. Identity a -> a
-
-
 ## Module Control.Monad.Maybe.Trans
 
 ### Types
@@ -478,7 +448,7 @@
 ### Types
 
     newtype RWST r w s m a where
-      RWST :: r -> s -> m (See s a w) -> RWST r w s m a
+      RWST :: (r -> s -> m (See s a w)) -> RWST r w s m a
 
     type See s a w = { log :: w, result :: a, state :: s }
 
@@ -565,7 +535,7 @@
 ### Types
 
     newtype ReaderT r m a where
-      ReaderT :: r -> m a -> ReaderT r m a
+      ReaderT :: (r -> m a) -> ReaderT r m a
 
 
 ### Type Class Instances
@@ -667,7 +637,7 @@
 ### Types
 
     newtype StateT s m a where
-      StateT :: s -> m (Tuple a s) -> StateT s m a
+      StateT :: (s -> m (Tuple a s)) -> StateT s m a
 
 
 ### Type Class Instances

src/Control/Comonad/Env.purs

@@ -1,8 +1,7 @@
 module Control.Comonad.Env where
 
 import Control.Comonad.Env.Trans
-import Control.Monad.Identity
-
+import Data.Identity
 import Data.Tuple
 
 type Env e = EnvT e Identity

src/Control/Comonad/Store.purs

@@ -1,8 +1,7 @@
 module Control.Comonad.Store where
 
 import Control.Comonad.Store.Trans
-import Control.Monad.Identity
-
+import Data.Identity
 import Data.Tuple
 
 type Store s a = StoreT s Identity a

src/Control/Comonad/Traced.purs

@@ -1,7 +1,7 @@
 module Control.Comonad.Traced where
 
 import Control.Comonad.Traced.Trans
-import Control.Monad.Identity
+import Data.Identity
 
 type Traced m = TracedT m Identity
 

src/Control/Monad/Identity.purs

@@ -1,7 +1,7 @@
 module Control.Monad.RWS where
 
-import Control.Monad.Identity
 import Control.Monad.RWS.Trans
+import Data.Identity
 import Data.Monoid
 import Data.Tuple
 

src/Control/Monad/RWS.purs

@@ -1,7 +1,7 @@
 module Control.Monad.Reader where
 
-import Control.Monad.Identity
 import Control.Monad.Reader.Trans
+import Data.Identity
 
 type Reader r = ReaderT r Identity
 

src/Control/Monad/Reader.purs

@@ -1,7 +1,7 @@
 module Control.Monad.State where
 
-import Control.Monad.Identity
 import Control.Monad.State.Trans
+import Data.Identity
 import Data.Tuple
 
 type State s = StateT s Identity

src/Control/Monad/State.purs

@@ -1,7 +1,7 @@
 module Control.Monad.Writer where
 
-import Control.Monad.Identity
 import Control.Monad.Writer.Trans
+import Data.Identity
 import Data.Monoid
 import Data.Tuple