PerasRoundNo/PerasWeight: add Condense instances

This is purely for concise QuickCheck counterexample output.

Author: amesgen

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

@@ -21,19 +21,26 @@ import Data.Word (Word64)
 import GHC.Generics (Generic)
 import NoThunks.Class
 import Ouroboros.Consensus.Block.Abstract
+import Ouroboros.Consensus.Util.Condense
 import Quiet (Quiet (..))
 
 newtype PerasRoundNo = PerasRoundNo {unPerasRoundNo :: Word64}
   deriving Show via Quiet PerasRoundNo
   deriving stock Generic
   deriving newtype (Eq, Ord, NoThunks)
 
+instance Condense PerasRoundNo where
+  condense = show . unPerasRoundNo
+
 newtype PerasWeight = PerasWeight {unPerasWeight :: Word64}
   deriving Show via Quiet PerasWeight
   deriving stock Generic
   deriving newtype (Eq, Ord, NoThunks)
   deriving (Semigroup, Monoid) via Sum Word64
 
+instance Condense PerasWeight where
+  condense = show . unPerasWeight
+
 -- | TODO this will become a Ledger protocol parameter
 boostPerCert :: PerasWeight
 boostPerCert = PerasWeight 15