From 7a85bc6cba02e691df15fce996ee85e0088f9374 Mon Sep 17 00:00:00 2001 From: Soumik Sarkar Date: Sat, 7 Sep 2024 14:34:24 +0530 Subject: [PATCH] Remove separate strictness section in IntSet docs (#1033) Mention strictness in the structure description, as done in other modules. --- containers/src/Data/IntSet.hs | 16 ++-------------- 1 file changed, 2 insertions(+), 14 deletions(-) diff --git a/containers/src/Data/IntSet.hs b/containers/src/Data/IntSet.hs index 5c53c2b35..9d497e91e 100644 --- a/containers/src/Data/IntSet.hs +++ b/containers/src/Data/IntSet.hs @@ -17,7 +17,8 @@ -- -- = Finite Int Sets -- --- The @'IntSet'@ type represents a set of elements of type @Int@. +-- The @'IntSet'@ type represents a set of elements of type @Int@. An @IntSet@ +-- is strict in its elements. -- -- For a walkthrough of the most commonly used functions see their -- . @@ -61,9 +62,6 @@ ----------------------------------------------------------------------------- module Data.IntSet ( - -- * Strictness properties - -- $strictness - -- * Set type #if !defined(TESTING) IntSet -- instance Eq,Show @@ -162,13 +160,3 @@ module Data.IntSet ( import Data.IntSet.Internal.IntTreeCommons (Key) import Data.IntSet.Internal as IS - --- $strictness --- --- This module satisfies the following strictness property: --- --- * Key arguments are evaluated to WHNF --- --- Here are some examples that illustrate the property: --- --- > delete undefined s == undefined