Add some instance for data Certificate era

- SerialiseAsCBOR
- HasTypeProxy
- HasTextEnvelope

Author: Jimbo4350

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyBasedEra.hs

@@ -226,6 +226,7 @@ type ShelleyBasedEraConstraints era =
   , L.HashAnnotated (L.TxBody (ShelleyLedgerEra era)) L.EraIndependentTxBody
   , L.ShelleyEraTxCert (ShelleyLedgerEra era)
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
+  , FromCBOR (L.TxCert (ShelleyLedgerEra era))
   , HasTypeProxy era
   , IsCardanoEra era
   , IsShelleyBasedEra era

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Certificate.hs

@@ -1,9 +1,15 @@
 {-# LANGUAGE EmptyCase #-}
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TupleSections #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 module Cardano.Api.Experimental.Tx.Internal.Certificate
   ( Certificate (..)
@@ -17,22 +23,28 @@ import Cardano.Api.Address qualified as Api
 import Cardano.Api.Certificate.Internal qualified as Api
 import Cardano.Api.Era.Internal.Eon.Convert
 import Cardano.Api.Era.Internal.Eon.ConwayEraOnwards
+import Cardano.Api.Era.Internal.Eon.ShelleyBasedEra
 import Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra qualified as Api
 import Cardano.Api.Experimental.Era
 import Cardano.Api.Experimental.Plutus.Internal.Script qualified as Exp
 import Cardano.Api.Experimental.Plutus.Internal.ScriptWitness qualified as Exp
 import Cardano.Api.Experimental.Simple.Script qualified as Exp
 import Cardano.Api.Experimental.Tx.Internal.AnyWitness
+import Cardano.Api.HasTypeProxy
 import Cardano.Api.Ledger qualified as L
 import Cardano.Api.Plutus.Internal.Script
 import Cardano.Api.Plutus.Internal.Script qualified as Api
+import Cardano.Api.Serialise.Cbor
+import Cardano.Api.Serialise.TextEnvelope.Internal
 import Cardano.Api.Tx.Internal.Body (TxCertificates (..))
 import Cardano.Api.Tx.Internal.Body qualified as Api
 
+import Cardano.Binary qualified as CBOR
 import Cardano.Ledger.Allegra.Scripts qualified as L
 import Cardano.Ledger.Plutus.Language qualified as L
 import Cardano.Ledger.Plutus.Language qualified as Plutus
 
+import Data.Typeable
 import GHC.IsList
 
 data Certificate era where
@@ -44,6 +56,31 @@ deriving instance Eq (Certificate era)
 
 deriving instance Ord (Certificate era)
 
+instance
+  ( Typeable ledgerera
+  , IsShelleyBasedEra era
+  , ShelleyLedgerEra era ~ ledgerera
+  )
+  => HasTextEnvelope (Certificate ledgerera)
+  where
+  textEnvelopeType _ = "Certificate"
+
+instance Typeable era => HasTypeProxy (Certificate era) where
+  data AsType (Certificate era) = AsCertificate
+  proxyToAsType _ = AsCertificate
+
+instance
+  ( Typeable ledgerera
+  , IsShelleyBasedEra era
+  , ShelleyLedgerEra era ~ ledgerera
+  )
+  => SerialiseAsCBOR (Certificate ledgerera)
+  where
+  serialiseToCBOR (Certificate cert) =
+    CBOR.serialize' cert
+  deserialiseFromCBOR _ bs =
+    shelleyBasedEraConstraints (shelleyBasedEra @era) $ Certificate <$> CBOR.decodeFull' bs
+
 convertToOldApiCertificate :: Era era -> Certificate (LedgerEra era) -> Api.Certificate era
 convertToOldApiCertificate ConwayEra (Certificate cert) =
   Api.ConwayCertificate ConwayEraOnwardsConway cert