Switch to if/then/else instead of case guards

cardano-scaling · Feb 21, 2023 · d7d2eed · d7d2eed
1 parent fce9a0f
commit d7d2eed
Showing 1 changed file with 14 additions and 11 deletions.
diff --git a/hydra-node/src/Hydra/HeadLogic.hs b/hydra-node/src/Hydra/HeadLogic.hs
@@ -738,13 +738,15 @@ onOpenNetworkReqSn env ledger st otherParty sn txs =
           )
           [NetworkEffect $ AckSn party snapshotSignature sn]
  where
-  requireReqSn cont
-    | sn == seenSn + 1 && isLeader parameters otherParty sn = cont
-    | otherwise = Error $ RequireFailed "requireReqSn"
+  requireReqSn continue =
+    if sn == seenSn + 1 && isLeader parameters otherParty sn
+      then continue
+      else Error $ RequireFailed "requireReqSn"
 
-  waitNoSnapshotInFlight cont
-    | confSn == seenSn = cont
-    | otherwise = Wait $ WaitOnSnapshotNumber seenSn
+  waitNoSnapshotInFlight continue =
+    if confSn == seenSn
+      then continue
+      else Wait $ WaitOnSnapshotNumber seenSn
 
   waitApplyTxs cont =
     case applyTransactions ledger confirmedUTxO txs of
@@ -831,14 +833,15 @@ onOpenNetworkAckSn env openState otherParty snapshotSignature sn =
  where
   seenSn = seenSnapshotNumber seenSnapshot
 
-  requireAckSn sigs cont
-    | sn `elem` [seenSn, seenSn + 1] && not (Map.member otherParty sigs) = cont
-    | otherwise = Error $ RequireFailed "requireReqSn"
+  requireAckSn sigs continue =
+    if sn `elem` [seenSn, seenSn + 1] && not (Map.member otherParty sigs)
+      then continue
+      else Error $ RequireFailed "requireReqSn"
 
-  waitOnSeenSnapshot cont =
+  waitOnSeenSnapshot continue =
     case seenSnapshot of
       SeenSnapshot snapshot sigs
-        | seenSn == sn -> cont snapshot sigs
+        | seenSn == sn -> continue snapshot sigs
       _ -> Wait WaitOnSeenSnapshot
 
   ifAllMembersHaveSigned snapshot sigs' cont =