Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway.Governance.DRepPulser

Synopsis

value completeDRepPulsingState
value computeDRepDistr
value extractDRepPulsingState
value finishDRepPulser
value psDRepDistrG
value psDRepDistrL
value psDRepStateL
value psPoolDistrL
value psProposalsL
value pulseDRepPulsingState
data DRepPulser
data DRepPulsingState
data PulsingSnapshot
class RunConwayRatify

Packagecardano-ledger-conway-1.23.0.0
Exports14
LicenceApache-2.0

valuecompleteDRepPulsingState

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> DRepPulsingState era

valuecomputeDRepDistr

:: (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)

valueextractDRepPulsingState

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> RatifyState era

valuefinishDRepPulser

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> (PulsingSnapshot era, RatifyState era)

value

psDRepDistrG :: (EraStake era, ConwayEraAccounts era) => SimpleGetter (DRepPulsingState era) (Map DRep (CompactForm Coin))

valuepsDRepDistrL

:: Functor f
=> Map DRep (CompactForm Coin) -> f (Map DRep (CompactForm Coin))
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepsDRepStateL

:: Functor f
=> Map (Credential DRepRole) DRepState -> f (Map (Credential DRepRole) DRepState)
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepsPoolDistrL

:: Functor f
=> Map (KeyHash StakePool) (CompactForm Coin) -> f (Map (KeyHash StakePool) (CompactForm Coin))
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepsProposalsL

:: Functor f
=> StrictSeq (GovActionState era) -> f (StrictSeq (GovActionState era))
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepulseDRepPulsingState

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> DRepPulsingState era

datadata DRepPulser era (m :: Type -> Type) ans where

Constructors

DRepPulser :: (ans ~ RatifyState era, m ~ Identity, RunConwayRatify era) => !Int -> !Accounts era -> !Int -> !InstantStake era -> PoolDistr -> !Map DRep (CompactForm Coin) -> !Map (Credential DRepRole) DRepState -> !EpochNo -> !CommitteeState era -> !EnactState era -> !StrictSeq (GovActionState era) -> !Map (Credential Staking) (CompactForm Coin) -> !Globals -> !Map (KeyHash StakePool) StakePoolState -> DRepPulser era m ans
- dpPulseSize :: !Int
- dpAccounts :: !Accounts era
- dpIndex :: !Int
- dpInstantStake :: !InstantStake era
- dpStakePoolDistr :: PoolDistr
- dpDRepDistr :: !Map DRep (CompactForm Coin)
- dpDRepState :: !Map (Credential DRepRole) DRepState
- dpCurrentEpoch :: !EpochNo
- dpCommitteeState :: !CommitteeState era
- dpEnactState :: !EnactState era
- dpProposals :: !StrictSeq (GovActionState era)
- dpProposalDeposits :: !Map (Credential Staking) (CompactForm Coin)
- dpGlobals :: !Globals
- dpStakePools :: !Map (KeyHash StakePool) StakePoolState

Instances5Pulsable, Eq, Show, NFData, NoThunks

(EraStake era, ConwayEraAccounts era) => Pulsable (DRepPulser era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, EraStake era, ConwayEraAccounts era) => Eq (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, Show (InstantStake era), Show (Accounts era), Show ans) => Show (DRepPulser era m ans)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser

datadata DRepPulsingState era

Constructors

DRPulsing !(DRepPulser era Identity (RatifyState era))
DRComplete !(PulsingSnapshot era) !(RatifyState era)

Instances10Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

(ConwayEraAccounts era, EraStake era, EraPParams era) => Eq (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(ConwayEraAccounts era, EraStake era, EraPParams era) => Show (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
Generic (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecCBOR (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecShareCBOR (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(ConwayEraAccounts era, EraStake era, EraPParams era) => EncCBOR (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Rep (DRepPulsingState era) = D1 ('MetaData "DRepPulsingState" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (C1 ('MetaCons "DRPulsing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRepPulser era Identity (RatifyState era)))) :+: C1 ('MetaCons "DRComplete" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PulsingSnapshot era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RatifyState era))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Share (DRepPulsingState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser

datadata PulsingSnapshot era

Constructors

PulsingSnapshot
- psProposals :: !StrictSeq (GovActionState era)
- psDRepDistr :: !Map DRep (CompactForm Coin)
- psDRepState :: !Map (Credential DRepRole) DRepState
- psPoolDistr :: Map (KeyHash StakePool) (CompactForm Coin)

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

EraPParams era => Eq (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => Show (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
Generic (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => NFData (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => ToJSON (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
Default (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => NoThunks (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecShareCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => EncCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => ToKeyValuePairs (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Rep (PulsingSnapshot era) = D1 ('MetaData "PulsingSnapshot" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" '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))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Share (PulsingSnapshot era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser

class

class (STS (RATIFY era), Signal (RATIFY era) ~ RatifySignal era, BaseM (RATIFY era) ~ Reader Globals, Environment (RATIFY era) ~ RatifyEnv era, State (RATIFY era) ~ RatifyState era, PredicateFailure (RATIFY era) ~ Void) => RunConwayRatify era where

Methods

runConwayRatify :: Globals -> RatifyEnv era -> RatifyState era -> RatifySignal era -> RatifyState era

Instances1RunConwayRatify

RunConwayRatify ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan