| 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 :: EraGov era => NewEpochState era -> Maybe (Constitution era)
- queryConstitutionHash :: EraGov era => NewEpochState era -> Maybe (SafeHash (EraCrypto era) AnchorData)
- queryDRepState :: NewEpochState era -> Set (Credential 'DRepRole (EraCrypto era)) -> Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))
- queryDRepStakeDistr :: EraGov era => NewEpochState era -> Set (DRep (EraCrypto era)) -> Map (DRep (EraCrypto era)) Coin
- queryCommitteeState :: NewEpochState era -> CommitteeState era
- queryCommitteeMembersState :: forall era. EraGov era => Set (Credential 'ColdCommitteeRole (EraCrypto era)) -> Set (Credential 'HotCommitteeRole (EraCrypto era)) -> Set MemberStatus -> NewEpochState era -> Maybe (CommitteeMembersState (EraCrypto era))
- data CommitteeMemberState c = CommitteeMemberState {
- cmsHotCredAuthStatus :: !(HotCredAuthStatus c)
- cmsStatus :: !MemberStatus
- cmsExpiration :: !(Maybe EpochNo)
- cmsNextEpochChange :: !NextEpochChange
- data CommitteeMembersState c = CommitteeMembersState {
- csCommittee :: !(Map (Credential 'ColdCommitteeRole c) (CommitteeMemberState c))
- csQuorum :: !UnitInterval
- csEpochNo :: !EpochNo
- data HotCredAuthStatus c
- = MemberAuthorized (Credential 'HotCommitteeRole c)
- | MemberNotAuthorized
- | MemberResigned
- data MemberStatus
- data NextEpochChange
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 :: EraGov era => NewEpochState era -> Maybe (Constitution era) Source #
GetConstitutionHash
queryConstitutionHash :: EraGov era => NewEpochState era -> Maybe (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
| :: EraGov 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
| :: forall era. EraGov 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 | |
| -> Maybe (CommitteeMembersState (EraCrypto era)) |
Query committee members. Whenever the system is in No Confidence mode this query will
return Nothing.
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 |
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 |