| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.Governance
Synopsis
- class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), Share (GovState era) ~ (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole)), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) ⇒ EraGov era where
- type GovState era = (r ∷ Type) | r → era
- emptyGovState ∷ GovState era
- curPParamsGovStateL ∷ Lens' (GovState era) (PParams era)
- prevPParamsGovStateL ∷ Lens' (GovState era) (PParams era)
- futurePParamsGovStateL ∷ Lens' (GovState era) (FuturePParams era)
- obligationGovState ∷ GovState era → Obligations
- data EnactState era = EnactState {
- ensCommittee ∷ !(StrictMaybe (Committee era))
- ensConstitution ∷ !(Constitution era)
- ensCurPParams ∷ !(PParams era)
- ensPrevPParams ∷ !(PParams era)
- ensTreasury ∷ !Coin
- ensWithdrawals ∷ !(Map (Credential 'Staking) Coin)
- ensPrevGovActionIds ∷ !(GovRelation StrictMaybe)
- data RatifyState era = RatifyState {
- rsEnactState ∷ !(EnactState era)
- rsEnacted ∷ !(Seq (GovActionState era))
- rsExpired ∷ !(Set GovActionId)
- rsDelayed ∷ !Bool
- data RatifyEnv era = RatifyEnv {}
- newtype RatifySignal era = RatifySignal {
- unRatifySignal ∷ StrictSeq (GovActionState era)
- data ConwayGovState era = ConwayGovState {
- cgsProposals ∷ !(Proposals era)
- cgsCommittee ∷ !(StrictMaybe (Committee era))
- cgsConstitution ∷ !(Constitution era)
- cgsCurPParams ∷ !(PParams era)
- cgsPrevPParams ∷ !(PParams era)
- cgsFuturePParams ∷ !(FuturePParams era)
- cgsDRepPulsingState ∷ !(DRepPulsingState era)
- predictFuturePParams ∷ (ConwayEraAccounts era, EraStake era) ⇒ ConwayGovState era → ConwayGovState era
- data Committee era = Committee {}
- committeeMembersL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'ColdCommitteeRole) EpochNo → f (Map (Credential 'ColdCommitteeRole) EpochNo)) → Committee era → f (Committee era)
- committeeThresholdL ∷ ∀ era f. Functor f ⇒ (UnitInterval → f UnitInterval) → Committee era → f (Committee era)
- authorizedElectedHotCommitteeCredentials ∷ StrictMaybe (Committee era) → CommitteeState era → Set (Credential 'HotCommitteeRole)
- data GovAction era
- = ParameterChange !(StrictMaybe (GovPurposeId 'PParamUpdatePurpose)) !(PParamsUpdate era) !(StrictMaybe ScriptHash)
- | HardForkInitiation !(StrictMaybe (GovPurposeId 'HardForkPurpose)) !ProtVer
- | TreasuryWithdrawals !(Map RewardAccount Coin) !(StrictMaybe ScriptHash)
- | NoConfidence !(StrictMaybe (GovPurposeId 'CommitteePurpose))
- | UpdateCommittee !(StrictMaybe (GovPurposeId 'CommitteePurpose)) !(Set (Credential 'ColdCommitteeRole)) !(Map (Credential 'ColdCommitteeRole) EpochNo) !UnitInterval
- | NewConstitution !(StrictMaybe (GovPurposeId 'ConstitutionPurpose)) !(Constitution era)
- | InfoAction
- data GovActionState era = GovActionState {
- gasId ∷ !GovActionId
- gasCommitteeVotes ∷ !(Map (Credential 'HotCommitteeRole) Vote)
- gasDRepVotes ∷ !(Map (Credential 'DRepRole) Vote)
- gasStakePoolVotes ∷ !(Map (KeyHash 'StakePool) Vote)
- gasProposalProcedure ∷ !(ProposalProcedure era)
- gasProposedIn ∷ !EpochNo
- gasExpiresAfter ∷ !EpochNo
- newtype GovActionIx = GovActionIx {}
- data GovActionId = GovActionId {}
- data GovActionPurpose
- class ToGovActionPurpose (p ∷ GovActionPurpose)
- isGovActionWithPurpose ∷ ∀ (p ∷ GovActionPurpose) era. ToGovActionPurpose p ⇒ GovAction era → Bool
- data DRepPulsingState era
- = DRPulsing !(DRepPulser era Identity (RatifyState era))
- | DRComplete !(PulsingSnapshot era) !(RatifyState era)
- data DRepPulser era (m ∷ Type → Type) ans where
- DRepPulser ∷ ∀ era ans (m ∷ Type → Type). (ans ~ RatifyState era, m ~ Identity, RunConwayRatify era) ⇒ {..} → DRepPulser era m ans
- govActionIdToText ∷ GovActionId → Text
- data Voter
- data Vote
- data VotingProcedure era = VotingProcedure {
- vProcVote ∷ !Vote
- vProcAnchor ∷ !(StrictMaybe Anchor)
- newtype VotingProcedures era = VotingProcedures {
- unVotingProcedures ∷ Map Voter (Map GovActionId (VotingProcedure era))
- foldlVotingProcedures ∷ (c → Voter → GovActionId → VotingProcedure era → c) → c → VotingProcedures era → c
- foldrVotingProcedures ∷ (Voter → GovActionId → VotingProcedure era → c → c) → c → VotingProcedures era → c
- data ProposalProcedure era = ProposalProcedure {
- pProcDeposit ∷ !Coin
- pProcReturnAddr ∷ !RewardAccount
- pProcGovAction ∷ !(GovAction era)
- pProcAnchor ∷ !Anchor
- data Anchor = Anchor {
- anchorUrl ∷ !Url
- anchorDataHash ∷ !(SafeHash AnchorData)
- newtype AnchorData = AnchorData ByteString
- indexedGovProps ∷ Seq (ProposalProcedure era) → Seq (GovActionIx, ProposalProcedure era)
- data Constitution era = Constitution {}
- class (EraGov era, EraStake era, ConwayEraAccounts era) ⇒ ConwayEraGov era where
- constitutionGovStateL ∷ Lens' (GovState era) (Constitution era)
- proposalsGovStateL ∷ Lens' (GovState era) (Proposals era)
- drepPulsingStateGovStateL ∷ Lens' (GovState era) (DRepPulsingState era)
- committeeGovStateL ∷ Lens' (GovState era) (StrictMaybe (Committee era))
- votingStakePoolThreshold ∷ ConwayEraPParams era ⇒ RatifyState era → GovAction era → StrictMaybe UnitInterval
- votingDRepThreshold ∷ ConwayEraPParams era ⇒ RatifyState era → GovAction era → StrictMaybe UnitInterval
- votingCommitteeThreshold ∷ ConwayEraPParams era ⇒ EpochNo → RatifyState era → CommitteeState era → GovAction era → StrictMaybe UnitInterval
- isStakePoolVotingAllowed ∷ ConwayEraPParams era ⇒ GovAction era → Bool
- isDRepVotingAllowed ∷ ConwayEraPParams era ⇒ GovAction era → Bool
- isCommitteeVotingAllowed ∷ ConwayEraPParams era ⇒ EpochNo → CommitteeState era → GovAction era → Bool
- reorderActions ∷ StrictSeq (GovActionState era) → StrictSeq (GovActionState era)
- actionPriority ∷ GovAction era → Int
- data Proposals era
- mkProposals ∷ (EraPParams era, MonadFail m) ⇒ GovRelation StrictMaybe → OMap GovActionId (GovActionState era) → m (Proposals era)
- unsafeMkProposals ∷ (HasCallStack, EraPParams era) ⇒ GovRelation StrictMaybe → OMap GovActionId (GovActionState era) → Proposals era
- newtype GovPurposeId (p ∷ GovActionPurpose) = GovPurposeId {}
- data PRoot a = PRoot {
- prRoot ∷ !(StrictMaybe a)
- prChildren ∷ !(Set a)
- data PEdges a = PEdges {
- peParent ∷ !(StrictMaybe a)
- peChildren ∷ !(Set a)
- newtype PGraph a = PGraph {}
- pRootsL ∷ ∀ era f. Functor f ⇒ (GovRelation PRoot → f (GovRelation PRoot)) → Proposals era → f (Proposals era)
- pPropsL ∷ ∀ era f. Functor f ⇒ (OMap GovActionId (GovActionState era) → f (OMap GovActionId (GovActionState era))) → Proposals era → f (Proposals era)
- prRootL ∷ ∀ a f. Functor f ⇒ (StrictMaybe a → f (StrictMaybe a)) → PRoot a → f (PRoot a)
- prChildrenL ∷ ∀ a f. Functor f ⇒ (Set a → f (Set a)) → PRoot a → f (PRoot a)
- peChildrenL ∷ ∀ a f. Functor f ⇒ (Set a → f (Set a)) → PEdges a → f (PEdges a)
- pGraphL ∷ ∀ era f. Functor f ⇒ (GovRelation PGraph → f (GovRelation PGraph)) → Proposals era → f (Proposals era)
- pGraphNodesL ∷ ∀ a f. Functor f ⇒ (Map a (PEdges a) → f (Map a (PEdges a))) → PGraph a → f (PGraph a)
- data GovRelation (f ∷ Type → Type) = GovRelation {
- grPParamUpdate ∷ !(f (GovPurposeId 'PParamUpdatePurpose))
- grHardFork ∷ !(f (GovPurposeId 'HardForkPurpose))
- grCommittee ∷ !(f (GovPurposeId 'CommitteePurpose))
- grConstitution ∷ !(f (GovPurposeId 'ConstitutionPurpose))
- hoistGovRelation ∷ (∀ a. f a → g a) → GovRelation f → GovRelation g
- withGovActionParent ∷ GovActionState era → a → (∀ (p ∷ GovActionPurpose). (∀ (f1 ∷ Type → Type) (f2 ∷ Type → Type). Functor f2 ⇒ (f1 (GovPurposeId p) → f2 (f1 (GovPurposeId p))) → GovRelation f1 → f2 (GovRelation f1)) → StrictMaybe (GovPurposeId p) → GovPurposeId p → a) → a
- toPrevGovActionIds ∷ GovRelation PRoot → GovRelation StrictMaybe
- fromPrevGovActionIds ∷ GovRelation StrictMaybe → GovRelation PRoot
- grPParamUpdateL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'PParamUpdatePurpose) → f2 (f1 (GovPurposeId 'PParamUpdatePurpose))) → GovRelation f1 → f2 (GovRelation f1)
- grHardForkL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'HardForkPurpose) → f2 (f1 (GovPurposeId 'HardForkPurpose))) → GovRelation f1 → f2 (GovRelation f1)
- grCommitteeL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'CommitteePurpose) → f2 (f1 (GovPurposeId 'CommitteePurpose))) → GovRelation f1 → f2 (GovRelation f1)
- grConstitutionL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'ConstitutionPurpose) → f2 (f1 (GovPurposeId 'ConstitutionPurpose))) → GovRelation f1 → f2 (GovRelation f1)
- proposalsActions ∷ Proposals era → StrictSeq (GovActionState era)
- proposalsDeposits ∷ Proposals era → Map (Credential 'Staking) (CompactForm Coin)
- proposalsAddAction ∷ (EraPParams era, HasCallStack) ⇒ GovActionState era → Proposals era → Maybe (Proposals era)
- proposalsRemoveWithDescendants ∷ EraPParams era ⇒ Set GovActionId → Proposals era → (Proposals era, Map GovActionId (GovActionState era))
- proposalsAddVote ∷ Voter → Vote → GovActionId → Proposals era → Proposals era
- proposalsIds ∷ Proposals era → StrictSeq GovActionId
- proposalsApplyEnactment ∷ EraPParams era ⇒ Seq (GovActionState era) → Set GovActionId → Proposals era → (Proposals era, Map GovActionId (GovActionState era), Map GovActionId (GovActionState era), Map GovActionId (GovActionState era))
- proposalsSize ∷ Proposals era → Int
- proposalsLookupId ∷ GovActionId → Proposals era → Maybe (GovActionState era)
- proposalsActionsMap ∷ Proposals era → Map GovActionId (GovActionState era)
- proposalsWithPurpose ∷ ∀ (p ∷ GovActionPurpose) era. ToGovActionPurpose p ⇒ (∀ (f1 ∷ Type → Type) (f2 ∷ Type → Type). Functor f2 ⇒ (f1 (GovPurposeId p) → f2 (f1 (GovPurposeId p))) → GovRelation f1 → f2 (GovRelation f1)) → Proposals era → Map (GovPurposeId p) (GovActionState era)
- cgsProposalsL ∷ ∀ era f. Functor f ⇒ (Proposals era → f (Proposals era)) → ConwayGovState era → f (ConwayGovState era)
- cgsDRepPulsingStateL ∷ ∀ era f. Functor f ⇒ (DRepPulsingState era → f (DRepPulsingState era)) → ConwayGovState era → f (ConwayGovState era)
- cgsCurPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → ConwayGovState era → f (ConwayGovState era)
- cgsPrevPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → ConwayGovState era → f (ConwayGovState era)
- cgsFuturePParamsL ∷ ∀ era f. Functor f ⇒ (FuturePParams era → f (FuturePParams era)) → ConwayGovState era → f (ConwayGovState era)
- cgsCommitteeL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (Committee era) → f (StrictMaybe (Committee era))) → ConwayGovState era → f (ConwayGovState era)
- cgsConstitutionL ∷ ∀ era f. Functor f ⇒ (Constitution era → f (Constitution era)) → ConwayGovState era → f (ConwayGovState era)
- ensCommitteeL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (Committee era) → f (StrictMaybe (Committee era))) → EnactState era → f (EnactState era)
- ensConstitutionL ∷ ∀ era f. Functor f ⇒ (Constitution era → f (Constitution era)) → EnactState era → f (EnactState era)
- ensCurPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → EnactState era → f (EnactState era)
- ensPrevPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → EnactState era → f (EnactState era)
- ensWithdrawalsL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'Staking) Coin → f (Map (Credential 'Staking) Coin)) → EnactState era → f (EnactState era)
- ensTreasuryL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → EnactState era → f (EnactState era)
- ensPrevGovActionIdsL ∷ ∀ era f. Functor f ⇒ (GovRelation StrictMaybe → f (GovRelation StrictMaybe)) → EnactState era → f (EnactState era)
- ensPrevPParamUpdateL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'PParamUpdatePurpose) → f (StrictMaybe (GovPurposeId 'PParamUpdatePurpose))) → EnactState era → f (EnactState era)
- ensPrevHardForkL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'HardForkPurpose) → f (StrictMaybe (GovPurposeId 'HardForkPurpose))) → EnactState era → f (EnactState era)
- ensPrevCommitteeL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'CommitteePurpose) → f (StrictMaybe (GovPurposeId 'CommitteePurpose))) → EnactState era → f (EnactState era)
- ensPrevConstitutionL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'ConstitutionPurpose) → f (StrictMaybe (GovPurposeId 'ConstitutionPurpose))) → EnactState era → f (EnactState era)
- ensProtVerL ∷ EraPParams era ⇒ Lens' (EnactState era) ProtVer
- rsEnactStateL ∷ ∀ era f. Functor f ⇒ (EnactState era → f (EnactState era)) → RatifyState era → f (RatifyState era)
- rsExpiredL ∷ ∀ era f. Functor f ⇒ (Set GovActionId → f (Set GovActionId)) → RatifyState era → f (RatifyState era)
- rsEnactedL ∷ ∀ era f. Functor f ⇒ (Seq (GovActionState era) → f (Seq (GovActionState era))) → RatifyState era → f (RatifyState era)
- rsDelayedL ∷ ∀ era f. Functor f ⇒ (Bool → f Bool) → RatifyState era → f (RatifyState era)
- constitutionScriptL ∷ ∀ era f. Functor f ⇒ (StrictMaybe ScriptHash → f (StrictMaybe ScriptHash)) → Constitution era → f (Constitution era)
- constitutionAnchorL ∷ ∀ era f. Functor f ⇒ (Anchor → f Anchor) → Constitution era → f (Constitution era)
- gasIdL ∷ ∀ era f. Functor f ⇒ (GovActionId → f GovActionId) → GovActionState era → f (GovActionState era)
- gasDepositL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → GovActionState era → f (GovActionState era)
- gasCommitteeVotesL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'HotCommitteeRole) Vote → f (Map (Credential 'HotCommitteeRole) Vote)) → GovActionState era → f (GovActionState era)
- gasDRepVotesL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'DRepRole) Vote → f (Map (Credential 'DRepRole) Vote)) → GovActionState era → f (GovActionState era)
- gasStakePoolVotesL ∷ ∀ era f. Functor f ⇒ (Map (KeyHash 'StakePool) Vote → f (Map (KeyHash 'StakePool) Vote)) → GovActionState era → f (GovActionState era)
- gasExpiresAfterL ∷ ∀ era f. Functor f ⇒ (EpochNo → f EpochNo) → GovActionState era → f (GovActionState era)
- gasActionL ∷ ∀ era f. Functor f ⇒ (GovAction era → f (GovAction era)) → GovActionState era → f (GovActionState era)
- gasReturnAddrL ∷ ∀ era f. Functor f ⇒ (RewardAccount → f RewardAccount) → GovActionState era → f (GovActionState era)
- gasProposedInL ∷ ∀ era f. Functor f ⇒ (EpochNo → f EpochNo) → GovActionState era → f (GovActionState era)
- gasProposalProcedureL ∷ ∀ era f. Functor f ⇒ (ProposalProcedure era → f (ProposalProcedure era)) → GovActionState era → f (GovActionState era)
- gasDeposit ∷ GovActionState era → Coin
- gasAction ∷ GovActionState era → GovAction era
- gasReturnAddr ∷ GovActionState era → RewardAccount
- pProcDepositL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → ProposalProcedure era → f (ProposalProcedure era)
- pProcGovActionL ∷ ∀ era f. Functor f ⇒ (GovAction era → f (GovAction era)) → ProposalProcedure era → f (ProposalProcedure era)
- pProcReturnAddrL ∷ ∀ era f. Functor f ⇒ (RewardAccount → f RewardAccount) → ProposalProcedure era → f (ProposalProcedure era)
- pProcAnchorL ∷ ∀ era f. Functor f ⇒ (Anchor → f Anchor) → ProposalProcedure era → f (ProposalProcedure era)
- newEpochStateDRepPulsingStateL ∷ ConwayEraGov era ⇒ Lens' (NewEpochState era) (DRepPulsingState era)
- epochStateDRepPulsingStateL ∷ ConwayEraGov era ⇒ Lens' (EpochState era) (DRepPulsingState era)
- epochStateStakeDistrL ∷ ∀ era f. Functor f ⇒ (VMap VB VP (Credential 'Staking) (CompactForm Coin) → f (VMap VB VP (Credential 'Staking) (CompactForm Coin))) → EpochState era → f (EpochState era)
- epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState)
- pulseDRepPulsingState ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → DRepPulsingState era
- completeDRepPulsingState ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → DRepPulsingState era
- extractDRepPulsingState ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → RatifyState era
- forceDRepPulsingState ∷ ConwayEraGov era ⇒ NewEpochState era → NewEpochState era
- finishDRepPulser ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → (PulsingSnapshot era, RatifyState era)
- computeDRepDistr ∷ (EraStake era, ConwayEraAccounts era) ⇒ InstantStake era → Map (Credential 'DRepRole) DRepState → Map (Credential 'Staking) (CompactForm Coin) → PoolDistr → Map DRep (CompactForm Coin) → Map (Credential 'Staking) (AccountState era) → (Map DRep (CompactForm Coin), PoolDistr)
- getRatifyState ∷ (ConwayEraAccounts era, EraStake era) ⇒ ConwayGovState era → RatifyState era
- conwayGovStateDRepDistrG ∷ (ConwayEraAccounts era, EraStake era) ⇒ SimpleGetter (ConwayGovState era) (Map DRep (CompactForm Coin))
- psDRepDistrG ∷ (EraStake era, ConwayEraAccounts era) ⇒ SimpleGetter (DRepPulsingState era) (Map DRep (CompactForm Coin))
- data PulsingSnapshot era = PulsingSnapshot {
- psProposals ∷ !(StrictSeq (GovActionState era))
- psDRepDistr ∷ !(Map DRep (CompactForm Coin))
- psDRepState ∷ !(Map (Credential 'DRepRole) DRepState)
- psPoolDistr ∷ Map (KeyHash 'StakePool) (CompactForm Coin)
- setCompleteDRepPulsingState ∷ ConwayEraGov era ⇒ PulsingSnapshot era → RatifyState era → EpochState era → EpochState era
- setFreshDRepPulsingState ∷ ∀ era (m ∷ Type → Type). (GovState era ~ ConwayGovState era, Monad m, RunConwayRatify era, ConwayEraGov era, ConwayEraCertState era) ⇒ EpochNo → PoolDistr → EpochState era → ReaderT Globals m (EpochState era)
- psProposalsL ∷ ∀ era f. Functor f ⇒ (StrictSeq (GovActionState era) → f (StrictSeq (GovActionState era))) → PulsingSnapshot era → f (PulsingSnapshot era)
- psDRepDistrL ∷ ∀ era f. Functor f ⇒ (Map DRep (CompactForm Coin) → f (Map DRep (CompactForm Coin))) → PulsingSnapshot era → f (PulsingSnapshot era)
- psDRepStateL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'DRepRole) DRepState → f (Map (Credential 'DRepRole) DRepState)) → PulsingSnapshot era → f (PulsingSnapshot era)
- psPoolDistrL ∷ ∀ era f. Functor f ⇒ (Map (KeyHash 'StakePool) (CompactForm Coin) → f (Map (KeyHash 'StakePool) (CompactForm Coin))) → PulsingSnapshot era → f (PulsingSnapshot era)
- class (STS (ConwayRATIFY era), Signal (ConwayRATIFY era) ~ RatifySignal era, BaseM (ConwayRATIFY era) ~ Reader Globals, Environment (ConwayRATIFY era) ~ RatifyEnv era, State (ConwayRATIFY era) ~ RatifyState era, PredicateFailure (ConwayRATIFY era) ~ Void) ⇒ RunConwayRatify era where
- runConwayRatify ∷ Globals → RatifyEnv era → RatifyState era → RatifySignal era → RatifyState era
- govStatePrevGovActionIds ∷ ConwayEraGov era ⇒ GovState era → GovRelation StrictMaybe
- mkEnactState ∷ ConwayEraGov era ⇒ GovState era → EnactState era
- ratifySignalL ∷ ∀ era f. Functor f ⇒ (StrictSeq (GovActionState era) → f (StrictSeq (GovActionState era))) → RatifySignal era → f (RatifySignal era)
- reDRepDistrL ∷ ∀ era f. Functor f ⇒ (Map DRep (CompactForm Coin) → f (Map DRep (CompactForm Coin))) → RatifyEnv era → f (RatifyEnv era)
- reDRepStateL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'DRepRole) DRepState → f (Map (Credential 'DRepRole) DRepState)) → RatifyEnv era → f (RatifyEnv era)
- reCurrentEpochL ∷ ∀ era f. Functor f ⇒ (EpochNo → f EpochNo) → RatifyEnv era → f (RatifyEnv era)
- reCommitteeStateL ∷ ∀ era f. Functor f ⇒ (CommitteeState era → f (CommitteeState era)) → RatifyEnv era → f (RatifyEnv era)
- data DefaultVote
- defaultStakePoolVote ∷ ConwayEraAccounts era ⇒ KeyHash 'StakePool → Map (KeyHash 'StakePool) StakePoolState → Accounts era → DefaultVote
- translateProposals ∷ (TranslateEra era GovActionState, TranslationError era GovActionState ~ Void) ⇒ TranslationContext era → Proposals (PreviousEra era) → Proposals era
- pparamsUpdateThreshold ∷ ConwayEraPParams era ⇒ DRepVotingThresholds → PParamsUpdate era → UnitInterval
- data TreeMaybe a = TreeMaybe {
- unTreeMaybe ∷ Tree (StrictMaybe a)
- toGovRelationTree ∷ HasCallStack ⇒ Proposals era → GovRelation TreeMaybe
- toGovRelationTreeEither ∷ Proposals era → Either String (GovRelation TreeMaybe)
- showGovActionType ∷ GovAction era → String
Documentation
class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), Share (GovState era) ~ (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole)), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) ⇒ EraGov era where Source #
Minimal complete definition
curPParamsGovStateL, prevPParamsGovStateL, futurePParamsGovStateL, obligationGovState
Methods
emptyGovState ∷ GovState era Source #
Construct empty governance state
curPParamsGovStateL ∷ Lens' (GovState era) (PParams era) Source #
Lens for accessing current protocol parameters
prevPParamsGovStateL ∷ Lens' (GovState era) (PParams era) Source #
Lens for accessing the previous protocol parameters
futurePParamsGovStateL ∷ Lens' (GovState era) (FuturePParams era) Source #
Lens for accessing the future protocol parameters.
This lens will produce DefinitePParamsUpdate whenever we are absolutely sure that
the new PParams will be updated. Which means there will be no chance of a
DefinitePParamsUpdate value until we are past the point of no return, which is 2
stability windows before the end of the epoch. This lens is mostly intended for
ledger usage and nextEpochUpdatedPParams should be used instead whenever definite
results are desired.
obligationGovState ∷ GovState era → Obligations Source #
Instances
data EnactState era Source #
Constructors
| EnactState | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toJSON ∷ EnactState era → Value Source # toEncoding ∷ EnactState era → Encoding Source # toJSONList ∷ [EnactState era] → Value Source # toEncodingList ∷ [EnactState era] → Encoding Source # omitField ∷ EnactState era → Bool Source # | |||||
| EraPParams era ⇒ FromCBOR (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| EraPParams era ⇒ ToCBOR (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toCBOR ∷ EnactState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source # | |||||
| EraPParams era ⇒ DecCBOR (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| EraPParams era ⇒ DecShareCBOR (EnactState era) Source # | |||||
| EraPParams era ⇒ EncCBOR (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ EnactState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toKeyValuePairs ∷ KeyValue e kv ⇒ EnactState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods def ∷ EnactState era Source # | |||||
| EraPParams era ⇒ NFData (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ EnactState era → () # | |||||
| Generic (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types
Methods from ∷ EnactState era → Rep (EnactState era) x # to ∷ Rep (EnactState era) x → EnactState era # | |||||
| (Era era, Show (PParams era)) ⇒ Show (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → EnactState era → ShowS # show ∷ EnactState era → String # showList ∷ [EnactState era] → ShowS # | |||||
| (Era era, Eq (PParams era)) ⇒ Eq (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ EnactState era → EnactState era → Bool # (/=) ∷ EnactState era → EnactState era → Bool # | |||||
| EraPParams era ⇒ NoThunks (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| type Share (EnactState era) Source # | |||||
| type Rep (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "EnactState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ensCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: (S1 ('MetaSel ('Just "ensConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)) :*: S1 ('MetaSel ('Just "ensCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)))) :*: ((S1 ('MetaSel ('Just "ensPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ensTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "ensWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin)) :*: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe)))))) | |||||
data RatifyState era Source #
RatifyState stores information about what will happen to the active
governance actions at the next epoch boundary.
Constructors
| RatifyState | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toJSON ∷ RatifyState era → Value Source # toEncoding ∷ RatifyState era → Encoding Source # toJSONList ∷ [RatifyState era] → Value Source # toEncodingList ∷ [RatifyState era] → Encoding Source # omitField ∷ RatifyState era → Bool Source # | |||||
| EraPParams era ⇒ DecCBOR (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| EraPParams era ⇒ DecShareCBOR (RatifyState era) Source # | |||||
| EraPParams era ⇒ EncCBOR (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ RatifyState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toKeyValuePairs ∷ KeyValue e kv ⇒ RatifyState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods def ∷ RatifyState era Source # | |||||
| EraPParams era ⇒ NFData (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ RatifyState era → () # | |||||
| Generic (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types
Methods from ∷ RatifyState era → Rep (RatifyState era) x # to ∷ Rep (RatifyState era) x → RatifyState era # | |||||
| EraPParams era ⇒ Show (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → RatifyState era → ShowS # show ∷ RatifyState era → String # showList ∷ [RatifyState era] → ShowS # | |||||
| EraPParams era ⇒ Eq (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ RatifyState era → RatifyState era → Bool # (/=) ∷ RatifyState era → RatifyState era → Bool # | |||||
| EraPParams era ⇒ NoThunks (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| (EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods rnf ∷ DRepPulser era Identity (RatifyState era) → () # | |||||
| (EraPParams era, EraStake era, ConwayEraAccounts era) ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods (==) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool # (/=) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool # | |||||
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods noThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRepPulser era Identity (RatifyState era)) → String Source # | |||||
| type Share (RatifyState era) Source # | |||||
| type Rep (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "RatifyState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rsEnactState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EnactState era)) :*: S1 ('MetaSel ('Just "rsEnacted") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq (GovActionState era)))) :*: (S1 ('MetaSel ('Just "rsExpired") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set GovActionId)) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))) | |||||
Constructors
| RatifyEnv | |
Fields
| |
Instances
| CanGetInstantStake RatifyEnv Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods instantStakeG ∷ SimpleGetter (RatifyEnv era) (InstantStake era) Source # | |||||
| CanSetInstantStake RatifyEnv Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods instantStakeL ∷ Lens' (RatifyEnv era) (InstantStake era) Source # | |||||
| (Era era, DecCBOR (InstantStake era), DecCBOR (Accounts era)) ⇒ DecCBOR (RatifyEnv era) Source # | |||||
| (Era era, EncCBOR (InstantStake era), EncCBOR (Accounts era)) ⇒ EncCBOR (RatifyEnv era) Source # | |||||
| (Default (InstantStake era), Default (Accounts era)) ⇒ Default (RatifyEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| (Era era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (RatifyEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| Generic (RatifyEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types
| |||||
| (Show (InstantStake era), Show (Accounts era)) ⇒ Show (RatifyEnv era) Source # | |||||
| (Eq (InstantStake era), Eq (Accounts era)) ⇒ Eq (RatifyEnv era) Source # | |||||
| (Typeable era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (RatifyEnv era) Source # | |||||
| type Rep (RatifyEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (RatifyEnv era) = D1 ('MetaData "RatifyEnv" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "RatifyEnv" 'PrefixI 'True) (((S1 ('MetaSel ('Just "reInstantStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InstantStake era)) :*: S1 ('MetaSel ('Just "reStakePoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "reDRepDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DRep (CompactForm Coin))) :*: S1 ('MetaSel ('Just "reDRepState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'DRepRole) DRepState)))) :*: ((S1 ('MetaSel ('Just "reCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "reCommitteeState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommitteeState era))) :*: (S1 ('MetaSel ('Just "reAccounts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Accounts era)) :*: S1 ('MetaSel ('Just "reStakePools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) StakePoolState)))))) | |||||
newtype RatifySignal era Source #
Constructors
| RatifySignal | |
Fields
| |
Instances
| EraPParams era ⇒ DecCBOR (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| EraPParams era ⇒ EncCBOR (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ RatifySignal era → Encoding Source # | |||||
| EraPParams era ⇒ NFData (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ RatifySignal era → () # | |||||
| Generic (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types
Methods from ∷ RatifySignal era → Rep (RatifySignal era) x # to ∷ Rep (RatifySignal era) x → RatifySignal era # | |||||
| EraPParams era ⇒ Show (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → RatifySignal era → ShowS # show ∷ RatifySignal era → String # showList ∷ [RatifySignal era] → ShowS # | |||||
| EraPParams era ⇒ Eq (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ RatifySignal era → RatifySignal era → Bool # (/=) ∷ RatifySignal era → RatifySignal era → Bool # | |||||
| type Rep (RatifySignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (RatifySignal era) = D1 ('MetaData "RatifySignal" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "RatifySignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRatifySignal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq (GovActionState era))))) | |||||
data ConwayGovState era Source #
Conway governance state
Constructors
| ConwayGovState | |
Fields
| |
Instances
| (ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ ToJSON (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods toJSON ∷ ConwayGovState era → Value Source # toEncoding ∷ ConwayGovState era → Encoding Source # toJSONList ∷ [ConwayGovState era] → Value Source # toEncodingList ∷ [ConwayGovState era] → Encoding Source # omitField ∷ ConwayGovState era → Bool Source # | |||||
| EraPParams era ⇒ FromCBOR (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance | |||||
| (ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ ToCBOR (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods toCBOR ∷ ConwayGovState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovState era] → Size Source # | |||||
| EraPParams era ⇒ DecCBOR (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance | |||||
| EraPParams era ⇒ DecShareCBOR (ConwayGovState era) Source # | |||||
| (ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ EncCBOR (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods encCBOR ∷ ConwayGovState era → Encoding Source # | |||||
| (ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ ToKeyValuePairs (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayGovState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods def ∷ ConwayGovState era Source # | |||||
| (EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods rnf ∷ ConwayGovState era → () # | |||||
| Generic (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Associated Types
Methods from ∷ ConwayGovState era → Rep (ConwayGovState era) x # to ∷ Rep (ConwayGovState era) x → ConwayGovState era # | |||||
| (EraPParams era, ConwayEraAccounts era, EraStake era) ⇒ Show (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods showsPrec ∷ Int → ConwayGovState era → ShowS # show ∷ ConwayGovState era → String # showList ∷ [ConwayGovState era] → ShowS # | |||||
| (ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ Eq (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance Methods (==) ∷ ConwayGovState era → ConwayGovState era → Bool # (/=) ∷ ConwayGovState era → ConwayGovState era → Bool # | |||||
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance | |||||
| type Share (ConwayGovState era) Source # | |||||
| type Rep (ConwayGovState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance type Rep (ConwayGovState era) = D1 ('MetaData "ConwayGovState" "Cardano.Ledger.Conway.Governance" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgsProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era)) :*: (S1 ('MetaSel ('Just "cgsCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgsConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)))) :*: ((S1 ('MetaSel ('Just "cgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "cgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era)) :*: S1 ('MetaSel ('Just "cgsDRepPulsingState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRepPulsingState era)))))) | |||||
predictFuturePParams ∷ (ConwayEraAccounts era, EraStake era) ⇒ ConwayGovState era → ConwayGovState era Source #
This function updates the thunk, which will contain new PParams once evaluated or Nothing when there was no update. At the same time if we already know the future of PParams, then it will act as an identity function.
Constructors
| Committee | |
Fields
| |
Instances
| Era era ⇒ FromJSON (Committee era) Source # | |||||
| ToJSON (Committee era) Source # | |||||
| Era era ⇒ DecCBOR (Committee era) Source # | |||||
| Era era ⇒ EncCBOR (Committee era) Source # | |||||
| ToKeyValuePairs (Committee era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ Committee era → [kv] Source # | |||||
| Default (Committee era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era ⇒ NFData (Committee era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Generic (Committee era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show (Committee era) Source # | |||||
| Eq (Committee era) Source # | |||||
| Era era ⇒ NoThunks (Committee era) Source # | |||||
| type Rep (Committee era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (Committee era) = D1 ('MetaData "Committee" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel ('Just "committeeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval))) | |||||
committeeMembersL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'ColdCommitteeRole) EpochNo → f (Map (Credential 'ColdCommitteeRole) EpochNo)) → Committee era → f (Committee era) Source #
committeeThresholdL ∷ ∀ era f. Functor f ⇒ (UnitInterval → f UnitInterval) → Committee era → f (Committee era) Source #
authorizedElectedHotCommitteeCredentials ∷ StrictMaybe (Committee era) → CommitteeState era → Set (Credential 'HotCommitteeRole) Source #
Extract all unique hot credential authorizations for the current committee that is elected.
Note that the previous governance action id is only optional for the very first governance action of the same purpose.
Constructors
| ParameterChange | |
Fields
| |
| HardForkInitiation | |
Fields
| |
| TreasuryWithdrawals | |
Fields
| |
| NoConfidence | |
Fields
| |
| UpdateCommittee | |
Fields
| |
| NewConstitution | |
Fields
| |
| InfoAction | |
Instances
| EraPParams era ⇒ ToJSON (GovAction era) Source # | |||||
| EraPParams era ⇒ DecCBOR (GovAction era) Source # | |||||
| EraPParams era ⇒ EncCBOR (GovAction era) Source # | |||||
| EraPParams era ⇒ NFData (GovAction era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Generic (GovAction era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| EraPParams era ⇒ Show (GovAction era) Source # | |||||
| EraPParams era ⇒ Eq (GovAction era) Source # | |||||
| EraPParams era ⇒ Ord (GovAction era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EraPParams era ⇒ NoThunks (GovAction era) Source # | |||||
| type Rep (GovAction era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (GovAction era) = D1 ('MetaData "GovAction" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) ((C1 ('MetaCons "ParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'PParamUpdatePurpose))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParamsUpdate era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash)))) :+: (C1 ('MetaCons "HardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer)) :+: C1 ('MetaCons "TreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map RewardAccount Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))) :+: ((C1 ('MetaCons "NoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose)))) :+: C1 ('MetaCons "UpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'ColdCommitteeRole)))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :+: (C1 ('MetaCons "NewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'ConstitutionPurpose))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era))) :+: C1 ('MetaCons "InfoAction" 'PrefixI 'False) (U1 ∷ Type → Type)))) | |||||
data GovActionState era Source #
Constructors
| GovActionState | |
Fields
| |
Instances
| HasOKey GovActionId (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toOKey ∷ GovActionState era → GovActionId Source # | |||||
| EraPParams era ⇒ ToJSON (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovActionState era → Value Source # toEncoding ∷ GovActionState era → Encoding Source # toJSONList ∷ [GovActionState era] → Value Source # toEncodingList ∷ [GovActionState era] → Encoding Source # omitField ∷ GovActionState era → Bool Source # | |||||
| EraPParams era ⇒ DecCBOR (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EraPParams era ⇒ DecShareCBOR (GovActionState era) Source # | |||||
| EraPParams era ⇒ EncCBOR (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovActionState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ GovActionState era → [kv] Source # | |||||
| EraPParams era ⇒ NFData (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ GovActionState era → () # | |||||
| Generic (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ GovActionState era → Rep (GovActionState era) x # to ∷ Rep (GovActionState era) x → GovActionState era # | |||||
| EraPParams era ⇒ Show (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionState era → ShowS # show ∷ GovActionState era → String # showList ∷ [GovActionState era] → ShowS # | |||||
| EraPParams era ⇒ Eq (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovActionState era → GovActionState era → Bool # (/=) ∷ GovActionState era → GovActionState era → Bool # | |||||
| EraPParams era ⇒ Ord (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovActionState era → GovActionState era → Ordering # (<) ∷ GovActionState era → GovActionState era → Bool # (<=) ∷ GovActionState era → GovActionState era → Bool # (>) ∷ GovActionState era → GovActionState era → Bool # (>=) ∷ GovActionState era → GovActionState era → Bool # max ∷ GovActionState era → GovActionState era → GovActionState era # min ∷ GovActionState era → GovActionState era → GovActionState era # | |||||
| EraPParams era ⇒ NoThunks (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Share (GovActionState era) Source # | |||||
| type Rep (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (GovActionState era) = D1 ('MetaData "GovActionState" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "GovActionState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gasId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId) :*: (S1 ('MetaSel ('Just "gasCommitteeVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'HotCommitteeRole) Vote)) :*: S1 ('MetaSel ('Just "gasDRepVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole) Vote)))) :*: ((S1 ('MetaSel ('Just "gasStakePoolVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) Vote)) :*: S1 ('MetaSel ('Just "gasProposalProcedure") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposalProcedure era))) :*: (S1 ('MetaSel ('Just "gasProposedIn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "gasExpiresAfter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))))) | |||||
newtype GovActionIx Source #
Constructors
| GovActionIx | |
Fields | |
Instances
| ToJSON GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovActionIx → Value Source # toEncoding ∷ GovActionIx → Encoding Source # toJSONList ∷ [GovActionIx] → Value Source # toEncodingList ∷ [GovActionIx] → Encoding Source # omitField ∷ GovActionIx → Bool Source # | |||||
| DecCBOR GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EncCBOR GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |||||
| NFData GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ GovActionIx → () # | |||||
| Generic GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionIx → ShowS # show ∷ GovActionIx → String # showList ∷ [GovActionIx] → ShowS # | |||||
| Eq GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Ord GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovActionIx → GovActionIx → Ordering # (<) ∷ GovActionIx → GovActionIx → Bool # (<=) ∷ GovActionIx → GovActionIx → Bool # (>) ∷ GovActionIx → GovActionIx → Bool # (>=) ∷ GovActionIx → GovActionIx → Bool # max ∷ GovActionIx → GovActionIx → GovActionIx # min ∷ GovActionIx → GovActionIx → GovActionIx # | |||||
| NoThunks GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep GovActionIx Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep GovActionIx = D1 ('MetaData "GovActionIx" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))) | |||||
data GovActionId Source #
Constructors
| GovActionId | |
Fields | |
Instances
| ToJSON GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovActionId → Value Source # toEncoding ∷ GovActionId → Encoding Source # toJSONList ∷ [GovActionId] → Value Source # toEncodingList ∷ [GovActionId] → Encoding Source # omitField ∷ GovActionId → Bool Source # | |||||
| ToJSONKey GovActionId Source # | |||||
| DecCBOR GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EncCBOR GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |||||
| ToKeyValuePairs GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ GovActionId → [kv] Source # | |||||
| NFData GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ GovActionId → () # | |||||
| Generic GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionId → ShowS # show ∷ GovActionId → String # showList ∷ [GovActionId] → ShowS # | |||||
| Eq GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Ord GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovActionId → GovActionId → Ordering # (<) ∷ GovActionId → GovActionId → Bool # (<=) ∷ GovActionId → GovActionId → Bool # (>) ∷ GovActionId → GovActionId → Bool # (>=) ∷ GovActionId → GovActionId → Bool # max ∷ GovActionId → GovActionId → GovActionId # min ∷ GovActionId → GovActionId → GovActionId # | |||||
| NoThunks GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| HasOKey GovActionId (GovActionState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toOKey ∷ GovActionState era → GovActionId Source # | |||||
| type Rep GovActionId Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep GovActionId = D1 ('MetaData "GovActionId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionIx))) | |||||
data GovActionPurpose Source #
Instances
| Generic GovActionPurpose Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ GovActionPurpose → Rep GovActionPurpose x # to ∷ Rep GovActionPurpose x → GovActionPurpose # | |||||
| Show GovActionPurpose Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionPurpose → ShowS # show ∷ GovActionPurpose → String # showList ∷ [GovActionPurpose] → ShowS # | |||||
| Eq GovActionPurpose Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |||||
| type Rep GovActionPurpose Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep GovActionPurpose = D1 ('MetaData "GovActionPurpose" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) ((C1 ('MetaCons "PParamUpdatePurpose" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPurpose" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CommitteePurpose" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ConstitutionPurpose" 'PrefixI 'False) (U1 ∷ Type → Type))) | |||||
class ToGovActionPurpose (p ∷ GovActionPurpose) Source #
Minimal complete definition
toGovActionPurpose
Instances
| ToGovActionPurpose 'CommitteePurpose Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |
| ToGovActionPurpose 'ConstitutionPurpose Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |
| ToGovActionPurpose 'HardForkPurpose Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |
| ToGovActionPurpose 'PParamUpdatePurpose Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |
isGovActionWithPurpose ∷ ∀ (p ∷ GovActionPurpose) era. ToGovActionPurpose p ⇒ GovAction era → Bool Source #
data DRepPulsingState era Source #
Constructors
| DRPulsing !(DRepPulser era Identity (RatifyState era)) | |
| DRComplete !(PulsingSnapshot era) !(RatifyState era) |
Instances
| EraPParams era ⇒ DecCBOR (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |||||
| EraPParams era ⇒ DecShareCBOR (DRepPulsingState era) Source # | |||||
| (ConwayEraAccounts era, EraStake era, EraPParams era) ⇒ EncCBOR (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods encCBOR ∷ DRepPulsingState era → Encoding Source # | |||||
| (EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods rnf ∷ DRepPulsingState era → () # | |||||
| Generic (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Associated Types
Methods from ∷ DRepPulsingState era → Rep (DRepPulsingState era) x # to ∷ Rep (DRepPulsingState era) x → DRepPulsingState era # | |||||
| (ConwayEraAccounts era, EraStake era, EraPParams era) ⇒ Show (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods showsPrec ∷ Int → DRepPulsingState era → ShowS # show ∷ DRepPulsingState era → String # showList ∷ [DRepPulsingState era] → ShowS # | |||||
| (ConwayEraAccounts era, EraStake era, EraPParams era) ⇒ Eq (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods (==) ∷ DRepPulsingState era → DRepPulsingState era → Bool # (/=) ∷ DRepPulsingState era → DRepPulsingState era → Bool # | |||||
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |||||
| type Share (DRepPulsingState era) Source # | |||||
| type Rep (DRepPulsingState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser type Rep (DRepPulsingState era) = D1 ('MetaData "DRepPulsingState" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "DRPulsing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRepPulser era Identity (RatifyState era)))) :+: C1 ('MetaCons "DRComplete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PulsingSnapshot era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RatifyState era)))) | |||||
data DRepPulser era (m ∷ Type → Type) ans where Source #
The type of a Pulser which uses computeDRepDistr as its underlying
function. Note that we use two type equality (~) constraints to fix both
the monad m and the ans type, to the context where we will use the
type as a Pulser. The type DRepPulser must have m and ans as its last
two parameters so we can make a Pulsable instance. We will always use this
instantiation (DRepPulser era Identity (RatifyState era))
Constructors
| DRepPulser | |
Fields
| |
Instances
| (EraStake era, ConwayEraAccounts era) ⇒ Pulsable (DRepPulser era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods done ∷ ∀ (m ∷ Type → Type) ans. DRepPulser era m ans → Bool Source # current ∷ ∀ (m ∷ Type → Type) ans. DRepPulser era m ans → ans Source # pulseM ∷ Monad m ⇒ DRepPulser era m ans → m (DRepPulser era m ans) Source # completeM ∷ Monad m ⇒ DRepPulser era m ans → m ans Source # | |
| (EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods rnf ∷ DRepPulser era Identity (RatifyState era) → () # | |
| (EraPParams era, Show (InstantStake era), Show (Accounts era), Show ans) ⇒ Show (DRepPulser era m ans) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods showsPrec ∷ Int → DRepPulser era m ans → ShowS # show ∷ DRepPulser era m ans → String # showList ∷ [DRepPulser era m ans] → ShowS # | |
| (EraPParams era, EraStake era, ConwayEraAccounts era) ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods (==) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool # (/=) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool # | |
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods noThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRepPulser era Identity (RatifyState era)) → String Source # | |
Constructors
| CommitteeVoter !(Credential 'HotCommitteeRole) | |
| DRepVoter !(Credential 'DRepRole) | |
| StakePoolVoter !(KeyHash 'StakePool) |
Instances
| ToJSON Voter Source # | |||||
| ToJSONKey Voter Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |||||
| DecCBOR Voter Source # | |||||
| EncCBOR Voter Source # | |||||
| NFData Voter Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Generic Voter Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show Voter Source # | |||||
| Eq Voter Source # | |||||
| Ord Voter Source # | |||||
| NoThunks Voter Source # | |||||
| Indexable Voter (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep Voter Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep Voter = D1 ('MetaData "Voter" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool))))) | |||||
Instances
| ToJSON Vote Source # | |||||
| DecCBOR Vote Source # | |||||
| EncCBOR Vote Source # | |||||
| NFData Vote Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Bounded Vote Source # | |||||
| Enum Vote Source # | |||||
| Generic Vote Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show Vote Source # | |||||
| Eq Vote Source # | |||||
| Ord Vote Source # | |||||
| NoThunks Vote Source # | |||||
| type Rep Vote Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep Vote = D1 ('MetaData "Vote" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 ∷ Type → Type))) | |||||
data VotingProcedure era Source #
Constructors
| VotingProcedure | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ VotingProcedure era → Value Source # toEncoding ∷ VotingProcedure era → Encoding Source # toJSONList ∷ [VotingProcedure era] → Value Source # toEncodingList ∷ [VotingProcedure era] → Encoding Source # omitField ∷ VotingProcedure era → Bool Source # | |||||
| Era era ⇒ DecCBOR (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era ⇒ EncCBOR (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ VotingProcedure era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ VotingProcedure era → [kv] Source # | |||||
| NFData (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ VotingProcedure era → () # | |||||
| Generic (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ VotingProcedure era → Rep (VotingProcedure era) x # to ∷ Rep (VotingProcedure era) x → VotingProcedure era # | |||||
| Show (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → VotingProcedure era → ShowS # show ∷ VotingProcedure era → String # showList ∷ [VotingProcedure era] → ShowS # | |||||
| Eq (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ VotingProcedure era → VotingProcedure era → Bool # (/=) ∷ VotingProcedure era → VotingProcedure era → Bool # | |||||
| NoThunks (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (VotingProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor)))) | |||||
newtype VotingProcedures era Source #
Constructors
| VotingProcedures | |
Fields
| |
Instances
| Indexable Voter (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EraPParams era ⇒ ToJSON (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ VotingProcedures era → Value Source # toEncoding ∷ VotingProcedures era → Encoding Source # toJSONList ∷ [VotingProcedures era] → Value Source # toEncodingList ∷ [VotingProcedures era] → Encoding Source # omitField ∷ VotingProcedures era → Bool Source # | |||||
| Era era ⇒ DecCBOR (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era ⇒ EncCBOR (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ VotingProcedures era → Encoding Source # | |||||
| Era era ⇒ NFData (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ VotingProcedures era → () # | |||||
| Generic (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ VotingProcedures era → Rep (VotingProcedures era) x # to ∷ Rep (VotingProcedures era) x → VotingProcedures era # | |||||
| Show (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → VotingProcedures era → ShowS # show ∷ VotingProcedures era → String # showList ∷ [VotingProcedures era] → ShowS # | |||||
| Eq (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ VotingProcedures era → VotingProcedures era → Bool # (/=) ∷ VotingProcedures era → VotingProcedures era → Bool # | |||||
| NoThunks (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (VotingProcedures era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era)))))) | |||||
foldlVotingProcedures Source #
Arguments
| ∷ (c → Voter → GovActionId → VotingProcedure era → c) | Accumulating function |
| → c | Initial accumulator |
| → VotingProcedures era | Procedures to fold over |
| → c |
foldrVotingProcedures Source #
Arguments
| ∷ (Voter → GovActionId → VotingProcedure era → c → c) | Accumulating function |
| → c | Initial accumulator |
| → VotingProcedures era | Procedures to fold over |
| → c |
data ProposalProcedure era Source #
Constructors
| ProposalProcedure | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ ProposalProcedure era → Value Source # toEncoding ∷ ProposalProcedure era → Encoding Source # toJSONList ∷ [ProposalProcedure era] → Value Source # toEncodingList ∷ [ProposalProcedure era] → Encoding Source # omitField ∷ ProposalProcedure era → Bool Source # | |||||
| EraPParams era ⇒ DecCBOR (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EraPParams era ⇒ EncCBOR (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ ProposalProcedure era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ProposalProcedure era → [kv] Source # | |||||
| EraPParams era ⇒ NFData (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ ProposalProcedure era → () # | |||||
| Generic (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ ProposalProcedure era → Rep (ProposalProcedure era) x # to ∷ Rep (ProposalProcedure era) x → ProposalProcedure era # | |||||
| EraPParams era ⇒ Show (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → ProposalProcedure era → ShowS # show ∷ ProposalProcedure era → String # showList ∷ [ProposalProcedure era] → ShowS # | |||||
| EraPParams era ⇒ Eq (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ ProposalProcedure era → ProposalProcedure era → Bool # (/=) ∷ ProposalProcedure era → ProposalProcedure era → Bool # | |||||
| EraPParams era ⇒ Ord (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ ProposalProcedure era → ProposalProcedure era → Ordering # (<) ∷ ProposalProcedure era → ProposalProcedure era → Bool # (<=) ∷ ProposalProcedure era → ProposalProcedure era → Bool # (>) ∷ ProposalProcedure era → ProposalProcedure era → Bool # (>=) ∷ ProposalProcedure era → ProposalProcedure era → Bool # max ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era # min ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era # | |||||
| EraPParams era ⇒ NoThunks (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (ProposalProcedure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor)))) | |||||
Constructors
| Anchor | |
Fields
| |
Instances
| FromJSON Anchor | |||||
| ToJSON Anchor | |||||
| DecCBOR Anchor | |||||
| EncCBOR Anchor | |||||
| ToKeyValuePairs Anchor | |||||
Defined in Cardano.Ledger.BaseTypes Methods toKeyValuePairs ∷ KeyValue e kv ⇒ Anchor → [kv] Source # | |||||
| Default Anchor | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NFData Anchor | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic Anchor | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show Anchor | |||||
| Eq Anchor | |||||
| Ord Anchor | |||||
| NoThunks Anchor | |||||
| type Rep Anchor | |||||
Defined in Cardano.Ledger.BaseTypes type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash AnchorData)))) | |||||
newtype AnchorData Source #
Constructors
| AnchorData ByteString |
Instances
| SafeToHash AnchorData | |
Defined in Cardano.Ledger.BaseTypes Methods originalBytes ∷ AnchorData → ByteString Source # originalBytesSize ∷ AnchorData → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AnchorData → SafeHash i Source # | |
| Eq AnchorData | |
Defined in Cardano.Ledger.BaseTypes | |
| HashAnnotated AnchorData AnchorData | |
Defined in Cardano.Ledger.BaseTypes Methods | |
indexedGovProps ∷ Seq (ProposalProcedure era) → Seq (GovActionIx, ProposalProcedure era) Source #
Attaches indices to a sequence of proposal procedures. The indices grow from left to right.
data Constitution era Source #
Constructors
| Constitution | |
Fields | |
Instances
| Era era ⇒ FromJSON (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods parseJSON ∷ Value → Parser (Constitution era) Source # parseJSONList ∷ Value → Parser [Constitution era] Source # omittedField ∷ Maybe (Constitution era) Source # | |||||
| ToJSON (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ Constitution era → Value Source # toEncoding ∷ Constitution era → Encoding Source # toJSONList ∷ [Constitution era] → Value Source # toEncodingList ∷ [Constitution era] → Encoding Source # omitField ∷ Constitution era → Bool Source # | |||||
| Era era ⇒ FromCBOR (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era ⇒ ToCBOR (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toCBOR ∷ Constitution era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Constitution era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Constitution era] → Size Source # | |||||
| Era era ⇒ DecCBOR (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era ⇒ EncCBOR (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ Constitution era → Encoding Source # | |||||
| ToKeyValuePairs (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ Constitution era → [kv] Source # | |||||
| Era era ⇒ Default (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods def ∷ Constitution era Source # | |||||
| Era era ⇒ NFData (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ Constitution era → () # | |||||
| Generic (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ Constitution era → Rep (Constitution era) x # to ∷ Rep (Constitution era) x → Constitution era # | |||||
| Show (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → Constitution era → ShowS # show ∷ Constitution era → String # showList ∷ [Constitution era] → ShowS # | |||||
| Eq (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ Constitution era → Constitution era → Bool # (/=) ∷ Constitution era → Constitution era → Bool # | |||||
| Ord (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ Constitution era → Constitution era → Ordering # (<) ∷ Constitution era → Constitution era → Bool # (<=) ∷ Constitution era → Constitution era → Bool # (>) ∷ Constitution era → Constitution era → Bool # (>=) ∷ Constitution era → Constitution era → Bool # max ∷ Constitution era → Constitution era → Constitution era # min ∷ Constitution era → Constitution era → Constitution era # | |||||
| Era era ⇒ NoThunks (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (Constitution era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (Constitution era) = D1 ('MetaData "Constitution" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash)))) | |||||
class (EraGov era, EraStake era, ConwayEraAccounts era) ⇒ ConwayEraGov era where Source #
Methods
constitutionGovStateL ∷ Lens' (GovState era) (Constitution era) Source #
proposalsGovStateL ∷ Lens' (GovState era) (Proposals era) Source #
drepPulsingStateGovStateL ∷ Lens' (GovState era) (DRepPulsingState era) Source #
committeeGovStateL ∷ Lens' (GovState era) (StrictMaybe (Committee era)) Source #
Instances
| ConwayEraGov ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL ∷ Lens' (GovState ConwayEra) (Constitution ConwayEra) Source # proposalsGovStateL ∷ Lens' (GovState ConwayEra) (Proposals ConwayEra) Source # drepPulsingStateGovStateL ∷ Lens' (GovState ConwayEra) (DRepPulsingState ConwayEra) Source # committeeGovStateL ∷ Lens' (GovState ConwayEra) (StrictMaybe (Committee ConwayEra)) Source # | |
votingStakePoolThreshold ∷ ConwayEraPParams era ⇒ RatifyState era → GovAction era → StrictMaybe UnitInterval Source #
votingDRepThreshold ∷ ConwayEraPParams era ⇒ RatifyState era → GovAction era → StrictMaybe UnitInterval Source #
votingCommitteeThreshold ∷ ConwayEraPParams era ⇒ EpochNo → RatifyState era → CommitteeState era → GovAction era → StrictMaybe UnitInterval Source #
isStakePoolVotingAllowed ∷ ConwayEraPParams era ⇒ GovAction era → Bool Source #
isDRepVotingAllowed ∷ ConwayEraPParams era ⇒ GovAction era → Bool Source #
isCommitteeVotingAllowed ∷ ConwayEraPParams era ⇒ EpochNo → CommitteeState era → GovAction era → Bool Source #
reorderActions ∷ StrictSeq (GovActionState era) → StrictSeq (GovActionState era) Source #
actionPriority ∷ GovAction era → Int Source #
Self-contained representation of all 4 proposals trees. This forest
is made up of only action-ids for nodes - full GovActionStates are
stored only once in the OMap. All functions in this module prefixed
with the string proposals- operate on this data-type keeping it
consistent.
NOTE: The correct way to think about this data-structure is similar
to 4 of the following, one for each GovActionPurpose
data Tree a = Node (StrictMaybe a) [Tree a]
but because this does not allow us to look-up a node's edges in
predictable time, we use a map from nodes to their edges (parent and
children) to capture the graph (PGraphPRoot
NOTE: At the end of an epoch boundary, we expect pRootsPrevGovActionIdsEnactState
Instances
| EraPParams era ⇒ ToJSON (Proposals era) Source # | |||||
| EraPParams era ⇒ DecCBOR (Proposals era) Source # | |||||
| EraPParams era ⇒ DecShareCBOR (Proposals era) Source # | |||||
| EraPParams era ⇒ EncCBOR (Proposals era) Source # | |||||
| Default (Proposals era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| EraPParams era ⇒ NFData (Proposals era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| Generic (Proposals era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals Associated Types
| |||||
| EraPParams era ⇒ Show (Proposals era) Source # | |||||
| EraPParams era ⇒ Eq (Proposals era) Source # | |||||
| EraPParams era ⇒ NoThunks (Proposals era) Source # | |||||
| type Share (Proposals era) Source # | |||||
| type Rep (Proposals era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals type Rep (Proposals era) = D1 ('MetaData "Proposals" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "Proposals" 'PrefixI 'True) (S1 ('MetaSel ('Just "pProps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OMap GovActionId (GovActionState era))) :*: (S1 ('MetaSel ('Just "pRoots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation PRoot)) :*: S1 ('MetaSel ('Just "pGraph") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation PGraph))))) | |||||
mkProposals ∷ (EraPParams era, MonadFail m) ⇒ GovRelation StrictMaybe → OMap GovActionId (GovActionState era) → m (Proposals era) Source #
Reconstruct the ProposalsOMapGovActionStatePrevGovActionIds
unsafeMkProposals ∷ (HasCallStack, EraPParams era) ⇒ GovRelation StrictMaybe → OMap GovActionId (GovActionState era) → Proposals era Source #
Reconstruct the ProposalsOMapGovActionStatePrevGovActionIdsProposals
if not given correct inputs.
WARNING: Should only be used for testing!
newtype GovPurposeId (p ∷ GovActionPurpose) Source #
Constructors
| GovPurposeId | |
Fields | |
Instances
| ToJSON (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovPurposeId p → Value Source # toEncoding ∷ GovPurposeId p → Encoding Source # toJSONList ∷ [GovPurposeId p] → Value Source # toEncodingList ∷ [GovPurposeId p] → Encoding Source # omitField ∷ GovPurposeId p → Bool Source # | |||||
| ToJSONKey (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods | |||||
| Typeable p ⇒ DecCBOR (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EncCBOR (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovPurposeId p → Encoding Source # | |||||
| NFData (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ GovPurposeId p → () # | |||||
| Generic (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from ∷ GovPurposeId p → Rep (GovPurposeId p) x # to ∷ Rep (GovPurposeId p) x → GovPurposeId p # | |||||
| Show (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovPurposeId p → ShowS # show ∷ GovPurposeId p → String # showList ∷ [GovPurposeId p] → ShowS # | |||||
| Show (TreeMaybe (GovPurposeId p)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| Eq (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovPurposeId p → GovPurposeId p → Bool # (/=) ∷ GovPurposeId p → GovPurposeId p → Bool # | |||||
| Ord (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovPurposeId p → GovPurposeId p → Ordering # (<) ∷ GovPurposeId p → GovPurposeId p → Bool # (<=) ∷ GovPurposeId p → GovPurposeId p → Bool # (>) ∷ GovPurposeId p → GovPurposeId p → Bool # (>=) ∷ GovPurposeId p → GovPurposeId p → Bool # max ∷ GovPurposeId p → GovPurposeId p → GovPurposeId p # min ∷ GovPurposeId p → GovPurposeId p → GovPurposeId p # | |||||
| NoThunks (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (GovPurposeId p) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (GovPurposeId p) = D1 ('MetaData "GovPurposeId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "GovPurposeId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovPurposeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovActionId))) | |||||
The root of a single Proposals tree. prRoot is always expected
to be equal to the respective PrevGovActionId at the end of every
epoch boundary
Constructors
| PRoot | |
Fields
| |
Instances
| Default (PRoot a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| NFData a ⇒ NFData (PRoot a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| Generic (PRoot a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals Associated Types
| |||||
| Show a ⇒ Show (PRoot a) Source # | |||||
| Eq a ⇒ Eq (PRoot a) Source # | |||||
| Ord a ⇒ Ord (PRoot a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| NoThunks a ⇒ NoThunks (PRoot a) Source # | |||||
| type Rep (PRoot a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals type Rep (PRoot a) = D1 ('MetaData "PRoot" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "PRoot" 'PrefixI 'True) (S1 ('MetaSel ('Just "prRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe a)) :*: S1 ('MetaSel ('Just "prChildren") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a)))) | |||||
A non-root edges in a Proposals tree. peParent is expected to be
a SNothing only at the begining when no governance actions has been
enacted yet.
Constructors
| PEdges | |
Fields
| |
Instances
| Default (PEdges a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| NFData a ⇒ NFData (PEdges a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| Generic (PEdges a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals Associated Types
| |||||
| Show a ⇒ Show (PEdges a) Source # | |||||
| Eq a ⇒ Eq (PEdges a) Source # | |||||
| Ord a ⇒ Ord (PEdges a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| NoThunks a ⇒ NoThunks (PEdges a) Source # | |||||
| type Rep (PEdges a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals type Rep (PEdges a) = D1 ('MetaData "PEdges" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "PEdges" 'PrefixI 'True) (S1 ('MetaSel ('Just "peParent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe a)) :*: S1 ('MetaSel ('Just "peChildren") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a)))) | |||||
A single proposal-tree. This map represents all the action-ids that form a tree.
Instances
| Default (PGraph a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| NFData a ⇒ NFData (PGraph a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| Generic (PGraph a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals Associated Types
| |||||
| Show a ⇒ Show (PGraph a) Source # | |||||
| Eq a ⇒ Eq (PGraph a) Source # | |||||
| Ord a ⇒ Ord (PGraph a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
| NoThunks a ⇒ NoThunks (PGraph a) Source # | |||||
| type Rep (PGraph a) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Proposals | |||||
pRootsL ∷ ∀ era f. Functor f ⇒ (GovRelation PRoot → f (GovRelation PRoot)) → Proposals era → f (Proposals era) Source #
pPropsL ∷ ∀ era f. Functor f ⇒ (OMap GovActionId (GovActionState era) → f (OMap GovActionId (GovActionState era))) → Proposals era → f (Proposals era) Source #
prRootL ∷ ∀ a f. Functor f ⇒ (StrictMaybe a → f (StrictMaybe a)) → PRoot a → f (PRoot a) Source #
pGraphL ∷ ∀ era f. Functor f ⇒ (GovRelation PGraph → f (GovRelation PGraph)) → Proposals era → f (Proposals era) Source #
pGraphNodesL ∷ ∀ a f. Functor f ⇒ (Map a (PEdges a) → f (Map a (PEdges a))) → PGraph a → f (PGraph a) Source #
data GovRelation (f ∷ Type → Type) Source #
Abstract data type for representing relationship of governance action with the same purpose
Constructors
| GovRelation | |
Fields
| |
Instances
| (∀ (p ∷ GovActionPurpose). ToJSON (f (GovPurposeId p))) ⇒ ToJSON (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovRelation f → Value Source # toEncoding ∷ GovRelation f → Encoding Source # toJSONList ∷ [GovRelation f] → Value Source # toEncodingList ∷ [GovRelation f] → Encoding Source # omitField ∷ GovRelation f → Bool Source # | |||||
| (Typeable f, ∀ (p ∷ GovActionPurpose). Typeable p ⇒ DecCBOR (f (GovPurposeId p))) ⇒ DecCBOR (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| (∀ (p ∷ GovActionPurpose). Typeable p ⇒ EncCBOR (f (GovPurposeId p))) ⇒ EncCBOR (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovRelation f → Encoding Source # | |||||
| (∀ (p ∷ GovActionPurpose). ToJSON (f (GovPurposeId p))) ⇒ ToKeyValuePairs (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toKeyValuePairs ∷ KeyValue e kv ⇒ GovRelation f → [kv] Source # | |||||
| (∀ (p ∷ GovActionPurpose). Default (f (GovPurposeId p))) ⇒ Default (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods def ∷ GovRelation f Source # | |||||
| (∀ (p ∷ GovActionPurpose). NFData (f (GovPurposeId p))) ⇒ NFData (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ GovRelation f → () # | |||||
| (∀ (p ∷ GovActionPurpose). Monoid (f (GovPurposeId p))) ⇒ Monoid (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods mempty ∷ GovRelation f # mappend ∷ GovRelation f → GovRelation f → GovRelation f # mconcat ∷ [GovRelation f] → GovRelation f # | |||||
| (∀ (p ∷ GovActionPurpose). Semigroup (f (GovPurposeId p))) ⇒ Semigroup (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (<>) ∷ GovRelation f → GovRelation f → GovRelation f # sconcat ∷ NonEmpty (GovRelation f) → GovRelation f # stimes ∷ Integral b ⇒ b → GovRelation f → GovRelation f # | |||||
| Generic (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| (∀ (p ∷ GovActionPurpose). Show (f (GovPurposeId p))) ⇒ Show (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovRelation f → ShowS # show ∷ GovRelation f → String # showList ∷ [GovRelation f] → ShowS # | |||||
| (∀ (p ∷ GovActionPurpose). Eq (f (GovPurposeId p))) ⇒ Eq (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| (∀ (p ∷ GovActionPurpose). NoThunks (f (GovPurposeId p))) ⇒ NoThunks (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (GovRelation f) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (GovRelation f) = D1 ('MetaData "GovRelation" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "GovRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grPParamUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'PParamUpdatePurpose))) :*: S1 ('MetaSel ('Just "grHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'HardForkPurpose)))) :*: (S1 ('MetaSel ('Just "grCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'CommitteePurpose))) :*: S1 ('MetaSel ('Just "grConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'ConstitutionPurpose)))))) | |||||
hoistGovRelation ∷ (∀ a. f a → g a) → GovRelation f → GovRelation g Source #
Arguments
| ∷ GovActionState era | |
| → a | The result to be used for governance actions that can't have a parent |
| → (∀ (p ∷ GovActionPurpose). (∀ (f1 ∷ Type → Type) (f2 ∷ Type → Type). Functor f2 ⇒ (f1 (GovPurposeId p) → f2 (f1 (GovPurposeId p))) → GovRelation f1 → f2 (GovRelation f1)) → StrictMaybe (GovPurposeId p) → GovPurposeId p → a) | Function that will be applied to a lens and a parent |
| → a |
Apply a function to a GovAction that can have a parent.
grPParamUpdateL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'PParamUpdatePurpose) → f2 (f1 (GovPurposeId 'PParamUpdatePurpose))) → GovRelation f1 → f2 (GovRelation f1) Source #
grHardForkL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'HardForkPurpose) → f2 (f1 (GovPurposeId 'HardForkPurpose))) → GovRelation f1 → f2 (GovRelation f1) Source #
grCommitteeL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'CommitteePurpose) → f2 (f1 (GovPurposeId 'CommitteePurpose))) → GovRelation f1 → f2 (GovRelation f1) Source #
grConstitutionL ∷ ∀ f1 f2. Functor f2 ⇒ (f1 (GovPurposeId 'ConstitutionPurpose) → f2 (f1 (GovPurposeId 'ConstitutionPurpose))) → GovRelation f1 → f2 (GovRelation f1) Source #
proposalsActions ∷ Proposals era → StrictSeq (GovActionState era) Source #
Get the sequence of GovActionStates
proposalsDeposits ∷ Proposals era → Map (Credential 'Staking) (CompactForm Coin) Source #
Get a mapping from the reward-account staking credentials to deposits of all proposals.
proposalsAddAction ∷ (EraPParams era, HasCallStack) ⇒ GovActionState era → Proposals era → Maybe (Proposals era) Source #
Add a single GovActionStateProposalsGovActionPurposeNothing when the operation cannot
succeed.
proposalsRemoveWithDescendants ∷ EraPParams era ⇒ Set GovActionId → Proposals era → (Proposals era, Map GovActionId (GovActionState era)) Source #
Remove the set of given action-ids with their descendants from the
Proposals
proposalsAddVote ∷ Voter → Vote → GovActionId → Proposals era → Proposals era Source #
Add a vote to an existing GovActionState. This is a no-op if the
provided GovActionId does not already exist
proposalsIds ∷ Proposals era → StrictSeq GovActionId Source #
Get the sequence of GovActionIds
proposalsApplyEnactment ∷ EraPParams era ⇒ Seq (GovActionState era) → Set GovActionId → Proposals era → (Proposals era, Map GovActionId (GovActionState era), Map GovActionId (GovActionState era), Map GovActionId (GovActionState era)) Source #
For use in the EPOCHextractDRepPulsingStateProposals
proposalsSize ∷ Proposals era → Int Source #
proposalsLookupId ∷ GovActionId → Proposals era → Maybe (GovActionState era) Source #
proposalsActionsMap ∷ Proposals era → Map GovActionId (GovActionState era) Source #
Get the unordered map of GovActionIds and GovActionStates
proposalsWithPurpose ∷ ∀ (p ∷ GovActionPurpose) era. ToGovActionPurpose p ⇒ (∀ (f1 ∷ Type → Type) (f2 ∷ Type → Type). Functor f2 ⇒ (f1 (GovPurposeId p) → f2 (f1 (GovPurposeId p))) → GovRelation f1 → f2 (GovRelation f1)) → Proposals era → Map (GovPurposeId p) (GovActionState era) Source #
cgsProposalsL ∷ ∀ era f. Functor f ⇒ (Proposals era → f (Proposals era)) → ConwayGovState era → f (ConwayGovState era) Source #
cgsDRepPulsingStateL ∷ ∀ era f. Functor f ⇒ (DRepPulsingState era → f (DRepPulsingState era)) → ConwayGovState era → f (ConwayGovState era) Source #
cgsCurPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → ConwayGovState era → f (ConwayGovState era) Source #
cgsPrevPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → ConwayGovState era → f (ConwayGovState era) Source #
cgsFuturePParamsL ∷ ∀ era f. Functor f ⇒ (FuturePParams era → f (FuturePParams era)) → ConwayGovState era → f (ConwayGovState era) Source #
cgsCommitteeL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (Committee era) → f (StrictMaybe (Committee era))) → ConwayGovState era → f (ConwayGovState era) Source #
cgsConstitutionL ∷ ∀ era f. Functor f ⇒ (Constitution era → f (Constitution era)) → ConwayGovState era → f (ConwayGovState era) Source #
ensCommitteeL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (Committee era) → f (StrictMaybe (Committee era))) → EnactState era → f (EnactState era) Source #
ensConstitutionL ∷ ∀ era f. Functor f ⇒ (Constitution era → f (Constitution era)) → EnactState era → f (EnactState era) Source #
ensCurPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → EnactState era → f (EnactState era) Source #
ensPrevPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → EnactState era → f (EnactState era) Source #
ensWithdrawalsL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'Staking) Coin → f (Map (Credential 'Staking) Coin)) → EnactState era → f (EnactState era) Source #
ensTreasuryL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → EnactState era → f (EnactState era) Source #
ensPrevGovActionIdsL ∷ ∀ era f. Functor f ⇒ (GovRelation StrictMaybe → f (GovRelation StrictMaybe)) → EnactState era → f (EnactState era) Source #
ensPrevPParamUpdateL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'PParamUpdatePurpose) → f (StrictMaybe (GovPurposeId 'PParamUpdatePurpose))) → EnactState era → f (EnactState era) Source #
ensPrevHardForkL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'HardForkPurpose) → f (StrictMaybe (GovPurposeId 'HardForkPurpose))) → EnactState era → f (EnactState era) Source #
ensPrevCommitteeL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'CommitteePurpose) → f (StrictMaybe (GovPurposeId 'CommitteePurpose))) → EnactState era → f (EnactState era) Source #
ensPrevConstitutionL ∷ ∀ era f. Functor f ⇒ (StrictMaybe (GovPurposeId 'ConstitutionPurpose) → f (StrictMaybe (GovPurposeId 'ConstitutionPurpose))) → EnactState era → f (EnactState era) Source #
ensProtVerL ∷ EraPParams era ⇒ Lens' (EnactState era) ProtVer Source #
rsEnactStateL ∷ ∀ era f. Functor f ⇒ (EnactState era → f (EnactState era)) → RatifyState era → f (RatifyState era) Source #
rsExpiredL ∷ ∀ era f. Functor f ⇒ (Set GovActionId → f (Set GovActionId)) → RatifyState era → f (RatifyState era) Source #
rsEnactedL ∷ ∀ era f. Functor f ⇒ (Seq (GovActionState era) → f (Seq (GovActionState era))) → RatifyState era → f (RatifyState era) Source #
rsDelayedL ∷ ∀ era f. Functor f ⇒ (Bool → f Bool) → RatifyState era → f (RatifyState era) Source #
constitutionScriptL ∷ ∀ era f. Functor f ⇒ (StrictMaybe ScriptHash → f (StrictMaybe ScriptHash)) → Constitution era → f (Constitution era) Source #
constitutionAnchorL ∷ ∀ era f. Functor f ⇒ (Anchor → f Anchor) → Constitution era → f (Constitution era) Source #
gasIdL ∷ ∀ era f. Functor f ⇒ (GovActionId → f GovActionId) → GovActionState era → f (GovActionState era) Source #
gasDepositL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → GovActionState era → f (GovActionState era) Source #
gasCommitteeVotesL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'HotCommitteeRole) Vote → f (Map (Credential 'HotCommitteeRole) Vote)) → GovActionState era → f (GovActionState era) Source #
gasDRepVotesL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'DRepRole) Vote → f (Map (Credential 'DRepRole) Vote)) → GovActionState era → f (GovActionState era) Source #
gasStakePoolVotesL ∷ ∀ era f. Functor f ⇒ (Map (KeyHash 'StakePool) Vote → f (Map (KeyHash 'StakePool) Vote)) → GovActionState era → f (GovActionState era) Source #
gasExpiresAfterL ∷ ∀ era f. Functor f ⇒ (EpochNo → f EpochNo) → GovActionState era → f (GovActionState era) Source #
gasActionL ∷ ∀ era f. Functor f ⇒ (GovAction era → f (GovAction era)) → GovActionState era → f (GovActionState era) Source #
gasReturnAddrL ∷ ∀ era f. Functor f ⇒ (RewardAccount → f RewardAccount) → GovActionState era → f (GovActionState era) Source #
gasProposedInL ∷ ∀ era f. Functor f ⇒ (EpochNo → f EpochNo) → GovActionState era → f (GovActionState era) Source #
gasProposalProcedureL ∷ ∀ era f. Functor f ⇒ (ProposalProcedure era → f (ProposalProcedure era)) → GovActionState era → f (GovActionState era) Source #
gasDeposit ∷ GovActionState era → Coin Source #
gasAction ∷ GovActionState era → GovAction era Source #
gasReturnAddr ∷ GovActionState era → RewardAccount Source #
pProcDepositL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → ProposalProcedure era → f (ProposalProcedure era) Source #
pProcGovActionL ∷ ∀ era f. Functor f ⇒ (GovAction era → f (GovAction era)) → ProposalProcedure era → f (ProposalProcedure era) Source #
pProcReturnAddrL ∷ ∀ era f. Functor f ⇒ (RewardAccount → f RewardAccount) → ProposalProcedure era → f (ProposalProcedure era) Source #
pProcAnchorL ∷ ∀ era f. Functor f ⇒ (Anchor → f Anchor) → ProposalProcedure era → f (ProposalProcedure era) Source #
newEpochStateDRepPulsingStateL ∷ ConwayEraGov era ⇒ Lens' (NewEpochState era) (DRepPulsingState era) Source #
epochStateDRepPulsingStateL ∷ ConwayEraGov era ⇒ Lens' (EpochState era) (DRepPulsingState era) Source #
epochStateStakeDistrL ∷ ∀ era f. Functor f ⇒ (VMap VB VP (Credential 'Staking) (CompactForm Coin) → f (VMap VB VP (Credential 'Staking) (CompactForm Coin))) → EpochState era → f (EpochState era) Source #
epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState) Source #
pulseDRepPulsingState ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → DRepPulsingState era Source #
completeDRepPulsingState ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → DRepPulsingState era Source #
extractDRepPulsingState ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → RatifyState era Source #
forceDRepPulsingState ∷ ConwayEraGov era ⇒ NewEpochState era → NewEpochState era Source #
Force computation of DRep stake distribution and figure out the next enact state. This operation is useful in cases when access to new EnactState or DRep stake distribution is needed more than once. It is safe to call this function at any point. Whenever pulser is already in computed state this will be a noop.
finishDRepPulser ∷ (EraStake era, ConwayEraAccounts era) ⇒ DRepPulsingState era → (PulsingSnapshot era, RatifyState era) Source #
computeDRepDistr ∷ (EraStake era, ConwayEraAccounts era) ⇒ InstantStake era → Map (Credential 'DRepRole) DRepState → Map (Credential 'Staking) (CompactForm Coin) → PoolDistr → Map DRep (CompactForm Coin) → Map (Credential 'Staking) (AccountState era) → (Map DRep (CompactForm Coin), PoolDistr) Source #
We iterate over a pulse-sized chunk of the Accounts.
For each staking credential in the chunk that has delegated to a DRep, add the stake distribution, rewards, and proposal deposits for that credential to the DRep distribution, if the DRep is a DRepCredential (also, AlwaysAbstain or AlwaysNoConfidence) and a member of the registered DReps. If the DRepCredential is not a member of the registered DReps, ignore and skip that DRep.
For each staking credential in the chunk that has delegated to an SPO, add only the proposal deposits for that credential to the stake pool distribution, since the rewards and stake are already added to it by the SNAP rule.
Give or take, this operation has roughly
O (a * (log(b) + log(c) + log(d) + log(e) + log(f)))
complexity, where,
(a) is the size of the chunk of the Accounts, which is the pulse-size, iterate over
(b) is the size of the StakeDistr, lookup
(c) is the size of the DRepDistr, insertWith
(d) is the size of the dpProposalDeposits, lookup
(e) is the size of the registered DReps, lookup
(f) is the size of the PoolDistr, insert
getRatifyState ∷ (ConwayEraAccounts era, EraStake era) ⇒ ConwayGovState era → RatifyState era Source #
conwayGovStateDRepDistrG ∷ (ConwayEraAccounts era, EraStake era) ⇒ SimpleGetter (ConwayGovState era) (Map DRep (CompactForm Coin)) Source #
psDRepDistrG ∷ (EraStake era, ConwayEraAccounts era) ⇒ SimpleGetter (DRepPulsingState era) (Map DRep (CompactForm Coin)) Source #
This is potentially an expensive getter. Make sure not to use it in the first 80% of the epoch.
data PulsingSnapshot era Source #
A snapshot of information from the previous epoch stored inside the Pulser.
After the pulser completes, but before the epoch turns, this information
is store in the DRComplete constructor of the DRepPulsingState
These are the values at the start of the current epoch. This allows the API
To access these "previous" values, both during and after pulsing.
Constructors
| PulsingSnapshot | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods toJSON ∷ PulsingSnapshot era → Value Source # toEncoding ∷ PulsingSnapshot era → Encoding Source # toJSONList ∷ [PulsingSnapshot era] → Value Source # toEncodingList ∷ [PulsingSnapshot era] → Encoding Source # omitField ∷ PulsingSnapshot era → Bool Source # | |||||
| EraPParams era ⇒ FromCBOR (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |||||
| EraPParams era ⇒ ToCBOR (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods toCBOR ∷ PulsingSnapshot era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PulsingSnapshot era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PulsingSnapshot era] → Size Source # | |||||
| EraPParams era ⇒ DecCBOR (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |||||
| EraPParams era ⇒ DecShareCBOR (PulsingSnapshot era) Source # | |||||
| EraPParams era ⇒ EncCBOR (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods encCBOR ∷ PulsingSnapshot era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods toKeyValuePairs ∷ KeyValue e kv ⇒ PulsingSnapshot era → [kv] Source # | |||||
| Default (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods def ∷ PulsingSnapshot era Source # | |||||
| EraPParams era ⇒ NFData (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods rnf ∷ PulsingSnapshot era → () # | |||||
| Generic (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Associated Types
Methods from ∷ PulsingSnapshot era → Rep (PulsingSnapshot era) x # to ∷ Rep (PulsingSnapshot era) x → PulsingSnapshot era # | |||||
| EraPParams era ⇒ Show (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods showsPrec ∷ Int → PulsingSnapshot era → ShowS # show ∷ PulsingSnapshot era → String # showList ∷ [PulsingSnapshot era] → ShowS # | |||||
| EraPParams era ⇒ Eq (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods (==) ∷ PulsingSnapshot era → PulsingSnapshot era → Bool # (/=) ∷ PulsingSnapshot era → PulsingSnapshot era → Bool # | |||||
| EraPParams era ⇒ NoThunks (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |||||
| type Share (PulsingSnapshot era) Source # | |||||
| type Rep (PulsingSnapshot era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser type Rep (PulsingSnapshot era) = D1 ('MetaData "PulsingSnapshot" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "PulsingSnapshot" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (GovActionState era))) :*: S1 ('MetaSel ('Just "psDRepDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map DRep (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "psDRepState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole) DRepState)) :*: S1 ('MetaSel ('Just "psPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) (CompactForm Coin)))))) | |||||
setCompleteDRepPulsingState ∷ ConwayEraGov era ⇒ PulsingSnapshot era → RatifyState era → EpochState era → EpochState era Source #
setFreshDRepPulsingState ∷ ∀ era (m ∷ Type → Type). (GovState era ~ ConwayGovState era, Monad m, RunConwayRatify era, ConwayEraGov era, ConwayEraCertState era) ⇒ EpochNo → PoolDistr → EpochState era → ReaderT Globals m (EpochState era) Source #
Refresh the pulser in the EpochState using all the new data that is needed to compute the RatifyState when pulsing completes.
psProposalsL ∷ ∀ era f. Functor f ⇒ (StrictSeq (GovActionState era) → f (StrictSeq (GovActionState era))) → PulsingSnapshot era → f (PulsingSnapshot era) Source #
psDRepDistrL ∷ ∀ era f. Functor f ⇒ (Map DRep (CompactForm Coin) → f (Map DRep (CompactForm Coin))) → PulsingSnapshot era → f (PulsingSnapshot era) Source #
psDRepStateL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'DRepRole) DRepState → f (Map (Credential 'DRepRole) DRepState)) → PulsingSnapshot era → f (PulsingSnapshot era) Source #
psPoolDistrL ∷ ∀ era f. Functor f ⇒ (Map (KeyHash 'StakePool) (CompactForm Coin) → f (Map (KeyHash 'StakePool) (CompactForm Coin))) → PulsingSnapshot era → f (PulsingSnapshot era) Source #
class (STS (ConwayRATIFY era), Signal (ConwayRATIFY era) ~ RatifySignal era, BaseM (ConwayRATIFY era) ~ Reader Globals, Environment (ConwayRATIFY era) ~ RatifyEnv era, State (ConwayRATIFY era) ~ RatifyState era, PredicateFailure (ConwayRATIFY era) ~ Void) ⇒ RunConwayRatify era where Source #
Minimal complete definition
Nothing
Methods
runConwayRatify ∷ Globals → RatifyEnv era → RatifyState era → RatifySignal era → RatifyState era Source #
Instances
| RunConwayRatify ConwayEra Source # | |
Defined in Cardano.Ledger.Conway Methods runConwayRatify ∷ Globals → RatifyEnv ConwayEra → RatifyState ConwayEra → RatifySignal ConwayEra → RatifyState ConwayEra Source # | |
govStatePrevGovActionIds ∷ ConwayEraGov era ⇒ GovState era → GovRelation StrictMaybe Source #
mkEnactState ∷ ConwayEraGov era ⇒ GovState era → EnactState era Source #
ratifySignalL ∷ ∀ era f. Functor f ⇒ (StrictSeq (GovActionState era) → f (StrictSeq (GovActionState era))) → RatifySignal era → f (RatifySignal era) Source #
reDRepDistrL ∷ ∀ era f. Functor f ⇒ (Map DRep (CompactForm Coin) → f (Map DRep (CompactForm Coin))) → RatifyEnv era → f (RatifyEnv era) Source #
reDRepStateL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'DRepRole) DRepState → f (Map (Credential 'DRepRole) DRepState)) → RatifyEnv era → f (RatifyEnv era) Source #
reCurrentEpochL ∷ ∀ era f. Functor f ⇒ (EpochNo → f EpochNo) → RatifyEnv era → f (RatifyEnv era) Source #
reCommitteeStateL ∷ ∀ era f. Functor f ⇒ (CommitteeState era → f (CommitteeState era)) → RatifyEnv era → f (RatifyEnv era) Source #
data DefaultVote Source #
Default vote that will be used for Stake Pool.
Constructors
| DefaultNo | Reward account is delegated to a |
| DefaultAbstain | Reward account is delegated to |
| DefaultNoConfidence | Reward account is delegated to |
Instances
| FromCBOR DefaultVote Source # | |
Defined in Cardano.Ledger.Conway.Governance | |
| ToCBOR DefaultVote Source # | |
Defined in Cardano.Ledger.Conway.Governance Methods toCBOR ∷ DefaultVote → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy DefaultVote → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DefaultVote] → Size Source # | |
| DecCBOR DefaultVote Source # | |
Defined in Cardano.Ledger.Conway.Governance | |
| EncCBOR DefaultVote Source # | |
Defined in Cardano.Ledger.Conway.Governance Methods | |
| Show DefaultVote Source # | |
Defined in Cardano.Ledger.Conway.Governance Methods showsPrec ∷ Int → DefaultVote → ShowS # show ∷ DefaultVote → String # showList ∷ [DefaultVote] → ShowS # | |
| Eq DefaultVote Source # | |
Defined in Cardano.Ledger.Conway.Governance | |
Arguments
| ∷ ConwayEraAccounts era | |
| ⇒ KeyHash 'StakePool | Specify the key hash of the pool whose default vote should be returned. |
| → Map (KeyHash 'StakePool) StakePoolState | Registered Stake Pools |
| → Accounts era | Delegations of staking credneitals to a DRep |
| → DefaultVote |
translateProposals ∷ (TranslateEra era GovActionState, TranslationError era GovActionState ~ Void) ⇒ TranslationContext era → Proposals (PreviousEra era) → Proposals era Source #
Exported for testing
pparamsUpdateThreshold ∷ ConwayEraPParams era ⇒ DRepVotingThresholds → PParamsUpdate era → UnitInterval Source #
Wraper type, which serves as a composition of Tree . StrictMaybe
Also its Show instance will print a nice tree structure.
Constructors
| TreeMaybe | |
Fields
| |
toGovRelationTree ∷ HasCallStack ⇒ Proposals era → GovRelation TreeMaybe Source #
Partial version of toGovRelationTreeEither
showGovActionType ∷ GovAction era → String Source #
Orphan instances
| EraGov ConwayEra Source # | |||||
Associated Types
Methods emptyGovState ∷ GovState ConwayEra Source # curPParamsGovStateL ∷ Lens' (GovState ConwayEra) (PParams ConwayEra) Source # prevPParamsGovStateL ∷ Lens' (GovState ConwayEra) (PParams ConwayEra) Source # futurePParamsGovStateL ∷ Lens' (GovState ConwayEra) (FuturePParams ConwayEra) Source # obligationGovState ∷ GovState ConwayEra → Obligations Source # | |||||