Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.State
Documentation
module Cardano.Ledger.State
data ShelleyCertState era Source #
Constructors
ShelleyCertState | |
Fields
|
Instances
mkShelleyCertState ∷ EraCertState era ⇒ PState era → DState era → CertState era Source #
shelleyCertDStateL ∷ Lens' (ShelleyCertState era) (DState era) Source #
shelleyCertPStateL ∷ Lens' (ShelleyCertState era) (PState era) Source #
shelleyObligationCertState ∷ EraCertState era ⇒ CertState era → Obligations Source #
shelleyCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ShelleyCertState era → TxBody era → Coin Source #
shelleyCertsTotalRefundsTxBody ∷ EraTxBody era ⇒ PParams era → ShelleyCertState era → TxBody era → Coin Source #
data ShelleyInstantStake era Source #
Constructors
ShelleyInstantStake | |
Fields
|
Instances
shelleyInstantStakeCredentialsL ∷ Lens' (ShelleyInstantStake era) (Map (Credential 'Staking) (CompactForm Coin)) Source #
addShelleyInstantStake ∷ EraTxOut era ⇒ UTxO era → ShelleyInstantStake era → ShelleyInstantStake era Source #
deleteShelleyInstantStake ∷ EraTxOut era ⇒ UTxO era → ShelleyInstantStake era → ShelleyInstantStake era Source #
resolveShelleyInstantStake ∷ (EraStake era, InstantStake era ~ ShelleyInstantStake era) ⇒ ShelleyInstantStake era → UMap → Stake Source #