Move delegating pattern synonyms in the lib

Author: paolino

lib/unit/test/unit/Cardano/Wallet/DB/Store/Delegations/StoreSpec.hs

@@ -40,9 +40,16 @@ import Cardano.Wallet.DB.Store.Delegations.Store
     ( mkStoreDelegations
     )
 import Cardano.Wallet.Delegation.Model
-    ( Operation (..)
-    , Status (..)
-    , Transition (..)
+    ( Status (Inactive)
+    , pattern Delegate
+    , pattern DelegateAndVote
+    , pattern Delegating
+    , pattern DelegatingAndVoting
+    , pattern Deregister'
+    , pattern Register
+    , pattern Registered
+    , pattern Vote
+    , pattern Voting
     , status
     )
 import Cardano.Wallet.Delegation.ModelSpec
@@ -112,34 +119,6 @@ conf =
         , genNewDRep = \xs -> arbitrary `suchThat` (not . (`elem` xs))
         }
 
-pattern Register :: slot -> Operation slot drep pool
-pattern Register i = ApplyTransition (VoteAndDelegate Nothing Nothing) i
-
-pattern Delegate :: pool -> slot -> Operation slot drep pool
-pattern Delegate p i = ApplyTransition (VoteAndDelegate Nothing (Just p)) i
-
-pattern Vote :: drep -> slot -> Operation slot drep pool
-pattern Vote v i = ApplyTransition (VoteAndDelegate (Just v) Nothing) i
-
-pattern Deregister' :: slot -> Operation slot drep pool
-pattern Deregister' i = ApplyTransition Deregister i
-
-pattern DelegateAndVote :: pool -> drep -> slot -> Operation slot drep pool
-pattern DelegateAndVote p v i
-    = ApplyTransition (VoteAndDelegate (Just v) (Just p)) i
-
-pattern Registered :: Status drep pool
-pattern Registered = Active Nothing Nothing
-
-pattern Delegating :: pool -> Status drep pool
-pattern Delegating p = Active Nothing (Just p)
-
-pattern Voting :: drep -> Status drep pool
-pattern Voting v = Active (Just v) Nothing
-
-pattern DelegatingAndVoting :: pool -> drep -> Status drep pool
-pattern DelegatingAndVoting p v = Active (Just v) (Just p)
-
 units :: WalletProperty
 units = withInitializedWalletProp $ \_ runQ -> do
     [p0 :: PoolId, p1, _p2] <-

lib/wallet/src/Cardano/Wallet/Delegation/Model.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE TypeFamilies #-}
 
 -- |
@@ -12,6 +13,15 @@ module Cardano.Wallet.Delegation.Model
     , Status (..)
     , History
     , status
+    , pattern Register
+    , pattern Delegate
+    , pattern Vote
+    , pattern Deregister'
+    , pattern DelegateAndVote
+    , pattern Registered
+    , pattern Delegating
+    , pattern Voting
+    , pattern DelegatingAndVoting
     ) where
 
 import Prelude
@@ -84,3 +94,31 @@ cut op = fst . Map.spanAntitone op
 -- | Status of the delegation at a given slot.
 status :: Ord slot => slot -> Map slot (Status drep pool) -> Status drep pool
 status x = maybe Inactive snd . Map.lookupMax . cut (<= x)
+
+pattern Register :: slot -> Operation slot drep pool
+pattern Register i = ApplyTransition (VoteAndDelegate Nothing Nothing) i
+
+pattern Delegate :: pool -> slot -> Operation slot drep pool
+pattern Delegate p i = ApplyTransition (VoteAndDelegate Nothing (Just p)) i
+
+pattern Vote :: drep -> slot -> Operation slot drep pool
+pattern Vote v i = ApplyTransition (VoteAndDelegate (Just v) Nothing) i
+
+pattern Deregister' :: slot -> Operation slot drep pool
+pattern Deregister' i = ApplyTransition Deregister i
+
+pattern DelegateAndVote :: pool -> drep -> slot -> Operation slot drep pool
+pattern DelegateAndVote p v i
+    = ApplyTransition (VoteAndDelegate (Just v) (Just p)) i
+
+pattern Registered :: Status drep pool
+pattern Registered = Active Nothing Nothing
+
+pattern Delegating :: pool -> Status drep pool
+pattern Delegating p = Active Nothing (Just p)
+
+pattern Voting :: drep -> Status drep pool
+pattern Voting v = Active (Just v) Nothing
+
+pattern DelegatingAndVoting :: pool -> drep -> Status drep pool
+pattern DelegatingAndVoting p v = Active (Just v) (Just p)