Format with fourmolu

Author: github-actions

dev-tools/process-logs/Main.hs

@@ -28,8 +28,8 @@ import System.Exit
 import Text.Printf
 
 import Booster.Log.Context (ContextFilter, mustMatch, readContextFilter)
-import Kore.JsonRpc.Types.ContextLog
 import Kore.JsonRpc.Types (rpcJsonConfig)
+import Kore.JsonRpc.Types.ContextLog
 
 -- reads log file in json-format from stdin (or a single given file)
 -- applies the command
@@ -59,10 +59,10 @@ data Options = Options
 data Command
     = -- | filter a log file, output to stdout. Same options as for the server
       Filter [ContextFilter]
-      -- | find repeated rule/equation contexts in lines
-    | FindRecursions
-      -- | compute total times spent on applying certain rules/equations (top-level)
-    | TimesPerRule
+    | -- | find repeated rule/equation contexts in lines
+      FindRecursions
+    | -- | compute total times spent on applying certain rules/equations (top-level)
+      TimesPerRule
     deriving (Show)
 
 parse :: ParserInfo Options
@@ -157,7 +157,6 @@ process TimesPerRule =
                 stats.tAbort
                 stats.nAbort
 
-
 encodeLogLine :: LogLine -> BS.ByteString
 encodeLogLine = JSON.encodePretty' rpcJsonConfig{JSON.confIndent = JSON.Spaces 0}
 
@@ -227,17 +226,16 @@ ruleStatistics =
     allTimes :: RuleStats -> Double
     allTimes stats = stats.tSuccess + stats.tFailure + stats.tAbort
 
-data RuleStats =
-    RuleStats
-        { -- counts of:
-          nSuccess :: !Int -- successful application
-        , nFailure :: !Int -- failure to apply
-        , nAbort :: !Int -- failure, leading to abort
-        , -- total times for these categories
-          tSuccess :: !Double
-        , tFailure :: !Double
-        , tAbort :: !Double
-        }
+data RuleStats = RuleStats
+    { -- counts of:
+      nSuccess :: !Int -- successful application
+    , nFailure :: !Int -- failure to apply
+    , nAbort :: !Int -- failure, leading to abort
+    , -- total times for these categories
+      tSuccess :: !Double
+    , tFailure :: !Double
+    , tAbort :: !Double
+    }
     deriving stock (Eq, Ord, Show)
 
 instance Monoid RuleStats where
@@ -259,7 +257,8 @@ ruleStats = Map.fromListWith (<>) . collect
   where
     collect [] = []
     collect (l@LogLine{context} : ls)
-        | Seq.null rulePart = -- no rule involved?
+        | Seq.null rulePart -- no rule involved?
+            =
             collect ls
         | otherwise =
             let (outcome, rest) = fromCtxSpan (prefix :|> ruleCtx) (l : ls)
@@ -269,7 +268,7 @@ ruleStats = Map.fromListWith (<>) . collect
         (ruleCtx, ruleId) = case rulePart of
             hd :<| _rest
                 | c@(CLWithId c') <- hd -> (c, c')
-                | CLNullary{}     <- hd -> error "no rule head found"
+                | CLNullary{} <- hd -> error "no rule head found"
             Seq.Empty -> error "no rule head found"
 
     -- only contexts with ID (rules, equations, hooks)
@@ -295,16 +294,17 @@ ruleStats = Map.fromListWith (<>) . collect
         mkOutcome startLine endLine =
             let time =
                     maybe 1 realToFrac $
-                        (diffUTCTime
+                        ( diffUTCTime
                             <$> fmap systemToUTCTime endLine.timestamp
                             <*> fmap systemToUTCTime startLine.timestamp
                         )
              in case endLine.context of
-                _ :|> CLNullary CtxSuccess ->
-                    RuleStats 1 0 0 time 0 0
-                _ :|> CLNullary CtxFailure ->
-                    RuleStats 0 1 0 0 time 0
-                _ :|> CLNullary CtxAbort ->
-                    RuleStats 0 0 1 0 0 time
-                other -> -- case not covered...
-                    error $ "Unexpected last context " <> show (Seq.drop len other)
+                    _ :|> CLNullary CtxSuccess ->
+                        RuleStats 1 0 0 time 0 0
+                    _ :|> CLNullary CtxFailure ->
+                        RuleStats 0 1 0 0 time 0
+                    _ :|> CLNullary CtxAbort ->
+                        RuleStats 0 0 1 0 0 time
+                    other ->
+                        -- case not covered...
+                        error $ "Unexpected last context " <> show (Seq.drop len other)