Prelude.Kore: Export (<&>) and void (#2661)

* Prelude.Kore: Export Data.Functor.(<&>)

* Prelude.Kore: Export Data.Functor.void

Co-authored-by: rv-jenkins <admin@runtimeverification.com>

Author: ttuegel

kore/app/exec/Main.hs

@@ -12,9 +12,6 @@ import Control.Monad.Extra as Monad
 import Data.Default (
     def,
  )
-import Data.Functor (
-    (<&>),
- )
 import Data.Generics.Product (
     field,
  )

kore/src/Kore/Log/KoreLogOptions.hs

@@ -23,9 +23,6 @@ module Kore.Log.KoreLogOptions (
 
 import qualified Data.Char as Char
 import Data.Default
-import Data.Functor (
-    void,
- )
 import Data.HashSet (
     HashSet,
  )

kore/src/Kore/Repl.hs

@@ -13,7 +13,6 @@ import Control.Concurrent.MVar
 import qualified Control.Lens as Lens
 import Control.Monad (
     forever,
-    void,
  )
 import Control.Monad.Catch (
     MonadMask,

kore/src/Kore/Repl/Interpreter.hs

@@ -29,7 +29,6 @@ import Control.Lens (
  )
 import qualified Control.Lens as Lens
 import Control.Monad (
-    void,
     (<=<),
  )
 import Control.Monad.Extra (

kore/src/Kore/Repl/Parser.hs

@@ -11,9 +11,6 @@ module Kore.Repl.Parser (
     ReplParseError (..),
 ) where
 
-import Data.Functor (
-    void,
- )
 import Data.GraphViz (
     GraphvizOutput,
  )

kore/src/Kore/Step/Step.hs

@@ -29,9 +29,6 @@ module Kore.Step.Step (
     Step.results,
 ) where
 
-import Data.Functor (
-    (<&>),
- )
 import qualified Data.Map.Strict as Map
 import Data.Set (
     Set,

kore/src/Kore/Unification/SubstitutionNormalization.hs

@@ -15,9 +15,6 @@ module Kore.Unification.SubstitutionNormalization (
 
 import qualified Control.Comonad.Trans.Cofree as Cofree
 import qualified Control.Monad.State.Strict as State
-import Data.Functor (
-    (<&>),
- )
 import Data.Functor.Const
 import Data.Functor.Foldable (
     Base,

kore/src/Prelude/Kore.hs

@@ -13,6 +13,7 @@ module Prelude.Kore (
     -- * Functions
     (&),
     on,
+    (<&>),
 
     -- * Maybe
     isJust,
@@ -62,6 +63,7 @@ module Prelude.Kore (
     MonadPlus (..),
     MonadIO (..),
     MonadTrans (..),
+    void,
     unless,
     when,
 
@@ -143,6 +145,10 @@ import Data.Function (
     on,
     (&),
  )
+import Data.Functor (
+    void,
+    (<&>),
+ )
 import Data.Hashable (
     Hashable (..),
  )

kore/test/Test/Kore.hs

@@ -44,9 +44,6 @@ import Control.Monad.Reader (
     ReaderT,
  )
 import qualified Control.Monad.Reader as Reader
-import Data.Functor (
-    (<&>),
- )
 import Data.Functor.Const
 import Data.Text (
     Text,

kore/test/Test/Kore/Builtin/Map.hs

@@ -54,9 +54,6 @@ import Control.Monad (
  )
 import qualified Data.Bifunctor as Bifunctor
 import qualified Data.Default as Default
-import Data.Functor (
-    (<&>),
- )
 import Data.HashMap.Strict (
     HashMap,
  )