Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Conway.State
Synopsis
- module Cardano.Ledger.Babbage.State
- data ConwayAccountState era = ConwayAccountState {}
- newtype ConwayAccounts era = ConwayAccounts {
- caStates ∷ Map (Credential 'Staking) (ConwayAccountState era)
- class EraAccounts era ⇒ ConwayEraAccounts era where
- mkConwayAccountState ∷ CompactForm Coin → AccountState era
- dRepDelegationAccountStateL ∷ Lens' (AccountState era) (Maybe DRep)
- accountStateDelegatee ∷ ConwayEraAccounts era ⇒ AccountState era → Maybe Delegatee
- registerConwayAccount ∷ ConwayEraAccounts era ⇒ Credential 'Staking → CompactForm Coin → Maybe Delegatee → Accounts era → Accounts era
- unregisterConwayAccount ∷ EraAccounts era ⇒ Credential 'Staking → Accounts era → (Maybe (AccountState era), Accounts era)
- lookupDRepDelegation ∷ ConwayEraAccounts era ⇒ Credential 'Staking → Accounts era → Maybe DRep
- data ConwayCertState era = ConwayCertState {
- conwayCertVState ∷ !(VState era)
- conwayCertPState ∷ !(PState era)
- conwayCertDState ∷ !(DState era)
- class (EraCertState era, ConwayEraAccounts era) ⇒ ConwayEraCertState era where
- certVStateL ∷ Lens' (CertState era) (VState era)
- csCommitteeCredsL ∷ Lens' (CommitteeState era) (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization)
- epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState)
- mkConwayCertState ∷ ConwayEraCertState era ⇒ VState era → PState era → DState era → CertState era
- conwayCertDStateL ∷ Lens' (ConwayCertState era) (DState era)
- conwayCertPStateL ∷ Lens' (ConwayCertState era) (PState era)
- conwayCertVStateL ∷ Lens' (ConwayCertState era) (VState era)
- conwayObligationCertState ∷ ConwayEraCertState era ⇒ CertState era → Obligations
- conwayCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody era → Coin
- conwayCertsTotalRefundsTxBody ∷ (EraTxBody era, EraAccounts era) ⇒ PParams era → ConwayCertState era → TxBody era → Coin
- newtype ConwayInstantStake era = ConwayInstantStake {}
- conwayInstantStakeCredentialsL ∷ Lens' (ConwayInstantStake era) (Map (Credential 'Staking) (CompactForm Coin))
- addConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era
- deleteConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era
- resolveConwayInstantStake ∷ (EraStake era, InstantStake era ~ ConwayInstantStake era) ⇒ ConwayInstantStake era → Accounts era → Stake
- data VState era = VState {
- vsDReps ∷ !(Map (Credential 'DRepRole) DRepState)
- vsCommitteeState ∷ !(CommitteeState era)
- vsNumDormantEpochs ∷ !EpochNo
- vsDRepsL ∷ Lens' (VState era) (Map (Credential 'DRepRole) DRepState)
- vsCommitteeStateL ∷ Lens' (VState era) (CommitteeState era)
- vsNumDormantEpochsL ∷ Lens' (VState era) EpochNo
- vsActualDRepExpiry ∷ Credential 'DRepRole → VState era → Maybe EpochNo
- lookupDepositVState ∷ VState era → Credential 'DRepRole → Maybe Coin
Documentation
module Cardano.Ledger.Babbage.State
data ConwayAccountState era Source #
Constructors
ConwayAccountState | |
Fields
|
Instances
newtype ConwayAccounts era Source #
Constructors
ConwayAccounts | |
Fields
|
Instances
class EraAccounts era ⇒ ConwayEraAccounts era where Source #
Minimal complete definition
Methods
mkConwayAccountState ∷ CompactForm Coin → AccountState era Source #
default mkConwayAccountState ∷ AccountState era ~ ConwayAccountState era ⇒ CompactForm Coin → AccountState era Source #
dRepDelegationAccountStateL ∷ Lens' (AccountState era) (Maybe DRep) Source #
Instances
accountStateDelegatee ∷ ConwayEraAccounts era ⇒ AccountState era → Maybe Delegatee Source #
registerConwayAccount Source #
Arguments
∷ ConwayEraAccounts era | |
⇒ Credential 'Staking | |
→ CompactForm Coin | Deposit |
→ Maybe Delegatee | |
→ Accounts era | |
→ Accounts era |
unregisterConwayAccount Source #
Arguments
∷ EraAccounts era | |
⇒ Credential 'Staking | Credential to unregister |
→ Accounts era |
|
→ (Maybe (AccountState era), Accounts era) | Returns |
lookupDRepDelegation ∷ ConwayEraAccounts era ⇒ Credential 'Staking → Accounts era → Maybe DRep Source #
data ConwayCertState era Source #
Constructors
ConwayCertState | |
Fields
|
Instances
class (EraCertState era, ConwayEraAccounts era) ⇒ ConwayEraCertState era where Source #
Instances
csCommitteeCredsL ∷ Lens' (CommitteeState era) (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization) Source #
epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState) Source #
mkConwayCertState ∷ ConwayEraCertState era ⇒ VState era → PState era → DState era → CertState era Source #
conwayCertDStateL ∷ Lens' (ConwayCertState era) (DState era) Source #
conwayCertPStateL ∷ Lens' (ConwayCertState era) (PState era) Source #
conwayCertVStateL ∷ Lens' (ConwayCertState era) (VState era) Source #
conwayObligationCertState ∷ ConwayEraCertState era ⇒ CertState era → Obligations Source #
conwayCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody era → Coin Source #
conwayCertsTotalRefundsTxBody ∷ (EraTxBody era, EraAccounts era) ⇒ PParams era → ConwayCertState era → TxBody era → Coin Source #
newtype ConwayInstantStake era Source #
Constructors
ConwayInstantStake | |
Fields |
Instances
conwayInstantStakeCredentialsL ∷ Lens' (ConwayInstantStake era) (Map (Credential 'Staking) (CompactForm Coin)) Source #
addConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era Source #
deleteConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era Source #
resolveConwayInstantStake ∷ (EraStake era, InstantStake era ~ ConwayInstantStake era) ⇒ ConwayInstantStake era → Accounts era → Stake Source #
The state that tracks the voting entities (DReps and Constitutional Committee
members). In the formal ledger specification this type is called GState
Constructors
VState | |
Fields
|
Instances
vsCommitteeStateL ∷ Lens' (VState era) (CommitteeState era) Source #
vsActualDRepExpiry ∷ Credential 'DRepRole → VState era → Maybe EpochNo Source #
lookupDepositVState ∷ VState era → Credential 'DRepRole → Maybe Coin Source #
Function that looks up the deposit for currently registered DRep