Rename RwdAddr to RewardAddress

Following IntersectMBO/formal-ledger-specifications#985

Author: carlostome

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/Orphans.hs

@@ -44,7 +44,7 @@ deriving instance Ord DrepThresholds
 
 deriving instance Ord PParamsUpdate
 
-deriving instance Ord RwdAddr
+deriving instance Ord RewardAddress
 
 deriving instance Ord GovAction
 
@@ -56,7 +56,7 @@ instance NFData a => NFData (HSSet a)
 
 instance NFData PParamsUpdate
 
-instance NFData RwdAddr
+instance NFData RewardAddress
 
 instance NFData GovAction
 
@@ -174,7 +174,7 @@ instance (ToExpr k, ToExpr v) => ToExpr (HSMap k v)
 
 instance ToExpr PParamsUpdate
 
-instance ToExpr RwdAddr
+instance ToExpr RewardAddress
 
 instance ToExpr GovAction
 
@@ -351,7 +351,7 @@ instance SpecNormalize Agda.Rational where
 
 instance SpecNormalize PParamsUpdate
 
-instance SpecNormalize RwdAddr
+instance SpecNormalize RewardAddress
 
 instance SpecNormalize GovAction
 

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs

@@ -397,7 +397,7 @@ instance
         \(cred, Coin amount) -> do
           agdaCred <- toSpecRep cred
           network <- toSpecRep Testnet -- TODO where should this really come from?
-          pure (Agda.RwdAddr network agdaCred, amount)
+          pure (Agda.RewardAddress network agdaCred, amount)
       transHashProtected x h = do
         committee <- toSpecRep x
         agdaLastId <- case h of

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Core.hs

@@ -166,9 +166,9 @@ instance SpecTranslate ctx ExUnits where
   toSpecRep (ExUnits a b) = pure (toInteger a, toInteger b)
 
 instance SpecTranslate ctx RewardAccount where
-  type SpecRep RewardAccount = Agda.RwdAddr
+  type SpecRep RewardAccount = Agda.RewardAddress
 
-  toSpecRep (RewardAccount n c) = Agda.RwdAddr <$> toSpecRep n <*> toSpecRep c
+  toSpecRep (RewardAccount n c) = Agda.RewardAddress <$> toSpecRep n <*> toSpecRep c
 
 instance
   ( SpecRep DataHash ~ Agda.DataHash