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