Move encode/decode functions for certs to proper file

Author: tbagrel1

ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Network/NodeToNode.hs

@@ -433,21 +433,6 @@ defaultCodecs ccfg version encAddr decAddr nodeToNodeVersion =
   dec :: SerialiseNodeToNode blk a => forall s. Decoder s a
   dec = decodeNodeToNode ccfg version
 
-  encodePerasRoundNo (PerasRoundNo{..}) =
-    CBOR.encodeWord64 unPerasRoundNo
-
-  decodePerasRoundNo =
-    PerasRoundNo <$> CBOR.decodeWord64
-
-  encodePerasCert p (PerasCert{..}) =
-    encodePerasRoundNo pcCertRound
-      <> (encodePoint (encodeRawHash p) pcCertBoostedBlock)
-
-  decodePerasCert p =
-    PerasCert
-      <$> decodePerasRoundNo
-      <*> (decodePoint (decodeRawHash p))
-
 -- | Identity codecs used in tests.
 identityCodecs ::
   Monad m =>

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/SupportsPeras.hs

@@ -4,6 +4,7 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
@@ -14,14 +15,22 @@ module Ouroboros.Consensus.Block.SupportsPeras
   , boostPerCert
   , BlockSupportsPeras (..)
   , PerasCert (..)
+  , encodePerasRoundNo
+  , decodePerasRoundNo
+  , encodePerasCert
+  , decodePerasCert
   ) where
 
+import qualified Codec.CBOR.Decoding as CBOR
+import qualified Codec.CBOR.Encoding as CBOR
 import Data.Monoid (Sum (..))
+import Data.Proxy (Proxy)
 import Data.Word (Word64)
 import GHC.Generics (Generic)
 import NoThunks.Class
 import Ouroboros.Consensus.Block.Abstract
 import Ouroboros.Consensus.Util.Condense
+import Ouroboros.Network.Block (decodePoint, encodePoint)
 import Quiet (Quiet (..))
 
 newtype PerasRoundNo = PerasRoundNo {unPerasRoundNo :: Word64}
@@ -66,3 +75,22 @@ instance StandardHash blk => BlockSupportsPeras blk where
 
   perasCertRound = pcCertRound
   perasCertBoostedBlock = pcCertBoostedBlock
+
+encodePerasRoundNo :: PerasRoundNo -> CBOR.Encoding
+encodePerasRoundNo (PerasRoundNo{..}) =
+  CBOR.encodeWord64 unPerasRoundNo
+
+decodePerasRoundNo :: forall s. CBOR.Decoder s PerasRoundNo
+decodePerasRoundNo =
+  PerasRoundNo <$> CBOR.decodeWord64
+
+encodePerasCert :: forall blk. ConvertRawHash blk => Proxy blk -> PerasCert blk -> CBOR.Encoding
+encodePerasCert p (PerasCert{..}) =
+  encodePerasRoundNo pcCertRound
+    <> (encodePoint (encodeRawHash p) pcCertBoostedBlock)
+
+decodePerasCert :: forall s blk. ConvertRawHash blk => Proxy blk -> CBOR.Decoder s (PerasCert blk)
+decodePerasCert p =
+  PerasCert
+    <$> decodePerasRoundNo
+    <*> (decodePoint (decodeRawHash p))