Modulecardano-ledger-conway-1.23.0.0
Cardano.Ledger.Conway.Governance.DRepPulser
- 3 types
- 1 class
- 10 values
- Packagecardano-ledger-conway-1.23.0.0
- Exports14
- LicenceApache-2.0
value
psDRepDistrG :: (EraStake era, ConwayEraAccounts era) => SimpleGetter (DRepPulsingState era) (Map DRep (CompactForm Coin))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 ansdpPulseSize :: !IntdpAccounts :: !Accounts eradpIndex :: !IntdpInstantStake :: !InstantStake eradpStakePoolDistr :: PoolDistrdpDRepDistr :: !Map DRep (CompactForm Coin)dpDRepState :: !Map (Credential DRepRole) DRepStatedpCurrentEpoch :: !EpochNodpCommitteeState :: !CommitteeState eradpEnactState :: !EnactState eradpProposals :: !StrictSeq (GovActionState era)dpProposalDeposits :: !Map (Credential Staking) (CompactForm Coin)dpGlobals :: !GlobalsdpStakePools :: !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
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.DRepPulserGeneric (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.DRepPulserEraPParams era => DecCBOR (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.DRepPulsertype Rep (DRepPulsingState era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser"DRepPulsingState"
"Cardano.Ledger.Conway.Governance.DRepPulser"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))
Constructors
PulsingSnapshotpsProposals :: !StrictSeq (GovActionState era)psDRepDistr :: !Map DRep (CompactForm Coin)psDRepState :: !Map (Credential DRepRole) DRepStatepsPoolDistr :: 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.DRepPulserEraPParams era => Show (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserGeneric (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserEraPParams era => NFData (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserEraPParams era => ToJSON (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserDefault (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserEraPParams era => NoThunks (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserEraPParams era => DecCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserEraPParams era => EncCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulserEraPParams era => ToKeyValuePairs (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulsertype Rep (PulsingSnapshot era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser"PulsingSnapshot"
"Cardano.Ledger.Conway.Governance.DRepPulser"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))))
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 whereMethods
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