Use patterns to define deltas in delegation ModelSpec

Author: paolino

lib/unit/test/unit/Cardano/Wallet/Delegation/ModelSpec.hs

@@ -1,6 +1,7 @@
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE MonoLocalBinds #-}
+{-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 
@@ -22,7 +23,10 @@ import Cardano.Wallet.Delegation.Model
     ( History
     , Operation (..)
     , Status (Active)
-    , Transition (..)
+    , pattern Delegate
+    , pattern DelegateAndVote
+    , pattern Deregister'
+    , pattern Vote
     )
 import Cardano.Wallet.Delegation.Properties
     ( Step (Step)
@@ -90,10 +94,10 @@ genDelta c h = do
     pool <- genPool c h
     drep <- genRep c h
     elements
-        [ ApplyTransition (VoteAndDelegate (Just drep) (Just pool)) slot
-        , ApplyTransition (VoteAndDelegate Nothing (Just pool)) slot
-        , ApplyTransition (VoteAndDelegate (Just drep) Nothing) slot
-        , ApplyTransition Deregister slot
+        [ DelegateAndVote pool drep slot
+        , Delegate pool slot
+        , Vote drep slot
+        , Deregister' slot
         , Rollback slot
         ]