Merge pull request #22 from purescript-contrib/extract-identity

Updates for extracted Identity

Author: paf31

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

examples/Cont.purs

@@ -1,6 +1,5 @@
 module Main where
 
-import Prelude
 import Control.Monad.Cont.Trans
 import Control.Monad.Trans
 import Debug.Trace

examples/Reader.purs

@@ -1,15 +1,12 @@
 module Main where
 
-import Prelude
-import Control.Monad.Eff
-import Control.Monad.Identity
 import Control.Monad.Reader
 import Control.Monad.Reader.Class
 import Control.Monad.Reader.Trans
-import Data.String
+import Debug.Trace
 
 testReader :: Reader String String
 testReader = local (\x -> x ++ "!") ask
 
 main = do
-  Debug.Trace.print $ runReader testReader "Done"
+  print $ runReader testReader "Done"

examples/State.purs

@@ -1,12 +1,10 @@
 module Main where
 
-import Prelude
-import Control.Monad.Eff
-import Control.Monad.Identity
 import Control.Monad.State
 import Control.Monad.State.Class
 import Control.Monad.State.Trans
 import Data.Tuple
+import Debug.Trace
 
 incState :: forall eff a. State Number Unit
 incState = modify $ (+) 1
@@ -21,8 +19,7 @@ testState = do
   incState
   return "Done"
 
-main = do
-  case runState testState 0 of
-    Tuple value state -> do
-      Debug.Trace.print $ "state: " ++ (show state)
-      Debug.Trace.print $ "value: " ++ (show value)
+main = case runState testState 0 of
+  Tuple value state -> do
+    print $ "state: " ++ (show state)
+    print $ "value: " ++ (show value)

examples/Writer.purs

@@ -1,13 +1,10 @@
 module Main where
 
-import Prelude
-import Control.Monad.Eff
-import Control.Monad.Identity
 import Control.Monad.Writer
 import Control.Monad.Writer.Class
 import Control.Monad.Writer.Trans
-import Data.Monoid
 import Data.Tuple
+import Debug.Trace
 
 testWriter :: Writer String Number
 testWriter = do
@@ -16,5 +13,5 @@ testWriter = do
 
 main = case runWriter testWriter of
   Tuple value output -> do
-    Debug.Trace.print $ output
-    Debug.Trace.print $ value
+    print $ output
+    print $ value

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