🔥 deepseq.

semantic-diff.cabal

@@ -92,7 +92,6 @@ library
                      , cmark-gfm
                      , comonad
                      , containers
-                     , deepseq
                      , directory
                      , effects
                      , filepath
@@ -167,7 +166,6 @@ test-suite test
                      , bifunctors
                      , bytestring
                      , comonad
-                     , deepseq
                      , filepath
                      , free
                      , Glob

src/Category.hs

@@ -3,7 +3,6 @@
 {-# OPTIONS_GHC -funbox-strict-fields #-}
 module Category where
 
-import Control.DeepSeq
 import Data.Functor.Listable
 import Data.Hashable
 import Data.Text (Text)
@@ -238,7 +237,7 @@ data Category
   | Ty
   | ParenthesizedExpression
   | ParenthesizedType
-  deriving (Eq, Generic, Ord, Show, NFData)
+  deriving (Eq, Generic, Ord, Show)
 
 {-# DEPRECATED RescueModifier "Deprecated; use Modifier Rescue instead." #-}
 

src/Data/Functor/Both.hs

@@ -1,7 +1,6 @@
 {-# OPTIONS_GHC -fno-warn-orphans -funbox-strict-fields #-}
 module Data.Functor.Both (Both, both, runBothWith, fst, snd, module X) where
 
-import Control.DeepSeq
 import Data.Bifunctor.Join as X
 import Data.Semigroup
 import Prelude hiding (fst, snd)
@@ -33,5 +32,3 @@ instance (Semigroup a, Monoid a) => Monoid (Join (,) a) where
 
 instance (Semigroup a) => Semigroup (Join (,) a) where
   a <> b = Join $ runJoin a <> runJoin b
-
-instance NFData a => NFData (Join (,) a)

src/Data/Range.hs

@@ -6,7 +6,6 @@ module Data.Range
 , intersectsRange
 ) where
 
-import Control.DeepSeq
 import Data.Semigroup
 import Data.Text.Prettyprint.Doc
 import GHC.Generics
@@ -14,7 +13,7 @@ import Test.LeanCheck
 
 -- | A half-open interval of integers, defined by start & end indices.
 data Range = Range { start :: {-# UNPACK #-} !Int, end :: {-# UNPACK #-} !Int }
-  deriving (Eq, Show, Generic, NFData)
+  deriving (Eq, Show, Generic)
 
 -- | Return the length of the range.
 rangeLength :: Range -> Int

src/Data/Record.hs

@@ -1,7 +1,6 @@
 {-# LANGUAGE ConstraintKinds, DataKinds, GADTs, KindSignatures, MultiParamTypeClasses, TypeFamilies, TypeOperators, UndecidableInstances #-}
 module Data.Record where
 
-import Control.DeepSeq
 import Data.Kind
 import Data.Functor.Listable
 import Data.Semigroup
@@ -49,11 +48,6 @@ instance {-# OVERLAPPABLE #-} HasField (field ': fields) field where
   getField (h :. _) = h
   setField (_ :. t) f = f :. t
 
-instance (NFData h, NFData (Record t)) => NFData (Record (h ': t)) where
-  rnf (h :. t) = rnf h `seq` rnf t `seq` ()
-
-instance NFData (Record '[]) where
-  rnf _ = ()
 
 instance (Show h, Show (Record t)) => Show (Record (h ': t)) where
   showsPrec n (h :. t) = showParen (n > 0) $ showsPrec 1 h . (" :. " <>) . shows t

src/Data/Span.hs

@@ -9,7 +9,6 @@ module Data.Span
 , emptySpan
 ) where
 
-import Control.DeepSeq
 import Data.Aeson ((.=), (.:))
 import qualified Data.Aeson as A
 import Data.Hashable (Hashable)
@@ -23,7 +22,7 @@ data Pos = Pos
   { posLine :: !Int
   , posColumn :: !Int
   }
-  deriving (Show, Read, Eq, Ord, Generic, Hashable, NFData)
+  deriving (Show, Read, Eq, Ord, Generic, Hashable)
 
 instance A.ToJSON Pos where
   toJSON Pos{..} =
@@ -38,7 +37,7 @@ data Span = Span
   { spanStart :: Pos
   , spanEnd :: Pos
   }
-  deriving (Show, Read, Eq, Ord, Generic, Hashable, NFData)
+  deriving (Show, Read, Eq, Ord, Generic, Hashable)
 
 emptySpan :: Span
 emptySpan = Span (Pos 1 1) (Pos 1 1)

src/Language.hs

@@ -2,7 +2,6 @@
 module Language where
 
 import Control.Comonad.Trans.Cofree hiding (cofree, (:<))
-import Control.DeepSeq
 import Data.Aeson
 import Data.Foldable
 import Data.Record
@@ -21,7 +20,7 @@ data Language
     | Python
     | Ruby
     | TypeScript
-    deriving (Show, Eq, Read, Generic, NFData, ToJSON)
+    deriving (Show, Eq, Read, Generic, ToJSON)
 
 -- | Returns a Language based on the file extension (including the ".").
 languageForType :: String -> Maybe Language

src/Patch.hs

@@ -14,7 +14,6 @@ module Patch
 , mapPatch
 ) where
 
-import Control.DeepSeq
 import Data.Align
 import Data.Functor.Classes.Pretty.Generic
 import Data.Functor.Listable
@@ -26,7 +25,7 @@ data Patch a
   = Replace a a
   | Insert a
   | Delete a
-  deriving (Eq, Foldable, Functor, Generic, Generic1, Ord, Show, Traversable, NFData)
+  deriving (Eq, Foldable, Functor, Generic, Generic1, Ord, Show, Traversable)
 
 
 -- DSL

src/Renderer.hs

@@ -18,7 +18,6 @@ module Renderer
 , File(..)
 ) where
 
-import Control.DeepSeq
 import Data.Aeson (Value, (.=))
 import Data.ByteString (ByteString)
 import Data.Foldable (asum)
@@ -93,7 +92,7 @@ identifierAlgebra (_ :<< syntax) = case syntax of
   where identifier = fmap Identifier . extractLeafValue . unwrap . fst
 
 newtype Identifier = Identifier Text
-  deriving (Eq, NFData, Show)
+  deriving (Eq, Show)
 
 instance ToJSONFields Identifier where
   toJSONFields (Identifier i) = ["identifier" .= i]

src/Renderer/TOC.hs

@@ -17,7 +17,6 @@ module Renderer.TOC
 , entrySummary
 ) where
 
-import Control.DeepSeq
 import Control.Monad.Free (iter)
 import Data.Aeson
 import Data.Align (crosswalk)
@@ -93,7 +92,7 @@ data Declaration
   | FunctionDeclaration { declarationIdentifier :: T.Text }
   | SectionDeclaration  { declarationIdentifier :: T.Text, declarationLevel :: Int }
   | ErrorDeclaration    { declarationIdentifier :: T.Text, declarationLanguage :: Maybe Language }
-  deriving (Eq, Generic, NFData, Show)
+  deriving (Eq, Generic, Show)
 
 getDeclaration :: HasField fields (Maybe Declaration) => Record fields -> Maybe Declaration
 getDeclaration = getField

src/Syntax.hs

@@ -1,7 +1,6 @@
 {-# LANGUAGE DeriveAnyClass #-}
 module Syntax where
 
-import Control.DeepSeq
 import Data.Aeson
 import Data.Align.Generic
 import Data.Functor.Classes
@@ -111,7 +110,7 @@ data Syntax f
   | Ty [f]
   -- | A send statement has a channel and an expression in Go.
   | Send f f
-  deriving (Eq, Foldable, Functor, GAlign, Generic, Generic1, Mergeable, Ord, Show, Traversable, ToJSON, NFData)
+  deriving (Eq, Foldable, Functor, GAlign, Generic, Generic1, Mergeable, Ord, Show, Traversable, ToJSON)
 
 
 extractLeafValue :: Syntax a -> Maybe Text

test/IntegrationSpec.hs

@@ -1,7 +1,6 @@
 {-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, OverloadedStrings #-}
 module IntegrationSpec where
 
-import Control.DeepSeq
 import qualified Data.ByteString as B
 import Data.Foldable (find, traverse_)
 import Data.Functor.Both
@@ -113,7 +112,7 @@ stripWhitespace = B.foldl' go B.empty
 
 -- | A wrapper around 'B.ByteString' with a more readable 'Show' instance.
 newtype Verbatim = Verbatim B.ByteString
-  deriving (Eq, NFData)
+  deriving (Eq)
 
 instance Show Verbatim where
   showsPrec _ (Verbatim byteString) = ('\n':) . (T.unpack (decodeUtf8 byteString) ++)