🎨 automated ormolu commit

lsrcz · Mar 15, 2024 · 8ef91dc · 8ef91dc
1 parent 349a77a
commit 8ef91dc
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/Grisette/Core/Data/Union.hs b/src/Grisette/Core/Data/Union.hs
@@ -81,16 +81,16 @@ data Union a
     UnionSingle a
   | -- | A if value
     UnionIf
-      -- | Cached leftmost value
       a
-      -- | Is merged invariant already maintained?
+      -- ^ Cached leftmost value
       !Bool
-      -- | If condition
+      -- ^ Is merged invariant already maintained?
       !SymBool
-      -- | True branch
+      -- ^ If condition
       (Union a)
-      -- | False branch
+      -- ^ True branch
       (Union a)
+      -- ^ False branch
   deriving (Generic, Eq, Lift, Generic1)
   deriving (Functor)