Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.CertState
Contents
Documentation
data ShelleyCertState era Source #
Constructors
ShelleyCertState | |
Fields
|
Instances
mkShelleyCertState ∷ VState era → PState era → DState era → ShelleyCertState era Source #
shelleyCertDStateL ∷ Lens' (ShelleyCertState era) (DState era) Source #
shelleyCertVStateL ∷ Lens' (ShelleyCertState era) (VState era) Source #
shelleyCertPStateL ∷ Lens' (ShelleyCertState era) (PState era) Source #
shelleyCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ShelleyCertState era → TxBody era → Coin Source #
shelleyCertsTotalRefundsTxBody ∷ EraTxBody era ⇒ PParams era → ShelleyCertState era → TxBody era → Coin Source #
Orphan instances
EraCertState ShelleyEra Source # | |
Associated Types type CertState ShelleyEra = (r ∷ Type) Source # Methods mkCertState ∷ VState ShelleyEra → PState ShelleyEra → DState ShelleyEra → CertState ShelleyEra Source # upgradeCertState ∷ CertState (PreviousEra ShelleyEra) → CertState ShelleyEra Source # certDStateL ∷ Lens' (CertState ShelleyEra) (DState ShelleyEra) Source # certPStateL ∷ Lens' (CertState ShelleyEra) (PState ShelleyEra) Source # certVStateL ∷ Lens' (CertState ShelleyEra) (VState ShelleyEra) Source # obligationCertState ∷ CertState ShelleyEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody ShelleyEra → Coin Source # certsTotalRefundsTxBody ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody ShelleyEra → Coin Source # |