[commit: packages/base] master: Changed export list to create better haddock. Added eqT to exports. (e5591c4)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/base

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/e5591c482f897ff48f988d1487c5cc1c4e5cc96d/base

>---------------------------------------------------------------

commit e5591c482f897ff48f988d1487c5cc1c4e5cc96d
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Sun Oct 20 17:02:19 2013 -0400

    Changed export list to create better haddock. Added eqT to exports.


>---------------------------------------------------------------

e5591c482f897ff48f988d1487c5cc1c4e5cc96d
 Data/Typeable.hs |   10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/Data/Typeable.hs b/Data/Typeable.hs
index 8010899..15aeccb 100644
--- a/Data/Typeable.hs
+++ b/Data/Typeable.hs
@@ -39,9 +39,6 @@
 
 module Data.Typeable
   (
-        -- * A proxy type
-        Proxy (..),
-
         -- * The Typeable class
         Typeable,
         typeRep,
@@ -54,12 +51,16 @@ module Data.Typeable
 
         -- * Type-safe cast
         cast,
+        eqT,
         gcast,                  -- a generalisation of cast
 
         -- * Generalized casts for higher-order kinds
         gcast1,                 -- :: ... => c (t a) -> Maybe (c (t' a))
         gcast2,                 -- :: ... => c (t a b) -> Maybe (c (t' a b))
 
+        -- * A canonical proxy type
+        Proxy (..),
+        
         -- * Type representations
         TypeRep,        -- abstract, instance of: Eq, Show, Typeable
         showsTypeRep,
@@ -82,9 +83,6 @@ module Data.Typeable
         funResultTy,    -- :: TypeRep -> TypeRep   -> Maybe TypeRep
         typeRepTyCon,   -- :: TypeRep -> TyCon
         typeRepArgs,    -- :: TypeRep -> [TypeRep]
-
-        -- * Type-level reasoning with Typeable
-        -- eqTypeable, decideEqTypeable
   ) where
 
 import Data.Typeable.Internal hiding (mkTyCon)