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