{-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -Wno-orphans #-} module Cardano.Ledger.Babbage.State.CertState () where import Cardano.Ledger.Babbage.Era (BabbageEra) import Cardano.Ledger.Shelley.State instance EraCertState BabbageEra where type CertState BabbageEra = ShelleyCertState BabbageEra certDStateL :: Lens' (CertState BabbageEra) (DState BabbageEra) certDStateL = forall era. Lens' (ShelleyCertState era) (DState era) shelleyCertDStateL {-# INLINE certDStateL #-} certPStateL :: Lens' (CertState BabbageEra) (PState BabbageEra) certPStateL = forall era. Lens' (ShelleyCertState era) (PState era) shelleyCertPStateL {-# INLINE certPStateL #-} obligationCertState :: CertState BabbageEra -> Obligations obligationCertState = forall era. EraCertState era => CertState era -> Obligations shelleyObligationCertState certsTotalDepositsTxBody :: EraTxBody BabbageEra => PParams BabbageEra -> CertState BabbageEra -> TxBody BabbageEra -> Coin certsTotalDepositsTxBody = forall era. EraTxBody era => PParams era -> ShelleyCertState era -> TxBody era -> Coin shelleyCertsTotalDepositsTxBody certsTotalRefundsTxBody :: EraTxBody BabbageEra => PParams BabbageEra -> CertState BabbageEra -> TxBody BabbageEra -> Coin certsTotalRefundsTxBody = forall era. EraTxBody era => PParams era -> ShelleyCertState era -> TxBody era -> Coin shelleyCertsTotalRefundsTxBody