Prelude.Kore: Export NFData

Author: ttuegel

kore/src/Data/Sup.hs

@@ -13,9 +13,6 @@ module Data.Sup
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Data
     ( Data
     )

kore/src/Kore/Attribute/Attributes.hs

@@ -17,9 +17,6 @@ module Kore.Attribute.Attributes
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Default
     ( Default (..)
     )

kore/src/Kore/Attribute/Axiom.hs

@@ -37,9 +37,6 @@ module Kore.Attribute.Axiom
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Control.Lens as Lens
 import qualified Control.Monad as Monad
 import Data.Default

kore/src/Kore/Attribute/Null.hs

@@ -21,9 +21,6 @@ module Kore.Attribute.Null
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Default
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC

kore/src/Kore/Attribute/Parser.hs

@@ -68,9 +68,6 @@ module Kore.Attribute.Parser
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Control.Lens
     ( Getter
     , Iso'

kore/src/Kore/Attribute/Pattern.hs

@@ -28,9 +28,6 @@ module Kore.Attribute.Pattern
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Control.Lens as Lens
 import Data.Generics.Product
 import qualified Generics.SOP as SOP

kore/src/Kore/Attribute/Pattern/ConstructorLike.hs

@@ -15,7 +15,6 @@ module Kore.Attribute.Pattern.ConstructorLike
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC
 

kore/src/Kore/Attribute/Pattern/Created.hs

@@ -11,7 +11,6 @@ module Kore.Attribute.Pattern.Created
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC
 import GHC.Stack

kore/src/Kore/Attribute/Pattern/Defined.hs

@@ -13,7 +13,6 @@ module Kore.Attribute.Pattern.Defined
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import Data.Functor.Const
 import Data.Monoid
 import qualified Generics.SOP as SOP

kore/src/Kore/Attribute/Pattern/FreeVariables.hs

@@ -25,7 +25,6 @@ import Prelude.Kore hiding
     ( toList
     )
 
-import Control.DeepSeq
 import Data.Functor.Const
 import Data.Map.Strict
     ( Map

kore/src/Kore/Attribute/Pattern/Function.hs

@@ -13,7 +13,6 @@ module Kore.Attribute.Pattern.Function
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import Data.Functor.Const
 import Data.Monoid
 import qualified Generics.SOP as SOP

kore/src/Kore/Attribute/Pattern/Functional.hs

@@ -13,7 +13,6 @@ module Kore.Attribute.Pattern.Functional
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import Data.Functor.Const
 import Data.Monoid
 import qualified Generics.SOP as SOP

kore/src/Kore/Attribute/Pattern/Simplified.hs

@@ -24,7 +24,6 @@ module Kore.Attribute.Pattern.Simplified
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import Data.Text
     ( Text
     )

kore/src/Kore/Attribute/RuleIndex.hs

@@ -11,9 +11,6 @@ module Kore.Attribute.RuleIndex
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Default
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC

kore/src/Kore/Attribute/Smtlib/Smtlib.hs

@@ -15,9 +15,6 @@ module Kore.Attribute.Smtlib.Smtlib
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Default
     ( Default (..)
     )

kore/src/Kore/Attribute/SourceLocation.hs

@@ -15,9 +15,6 @@ module Kore.Attribute.SourceLocation
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Control.Monad
     ( (>=>)
     )

kore/src/Kore/Attribute/Symbol.hs

@@ -62,9 +62,6 @@ module Kore.Attribute.Symbol
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Control.Lens as Lens
 import Control.Monad
     ( (>=>)

kore/src/Kore/Builtin/Endianness/Endianness.hs

@@ -11,9 +11,6 @@ module Kore.Builtin.Endianness.Endianness
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Functor.Const
 import Data.Void
     ( Void

kore/src/Kore/Builtin/Signedness/Signedness.hs

@@ -11,9 +11,6 @@ module Kore.Builtin.Signedness.Signedness
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Functor.Const
 import Data.Void
     ( Void

kore/src/Kore/Equation/Equation.hs

@@ -17,9 +17,6 @@ module Kore.Equation.Equation
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Control.Lens as Lens
 import qualified Data.Default as Default
 import qualified Data.Functor.Foldable as Recursive

kore/src/Kore/Error.hs

@@ -24,9 +24,6 @@ module Kore.Error
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Control.Monad.Except
     ( MonadError (..)
     )

kore/src/Kore/IndexedModule/IndexedModule.hs

@@ -53,9 +53,6 @@ module Kore.IndexedModule.IndexedModule
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData (..)
-    )
 import qualified Control.Lens as Lens
 import Control.Monad.Extra
     ( unlessM

kore/src/Kore/Internal/Alias.hs

@@ -14,6 +14,8 @@ module Kore.Internal.Alias
 import Prelude.Kore
 
 import Control.DeepSeq
+    ( deepseq
+    )
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC
 

kore/src/Kore/Internal/ApplicationSorts.hs

@@ -12,9 +12,6 @@ module Kore.Internal.ApplicationSorts
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Map.Strict
     ( Map
     )

kore/src/Kore/Internal/Conditional.hs

@@ -28,9 +28,6 @@ module Kore.Internal.Conditional
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Map.Strict
     ( Map
     )

kore/src/Kore/Internal/Inj.hs

@@ -14,7 +14,6 @@ module Kore.Internal.Inj
 
 import Prelude.Kore
 
-import Control.DeepSeq
 import Control.Exception
     ( Exception (..)
     , throw

kore/src/Kore/Internal/InternalBool.hs

@@ -8,9 +8,6 @@ module Kore.Internal.InternalBool
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Functor.Const
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC

kore/src/Kore/Internal/InternalBytes.hs

@@ -9,9 +9,6 @@ module Kore.Internal.InternalBytes
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData (..)
-    )
 import Data.ByteString
     ( ByteString
     )

kore/src/Kore/Internal/InternalInt.hs

@@ -8,9 +8,6 @@ module Kore.Internal.InternalInt
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Functor.Const
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC

kore/src/Kore/Internal/InternalList.hs

@@ -8,9 +8,6 @@ module Kore.Internal.InternalList
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Sequence
     ( Seq
     )

kore/src/Kore/Internal/InternalMap.hs

@@ -17,9 +17,6 @@ module Kore.Internal.InternalMap
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData (..)
-    )
 import qualified Control.Lens as Lens
 import qualified Data.Bifunctor as Bifunctor
 import qualified Generics.SOP as SOP

kore/src/Kore/Internal/InternalSet.hs

@@ -17,9 +17,6 @@ module Kore.Internal.InternalSet
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData (..)
-    )
 import qualified Control.Lens as Lens
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC

kore/src/Kore/Internal/InternalString.hs

@@ -8,9 +8,6 @@ module Kore.Internal.InternalString
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Functor.Const
 import Data.Text
     ( Text

kore/src/Kore/Internal/MultiAnd.hs

@@ -29,9 +29,6 @@ import Prelude.Kore hiding
     , traverse
     )
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Data.Functor.Foldable as Recursive
 import qualified Data.Set as Set
 import qualified Data.Traversable as Traversable

kore/src/Kore/Internal/MultiOr.hs

@@ -36,9 +36,6 @@ import Prelude.Kore hiding
     , traverse
     )
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Control.Lens as Lens
 import Data.Generics.Product
     ( field

kore/src/Kore/Internal/NormalizedAc.hs

@@ -32,9 +32,6 @@ module Kore.Internal.NormalizedAc
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData (..)
-    )
 import qualified Control.Lens as Lens
 import Control.Lens.Iso
     ( Iso'

kore/src/Kore/Internal/Predicate.hs

@@ -61,9 +61,6 @@ module Kore.Internal.Predicate
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import Data.Containers.ListUtils
     ( nubOrd
     )

kore/src/Kore/Internal/SideCondition.hs

@@ -22,9 +22,6 @@ module Kore.Internal.SideCondition
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Generics.SOP as SOP
 import qualified GHC.Generics as GHC
 

kore/src/Kore/Internal/SideCondition/SideCondition.hs

@@ -10,9 +10,6 @@ module Kore.Internal.SideCondition.SideCondition
 
 import Prelude.Kore
 
-import Control.DeepSeq
-    ( NFData (..)
-    )
 import Data.Hashable
     ( Hashed
     , hashed

kore/src/Kore/Internal/Substitution.hs

@@ -53,9 +53,6 @@ import Prelude.Kore hiding
     ( null
     )
 
-import Control.DeepSeq
-    ( NFData
-    )
 import qualified Data.List as List
 import Data.Map.Strict
     ( Map

kore/src/Kore/Internal/Symbol.hs

@@ -35,6 +35,8 @@ module Kore.Internal.Symbol
 import Prelude.Kore
 
 import Control.DeepSeq
+    ( deepseq
+    )
 import qualified Control.Lens as Lens
 import Data.Generics.Product
 import Data.Text