Docs

Author: paf31

docs/Control/Monad/Except.md

@@ -7,8 +7,8 @@ type Except e a = ExceptT e Identity a
 ```
 
 A parametrizable exception monad; computations are either exceptions or
-pure values. If an exception is thrown (see `throwE`), the computation
-terminates with that value. Exceptions may also be caught with `catchE`,
+pure values. If an exception is thrown (see `throwError`), the computation
+terminates with that value. Exceptions may also be caught with `catchError`,
 allowing the computation to resume and exit successfully.
 
 The type parameter `e` is the type of exceptions, and `a` is the type

docs/Control/Monad/Except/Trans.md

@@ -1,5 +1,7 @@
 ## Module Control.Monad.Except.Trans
 
+This module defines the _exception monad transformer_ `ExceptT`.
+
 #### `ExceptT`
 
 ``` purescript

docs/Control/Monad/Reader/Trans.md

@@ -45,20 +45,20 @@ runReaderT :: forall r m a. ReaderT r m a -> r -> m a
 
 Run a computation in the `ReaderT` monad.
 
-#### `withReaderT`
+#### `mapReaderT`
 
 ``` purescript
-withReaderT :: forall r1 r2 m a b. (r2 -> r1) -> ReaderT r1 m a -> ReaderT r2 m a
+mapReaderT :: forall r m1 m2 a b. (m1 a -> m2 b) -> ReaderT r m1 a -> ReaderT r m2 b
 ```
 
-Change the type of the context in a `ReaderT` monad action.
+Change the type of the result in a `ReaderT` monad action.
 
-#### `mapReaderT`
+#### `withReaderT`
 
 ``` purescript
-mapReaderT :: forall r m1 m2 a b. (m1 a -> m2 b) -> ReaderT r m1 a -> ReaderT r m2 b
+withReaderT :: forall r1 r2 m a b. (r2 -> r1) -> ReaderT r1 m a -> ReaderT r2 m a
 ```
 
-Change the type of the result in a `ReaderT` monad action.
+Change the type of the context in a `ReaderT` monad action.