From 9fa3428967c777ea8801a13e427b20ff4c4d0d59 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?H=C3=A9cate?= Date: Thu, 2 Apr 2020 08:04:24 +0200 Subject: Remove references to ApplicativeDo in the base haddocks --- libraries/base/Data/Foldable.hs | 2 +- libraries/base/Data/Functor.hs | 21 --------------------- libraries/base/Data/Void.hs | 11 +---------- 3 files changed, 2 insertions(+), 32 deletions(-) (limited to 'libraries/base/Data') diff --git a/libraries/base/Data/Foldable.hs b/libraries/base/Data/Foldable.hs index 9460cee2eb..a103d19d4a 100644 --- a/libraries/base/Data/Foldable.hs +++ b/libraries/base/Data/Foldable.hs @@ -602,7 +602,7 @@ class Foldable t where -- | The least element of a non-empty structure. -- -- This function is non-total and will raise a runtime exception if the - -- structure happens to be empty A structure that supports random access + -- structure happens to be empty. A structure that supports random access -- and maintains its elements in order should provide a specialised -- implementation to return the minimum in faster than linear time. -- diff --git a/libraries/base/Data/Functor.hs b/libraries/base/Data/Functor.hs index 9689a0e798..f79b5442e5 100644 --- a/libraries/base/Data/Functor.hs +++ b/libraries/base/Data/Functor.hs @@ -125,16 +125,6 @@ infixl 1 <&> -- | Flipped version of '<$'. -- --- Using @ApplicativeDo@: \'@as '$>' b@\' can be understood as the --- @do@ expression --- --- @ --- do as --- pure b --- @ --- --- with an inferred @Functor@ constraint. --- -- @since 4.7.0.0 -- -- ==== __Examples__ @@ -172,17 +162,6 @@ infixl 1 <&> -- | @'void' value@ discards or ignores the result of evaluation, such -- as the return value of an 'System.IO.IO' action. -- --- --- Using @ApplicativeDo@: \'@'void' as@\' can be understood as the --- @do@ expression --- --- @ --- do as --- pure () --- @ --- --- with an inferred @Functor@ constraint. --- -- ==== __Examples__ -- -- Replace the contents of a @'Data.Maybe.Maybe' 'Data.Int.Int'@ with unit: diff --git a/libraries/base/Data/Void.hs b/libraries/base/Data/Void.hs index 380720d6ee..299b4c78bf 100644 --- a/libraries/base/Data/Void.hs +++ b/libraries/base/Data/Void.hs @@ -80,16 +80,7 @@ absurd a = case a of {} -- | If 'Void' is uninhabited then any 'Functor' that holds only -- values of type 'Void' is holding no values. --- --- Using @ApplicativeDo@: \'@'vacuous' theVoid@\' can be understood as the --- @do@ expression --- --- @ --- do void <- theVoid --- pure (absurd void) --- @ --- --- with an inferred @Functor@ constraint. +-- It is implemented in terms of @fmap absurd@. -- -- @since 4.8.0.0 vacuous :: Functor f => f Void -> f a -- cgit v1.2.1