refactor(runtime): Move TimeInterval to its own module

src/runtime-prototype/src/Scheduler/Fault.hs

@@ -15,6 +15,7 @@ import qualified Scheduler.Agenda as Agenda
 import Scheduler.Agenda (Agenda)
 import Scheduler.Event
 import qualified Scheduler.Faults as Faults
+import Scheduler.TimeInterval
 import StuntDouble.LogicalTime
 import StuntDouble.Time
 
@@ -153,27 +154,3 @@ manipulateEvent e (FaultState fsAll) = case Map.lookup (to e) fsAll of
         | contain t ti = applySkew t ti action
         | otherwise = t
 
-------------------------------------------------------------------------
--- does Time support inf?
-data TimeInterval = TimeInterval {tiFrom :: Time, tiTo :: Time}
-  deriving stock (Eq, Ord, Show)
-
-contain :: Time -> TimeInterval -> Bool
-contain t (TimeInterval a b) = afterTime t a && afterTime b t
-
--- I'm sure there is some clever data structure for this
-newtype TimeIntervals = TimeIntervals (Set TimeInterval)
-  deriving newtype (Semigroup, Monoid, Show)
-
-emptyIntervals :: TimeIntervals
-emptyIntervals = TimeIntervals Set.empty
-
-singleton :: TimeInterval -> TimeIntervals
-singleton = TimeIntervals . Set.singleton
-
-contains :: Time -> TimeIntervals -> Bool
-contains t (TimeIntervals s) =
-    not
-  . Set.null
-  . Set.filter (contain t)
-  $ s

src/runtime-prototype/src/Scheduler/TimeInterval.hs

@@ -0,0 +1,32 @@
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+module Scheduler.TimeInterval where
+
+import Data.Set (Set)
+import qualified Data.Set as Set
+
+import StuntDouble.Time
+------------------------------------------------------------------------
+-- does Time support inf?
+data TimeInterval = TimeInterval {tiFrom :: Time, tiTo :: Time}
+  deriving stock (Eq, Ord, Show)
+
+contain :: Time -> TimeInterval -> Bool
+contain t (TimeInterval a b) = afterTime t a && afterTime b t
+
+-- I'm sure there is some clever data structure for this
+newtype TimeIntervals = TimeIntervals (Set TimeInterval)
+  deriving newtype (Semigroup, Monoid, Show)
+
+emptyIntervals :: TimeIntervals
+emptyIntervals = TimeIntervals Set.empty
+
+singleton :: TimeInterval -> TimeIntervals
+singleton = TimeIntervals . Set.singleton
+
+contains :: Time -> TimeIntervals -> Bool
+contains t (TimeIntervals s) =
+    not
+  . Set.null
+  . Set.filter (contain t)
+  $ s

src/runtime-prototype/stunt-double.cabal

@@ -29,6 +29,7 @@ library
     Scheduler.Faults
     Scheduler.Main
     Scheduler.State
+    Scheduler.TimeInterval
     StuntDouble
     StuntDouble.ActorMap
     StuntDouble.AdminTransport