Rename 'Test.DPOR.Schedule' to 'Test.DejaFu.Schedule'

dejafu/Test/DPOR/Internal.hs

@@ -24,7 +24,7 @@ import qualified Data.Set as S
 import Data.Sequence (Seq, ViewL(..), (|>))
 import qualified Data.Sequence as Sq
 
-import Test.DPOR.Schedule (Decision(..), Scheduler, decisionOf, tidOf)
+import Test.DejaFu.Schedule (Decision(..), Scheduler, decisionOf, tidOf)
 
 -------------------------------------------------------------------------------
 -- * Dynamic partial-order reduction

dejafu/Test/DejaFu/Common.hs

@@ -67,7 +67,7 @@ import Data.List (sort, nub, intercalate)
 import Data.Maybe (fromMaybe, mapMaybe)
 import Data.Set (Set)
 import qualified Data.Set as S
-import Test.DPOR.Schedule (Decision(..))
+import Test.DejaFu.Schedule (Decision(..))
 import Test.DPOR.Internal (Trace)
 
 -------------------------------------------------------------------------------

dejafu/Test/DejaFu/Conc.hs

@@ -42,7 +42,7 @@ module Test.DejaFu.Conc
   , showFail
 
   -- * Scheduling
-  , module Test.DPOR.Schedule
+  , module Test.DejaFu.Schedule
   ) where
 
 import Control.Exception (MaskingState(..))
@@ -56,7 +56,7 @@ import Data.IORef (IORef)
 import qualified Data.Map.Strict as M
 import Data.Maybe (fromJust)
 import Data.STRef (STRef)
-import Test.DPOR.Schedule
+import Test.DejaFu.Schedule
 
 import qualified Control.Monad.Conc.Class as C
 import Test.DejaFu.Common

dejafu/Test/DejaFu/Conc/Internal.hs

@@ -22,12 +22,12 @@ import Data.List (sort)
 import Data.List.NonEmpty (NonEmpty(..), fromList)
 import qualified Data.Map.Strict as M
 import Data.Maybe (fromJust, isJust, isNothing, listToMaybe)
-import Test.DPOR.Schedule (Scheduler)
 
 import Test.DejaFu.Common
 import Test.DejaFu.Conc.Internal.Common
 import Test.DejaFu.Conc.Internal.Memory
 import Test.DejaFu.Conc.Internal.Threading
+import Test.DejaFu.Schedule
 import Test.DejaFu.STM (Result(..))
 
 {-# ANN module ("HLint: ignore Use record patterns" :: String) #-}

dejafu/Test/DejaFu/Schedule.hs

@@ -1,5 +1,5 @@
 -- |
--- Module      : Test.DPOR.Schedule
+-- Module      : Test.DejaFu.Schedule
 -- Copyright   : (c) 2016 Michael Walker
 -- License     : MIT
 -- Maintainer  : Michael Walker <mike@barrucadu.co.uk>
@@ -7,7 +7,7 @@
 -- Portability : portable
 --
 -- Scheduling for concurrent computations.
-module Test.DPOR.Schedule
+module Test.DejaFu.Schedule
   ( -- * Scheduling
     Scheduler
 

dejafu/dejafu.cabal

@@ -80,11 +80,11 @@ library
   exposed-modules:     Test.DejaFu
                      , Test.DejaFu.Conc
                      , Test.DejaFu.Common
+                     , Test.DejaFu.Schedule
                      , Test.DejaFu.SCT
                      , Test.DejaFu.STM
 
                      , Test.DPOR.Internal
-                     , Test.DPOR.Schedule
 
                      , Test.DejaFu.Conc.Internal
                      , Test.DejaFu.Conc.Internal.Common