Add COMPLETE pragma for new patterns

IntersectMBO · May 30, 2023 · c7d4ea7 · c7d4ea7
1 parent f9ff50b
commit c7d4ea7
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/eras/conway/impl/src/Cardano/Ledger/Conway/TxCert.hs b/eras/conway/impl/src/Cardano/Ledger/Conway/TxCert.hs
@@ -66,6 +66,11 @@ import Cardano.Ledger.Shelley.TxCert (
   encodeShelleyDelegCert,
   poolTxCertDecoder,
   shelleyTxCertDelegDecoder,
+  pattern DelegStakeTxCert,
+  pattern RegPoolTxCert,
+  pattern RegTxCert,
+  pattern RetirePoolTxCert,
+  pattern UnRegTxCert,
  )
 import Cardano.Ledger.Val (Val (..))
 import Control.DeepSeq (NFData)
@@ -216,6 +221,20 @@ pattern UnRegCommitteeHotTxCert ck <- (getUnRegCommitteeHotTxCert -> Just ck)
   where
     UnRegCommitteeHotTxCert ck = mkUnRegCommitteeHotTxCert ck
 
+{-# COMPLETE
+  RegPoolTxCert
+  , RetirePoolTxCert
+  , RegTxCert
+  , UnRegTxCert
+  , DelegStakeTxCert
+  , RegDepositTxCert
+  , UnRegDepositTxCert
+  , DelegTxCert
+  , RegDepositDelegTxCert
+  , RegCommitteeHotTxCert
+  , UnRegCommitteeHotTxCert
+  #-}
+
 -- | First type argument is the deposit
 data Delegatee c
   = DelegStake !(KeyHash 'StakePool c)

diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxCert.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxCert.hs
@@ -204,6 +204,16 @@ pattern GenesisDelegTxCert genKey genDelegKey vrf <-
     GenesisDelegTxCert genKey genDelegKey vrf =
       mkGenesisDelegTxCert $ GenesisDelegCert genKey genDelegKey vrf
 
+{-# COMPLETE
+  RegPoolTxCert
+  , RetirePoolTxCert
+  , RegTxCert
+  , UnRegTxCert
+  , DelegStakeTxCert
+  , MirTxCert
+  , GenesisDelegTxCert
+  #-}
+
 -- | Genesis key delegation certificate
 data GenesisDelegCert c
   = GenesisDelegCert