Tweak documentation and update changelog.md
authorHerbert Valerio Riedel <hvr@gnu.org>
Sat, 1 Mar 2014 10:29:48 +0000 (11:29 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sat, 1 Mar 2014 10:29:48 +0000 (11:29 +0100)
This adds release note entries to changelog and tweaks Haddock comments
with respect to the recent commits 1a9abe7a1a3c7 (re #8797) and
f932b79948f0 (re #8745)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Data/Coerce.hs
GHC/Exts.hs
changelog.md

index 93d5e19..2065159 100644 (file)
 --
 -- Safe coercions between data types.
 --
+-- More in-depth information can be found on the
+-- <https://ghc.haskell.org/trac/ghc/wiki/Roles Roles wiki page>
+--
+-- /Since: 4.7.0.0/
 -----------------------------------------------------------------------------
 
 module Data.Coerce
index 62f1951..efdf868 100755 (executable)
@@ -46,6 +46,10 @@ module GHC.Exts
         lazy, inline,
 
         -- * Safe coercions
+        --
+        -- | These are available from the /Trustworthy/ module "Data.Coerce" as well
+        --
+        -- /Since: 4.7.0.0/
         Data.Coerce.coerce, Data.Coerce.Coercible,
 
         -- * Transform comprehensions
index 7e33059..c88c79e 100644 (file)
@@ -15,7 +15,7 @@
   * There are now `Foldable` and `Traversable` instances for `Either a`,
    `Const r`, and `(,) a`.
 
-  * There is now a `Monoid` instance for `Const`.
+  * There is now a `Monoid`, `Generic`, and `Generic1` instance for `Const`.
 
   * There is now a `Data` instance for `Data.Version`.
 
@@ -29,7 +29,8 @@
 
   * There are now `Bits` and `FiniteBits` instances for `Bool`.
 
-  * There are now `Eq`, `Ord`, `Show` and `Read` instances for `ZipList`.
+  * There are now `Eq`, `Ord`, `Show`, `Read`, `Generic`. and `Generic1`
+    instances for `ZipList`.
 
   * There are now `Eq`, `Ord`, `Show` and `Read` instances for `Down`.
 
     for types in GHC.Generics (`U1`, `Par1`, `Rec1`, `K1`, `M1`,
     `(:+:)`, `(:*:)`, `(:.:)`).
 
+  * `Data.Monoid`: There are now `Generic` instances for `Dual`, `Endo`,
+    `All`, `Any`, `Sum`, `Product`, `First`, and `Last`; as well as
+    `Generic1` instances for `Dual`, `Sum`, `Product`, `First`, and `Last`.
+
+  * The `Data.Monoid.{Product,Sum}` newtype wrappers now have `Num` instances.
+
   * There are now `Functor` instances for `System.Console.GetOpt`'s
     `ArgOrder`, `OptDescr`, and `ArgDescr`.
 
 
   * New `Data.Proxy` module providing a concrete, poly-kinded proxy type.
 
+  * New `Data.Coerce` module which exports the new `Coercible` class
+    together with the `coerce` primitive which provide safe coercion
+    (wrt role checking) between types with same representation.
+
   * `Control.Concurrent.MVar` has a new implementation of `readMVar`,
     which fixes a long-standing bug where `readMVar` is only atomic if
     there are no other threads running `putMVar`.  `readMVar` now is
     `Monad` to an `Applicative`, has now a
     `Monad m => Monad (WrappedMonad m)` instance.
 
+  * There is now a `Generic` and a `Generic1` instance for `WrappedMonad`
+    and `WrappedArrow`.
+
   * Handle `ExitFailure (-sig)` on Unix by killing process with signal `sig`.
 
   * New module `Data.Type.Bool` providing operations on type-level booleans.
 
   * Add `Typeable` instance for `(->)` and `RealWorld`.
 
-  * Declare CPP head `<Typeable.h>` officially obsolete as GHC 7.8+
+  * Declare CPP header `<Typeable.h>` officially obsolete as GHC 7.8+
     does not support hand-written `Typeable` instances anymore.
 
   * Remove (unmaintained) Hugs98 and NHC98 specific code.