Changed Identity bind definition
authorDavid Johnson <djohnson.m@gmail.com>
Sun, 15 Jun 2014 13:31:14 +0000 (08:31 -0500)
committerDavid Johnson <djohnson.m@gmail.com>
Sun, 15 Jun 2014 13:31:14 +0000 (08:31 -0500)
Control/Monad/Identity.hs

index 8592c8f..a7bacac 100644 (file)
@@ -13,7 +13,7 @@ Portability :  portable
 [Computation type:] Simple function application.
 
 [Binding strategy:] The bound function is applied to the input value.
-@'Identity' x >>= f == 'Identity' (f x)@
+@'Identity' x >>= f == f x@
 
 [Useful for:] Monads can be derived from monad transformers applied to the
 'Identity' monad.