From 839fe34aac1166948b4ebb673d8c8ec506b18af0 Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Tue, 8 Aug 2023 12:25:24 +0200
Subject: [PATCH] Use `ValidityResult` for additional clarity

---
 kore-rpc-types/src/Kore/JsonRpc/Types.hs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types.hs b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
index c63eaee877..9336ad7217 100644
--- a/kore-rpc-types/src/Kore/JsonRpc/Types.hs
+++ b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
@@ -180,6 +180,7 @@ data GetModelResult = GetModelResult
 data SimplifyImplicationResult = SimplifyImplicationResult
     { satisfiable :: SatResult
     , substitution :: Maybe KoreJson
+    { valid :: ValidityResult
     , logs :: Maybe [LogEntry]
     }
     deriving stock (Generic, Show, Eq)
@@ -187,6 +188,15 @@ data SimplifyImplicationResult = SimplifyImplicationResult
         (FromJSON, ToJSON)
         via CustomJSON '[OmitNothingFields, FieldLabelModifier '[CamelToKebab]] SimplifyImplicationResult
 
+data ValidityResult
+    = Valid
+    | Invalid
+    | ValidityUnknown
+    deriving stock (Generic, Show, Eq)
+    deriving
+        (FromJSON, ToJSON)
+        via CustomJSON '[] ValidityResult
+
 data SatResult
     = Sat
     | Unsat