| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Api.State.Query
Synopsis
- filterStakePoolDelegsAndRewards ∷ UMap c → Set (Credential 'Staking c) → (Map (Credential 'Staking c) (KeyHash 'StakePool c), Map (Credential 'Staking c) Coin)
- queryStakePoolDelegsAndRewards ∷ NewEpochState era → Set (Credential 'Staking (EraCrypto era)) → (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)), Map (Credential 'Staking (EraCrypto era)) Coin)
- queryGovState ∷ NewEpochState era → GovState era
- queryConstitution ∷ ConwayEraGov era ⇒ NewEpochState era → Constitution era
- queryConstitutionHash ∷ ConwayEraGov era ⇒ NewEpochState era → SafeHash (EraCrypto era) AnchorData
- queryDRepState ∷ NewEpochState era → Set (Credential 'DRepRole (EraCrypto era)) → Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))
- queryDRepStakeDistr ∷ ConwayEraGov era ⇒ NewEpochState era → Set (DRep (EraCrypto era)) → Map (DRep (EraCrypto era)) Coin
- queryCommitteeState ∷ NewEpochState era → CommitteeState era
- queryCommitteeMembersState ∷ ∀ era. ConwayEraGov era ⇒ Set (Credential 'ColdCommitteeRole (EraCrypto era)) → Set (Credential 'HotCommitteeRole (EraCrypto era)) → Set MemberStatus → NewEpochState era → CommitteeMembersState (EraCrypto era)
- queryAccountState ∷ NewEpochState era → AccountState
- data CommitteeMemberState c = CommitteeMemberState {}
- data CommitteeMembersState c = CommitteeMembersState {
- csCommittee ∷ !(Map (Credential 'ColdCommitteeRole c) (CommitteeMemberState c))
- csThreshold ∷ !(Maybe UnitInterval)
- csEpochNo ∷ !EpochNo
- data HotCredAuthStatus c
- data MemberStatus
- data NextEpochChange
- queryCurrentPParams ∷ EraGov era ⇒ NewEpochState era → PParams era
- queryFuturePParams ∷ EraGov era ⇒ NewEpochState era → Maybe (PParams era)
- getNextEpochCommitteeMembers ∷ ConwayEraGov era ⇒ NewEpochState era → Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo
GetFilteredDelegationsAndRewardAccounts
filterStakePoolDelegsAndRewards ∷ UMap c → Set (Credential 'Staking c) → (Map (Credential 'Staking c) (KeyHash 'StakePool c), Map (Credential 'Staking c) Coin) Source #
Filter out stake pool delegations and rewards for a set of stake credentials
queryStakePoolDelegsAndRewards ∷ NewEpochState era → Set (Credential 'Staking (EraCrypto era)) → (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)), Map (Credential 'Staking (EraCrypto era)) Coin) Source #
Uses filterStakePoolDelegsAndRewards to get the same information from the NewEpochState
Implementation for GetFilteredDelegationsAndRewardAccounts query.
GetGovState
queryGovState ∷ NewEpochState era → GovState era Source #
This query returns all of the state related to governance
GetConstitution
queryConstitution ∷ ConwayEraGov era ⇒ NewEpochState era → Constitution era Source #
GetConstitutionHash
queryConstitutionHash ∷ ConwayEraGov era ⇒ NewEpochState era → SafeHash (EraCrypto era) AnchorData Source #
GetDRepState
Arguments
| ∷ NewEpochState era | |
| → Set (Credential 'DRepRole (EraCrypto era)) | Specify a set of DRep credentials whose state should be returned. When this set is empty, states for all of the DReps will be returned. |
| → Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)) |
Query DRep state.
GetDRepStakeDistr
Arguments
| ∷ ConwayEraGov era | |
| ⇒ NewEpochState era | |
| → Set (DRep (EraCrypto era)) | Specify DRep Ids whose stake distribution should be returned. When this set is empty, distributions for all of the DReps will be returned. |
| → Map (DRep (EraCrypto era)) Coin |
Query DRep stake distribution. Note that this can be an expensive query because there is a chance that current distribution has not been fully computed yet.
GetCommitteeState
queryCommitteeState ∷ NewEpochState era → CommitteeState era Source #
Deprecated: In favor of queryCommitteeMembersState
Query committee members
GetCommitteeMembersState
queryCommitteeMembersState Source #
Arguments
| ∷ ∀ era. ConwayEraGov era | |
| ⇒ Set (Credential 'ColdCommitteeRole (EraCrypto era)) | filter by cold credentials (don't filter when empty) |
| → Set (Credential 'HotCommitteeRole (EraCrypto era)) | filter by hot credentials (don't filter when empty) |
| → Set MemberStatus | filter by status (don't filter when empty) (useful, for discovering, for example, only active members) |
| → NewEpochState era | |
| → CommitteeMembersState (EraCrypto era) |
Query committee members. Whenever the system is in No Confidence mode this query will
return Nothing.
GetAccountState
data CommitteeMemberState c Source #
Constructors
| CommitteeMemberState | |
Fields
| |
Instances
data CommitteeMembersState c Source #
Constructors
| CommitteeMembersState | |
Fields
| |
Instances
data HotCredAuthStatus c Source #
Constructors
| MemberAuthorized (Credential 'HotCommitteeRole c) | |
| MemberNotAuthorized | Member enacted, but no hot credential for voting has been registered |
| MemberResigned (Maybe (Anchor c)) |
Instances
data MemberStatus Source #
Constructors
| Active | |
| Expired | |
| Unrecognized | This can happen when a hot credential for an unknown cold credential exists. Such Committee member will be either removed from the state at the next epoch boundary or enacted as a new member. |
Instances
data NextEpochChange Source #
Constructors
| ToBeEnacted | |
| ToBeRemoved | Member will be removed |
| NoChangeExpected | |
| ToBeExpired | |
| TermAdjusted EpochNo |
Instances
GetCurrentPParams
queryCurrentPParams ∷ EraGov era ⇒ NewEpochState era → PParams era Source #
This is a simple lookup into the state for the values of current protocol
parameters. These values can change on the epoch boundary. Use queryFuturePParams to
see if we are aware of any upcoming changes.
GetFuturePParams
queryFuturePParams ∷ EraGov era ⇒ NewEpochState era → Maybe (PParams era) Source #
This query will return values for protocol parameters that are likely to be adopted at the next epoch boundary. It is only when we passed 2 stability windows before the end of the epoch that users can rely on this query to produce stable results.
For testing
getNextEpochCommitteeMembers ∷ ConwayEraGov era ⇒ NewEpochState era → Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo Source #