Modulecardano-ledger-shelley-1.19.0.1
Cardano.Ledger.Shelley.Governance
- 2 types
- 1 class
- 8 values
- Packagecardano-ledger-shelley-1.19.0.1
- Exports11
- LicenceApache-2.0
class
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 whereAssociated types
type family GovState era
Methods
emptyGovState :: GovState eracurPParamsGovStateL :: Lens' (GovState era) (PParams era)prevPParamsGovStateL :: Lens' (GovState era) (PParams era)futurePParamsGovStateL :: Lens' (GovState era) (FuturePParams era)obligationGovState :: GovState era -> Obligations
Instances1EraGov
EraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan
Constructors
Instances10Eq, Show, Generic, NFData, ToJSON, Default, …
Eq (PParams era) => Eq (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceShow (PParams era) => Show (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceGeneric (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceNFData (PParams era) => NFData (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceToJSON (PParams era) => ToJSON (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceDefault (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceNoThunks (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance(Typeable era, DecCBOR (PParams era)) => DecCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceEncCBOR (PParams era) => EncCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governancetype Rep (FuturePParams era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance"FuturePParams"
"Cardano.Ledger.State.Governance"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"NoPParamsUpdate"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"DefinitePParamsUpdate"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :+: C1 ('MetaCons"PotentialPParamsUpdate"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (PParams era))))))
Constructors
ShelleyGovStatesgsCurProposals :: !ProposedPPUpdates erasgsFutureProposals :: !ProposedPPUpdates erasgsCurPParams :: !PParams erasgsPrevPParams :: !PParams erasgsFuturePParams :: !FuturePParams era
Instances15Eq, Show, Generic, NFData, ToJSON, Default, …
(Eq (PParamsUpdate era), Eq (PParams era)) => Eq (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(Show (PParamsUpdate era), Show (PParams era)) => Show (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GovernanceGeneric (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(NFData (PParamsUpdate era), NFData (PParams era)) => NFData (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GovernanceEraPParams era => ToJSON (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GovernanceEraPParams era => Default (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(NoThunks (PParamsUpdate era), NoThunks (PParams era)) => NoThunks (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => FromCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => ToCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => EncCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GovernanceEraPParams era => ToKeyValuePairs (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governancetype Rep (ShelleyGovState era) = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance"ShelleyGovState"
"Cardano.Ledger.Shelley.Governance"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"ShelleyGovState"
'PrefixI 'True) ((S1 ('MetaSel ('Just"sgsCurProposals"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just"sgsFutureProposals"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just"sgsCurPParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just"sgsPrevPParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just"sgsFuturePParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era))))))