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