summaryrefslogtreecommitdiff
path: root/libraries/base/Data/Typeable.hs
diff options
context:
space:
mode:
Diffstat (limited to 'libraries/base/Data/Typeable.hs')
-rw-r--r--libraries/base/Data/Typeable.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/Data/Typeable.hs b/libraries/base/Data/Typeable.hs
index 4cbd8fe054..168600f732 100644
--- a/libraries/base/Data/Typeable.hs
+++ b/libraries/base/Data/Typeable.hs
@@ -104,7 +104,7 @@ cast x = if typeRep (Proxy :: Proxy a) == typeRep (Proxy :: Proxy b)
-- | Extract a witness of equality of two types
--
--- /Since: 4.7.0.0/
+-- @since 4.7.0.0
eqT :: forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT = if typeRep (Proxy :: Proxy a) == typeRep (Proxy :: Proxy b)
then Just $ unsafeCoerce Refl