Add default implementation for oneLineJson log format

Author: geo2a

kore/src/Kore/Equation/DebugEquation.hs

@@ -28,6 +28,7 @@ import Control.Error (
     ExceptT,
     withExceptT,
  )
+import Data.Aeson qualified as JSON
 import Data.Text (
     Text,
  )
@@ -59,13 +60,7 @@ import Kore.Rewrite.RewritingVariable (
     RewritingVariableName,
  )
 import Kore.Unparser (Unparse (..))
-import Log (
-    Entry (..),
-    MonadLog,
-    Severity (..),
-    logEntry,
-    logWhile,
- )
+import Log
 import Prelude.Kore
 import Pretty (Pretty (..))
 import Pretty qualified

kore/src/Log/Entry.hs

@@ -27,6 +27,7 @@ import Control.Lens qualified as Lens
 import Control.Lens.Prism (
     Prism,
  )
+import Data.Aeson qualified as JSON
 import Data.Proxy (
     Proxy (..),
  )
@@ -59,6 +60,10 @@ class (Show entry, Typeable entry) => Entry entry where
 
     oneLineDoc :: entry -> Pretty.Doc ann
 
+    oneLineJson :: entry -> JSON.Value
+    default oneLineJson :: entry -> JSON.Value
+    oneLineJson entry = JSON.object ["entry" JSON..= entryTypeText (toEntry entry)]
+
     contextDoc :: entry -> Maybe (Pretty.Doc ann)
     contextDoc = const Nothing