Modulecardano-ledger-api-1.14.0.0
Cardano.Ledger.Api.Governance
- 22 types
- 1 class
- 8 values
- Packagecardano-ledger-api-1.14.0.0
- Exports31
- LicenceApache-2.0
Deprecated. In favor of constitutionGuardrailsScriptHashL
Constructors
ConwayGovStatecgsProposals :: !Proposals eracgsCommittee :: !StrictMaybe (Committee era)cgsConstitution :: !Constitution eracgsCurPParams :: !PParams eracgsPrevPParams :: !PParams eracgsFuturePParams :: !FuturePParams eracgsDRepPulsingState :: !DRepPulsingState era
Instances17TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
TranslateEra DijkstraEra ConwayGovStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan(ConwayEraAccounts era, EraPParams era, EraStake era) => Eq (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(ConwayEraAccounts era, EraStake era, EraPParams era) => Show (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GovernanceGeneric (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(ConwayEraAccounts era, EraPParams era, EraStake era) => ToJSON (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GovernanceEraPParams era => Default (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GovernanceEraPParams era => FromCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(ConwayEraAccounts era, EraPParams era, EraStake era) => ToCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GovernanceEraPParams era => DecCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(ConwayEraAccounts era, EraPParams era, EraStake era) => EncCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance(ConwayEraAccounts era, EraPParams era, EraStake era) => ToKeyValuePairs (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governancetype Rep (ConwayGovState era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance"ConwayGovState"
"Cardano.Ledger.Conway.Governance"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))))type TranslationError DijkstraEra ConwayGovState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Constructors
DRPulsing !(DRepPulser era Identity (RatifyState era))DRComplete !(PulsingSnapshot era) !(RatifyState era)
Instances12TranslateEra, Eq, Show, Generic, NFData, NoThunks, …
TranslateEra DijkstraEra DRepPulsingStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan(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))))type TranslationError DijkstraEra DRepPulsingState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Constructors
EnactStateensCommittee :: !StrictMaybe (Committee era)ensConstitution :: !Constitution eraensCurPParams :: !PParams eraensPrevPParams :: !PParams eraensTreasury :: !CoinensWithdrawals :: !Map (Credential Staking) CoinensPrevGovActionIds :: !GovRelation StrictMaybe
Instances15TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
TranslateEra DijkstraEra EnactStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan(Era era, Eq (PParams era)) => Eq (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal(Era era, Show (PParams era)) => Show (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalGeneric (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => NFData (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => ToJSON (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => Default (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => NoThunks (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => DecCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => EncCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => ToKeyValuePairs (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internaltype Rep (EnactState era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal"EnactState"
"Cardano.Ledger.Conway.Governance.Internal"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))))type TranslationError DijkstraEra EnactState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Constructors
RatifyStatersEnactState :: !EnactState erarsEnacted :: !Seq (GovActionState era)rsExpired :: !Set GovActionIdrsDelayed :: !Bool
Instances18TranslateEra, Show, Generic, ToJSON, Default, DecCBOR, …
TranslateEra DijkstraEra RatifyStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphanEraPParams era => Eq (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => Show (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalGeneric (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => NFData (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => ToJSON (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => Default (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => NoThunks (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => DecCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => EncCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.InternalEraPParams era => ToKeyValuePairs (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal(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, 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.DRepPulsertype Rep (RatifyState era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal"RatifyState"
"Cardano.Ledger.Conway.Governance.Internal"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))type TranslationError DijkstraEra RatifyState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Constructors
Instances12Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => NFData (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => FromJSON (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresDefault (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => NoThunks (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => DecCBOR (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => EncCBOR (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToKeyValuePairs (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (Committee era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"Committee"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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)))
Constructors
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresOrd (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => NFData (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => FromJSON (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => Default (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => NoThunks (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => FromCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => ToCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => DecCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => EncCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToKeyValuePairs (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (Constitution era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"Constitution"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"Constitution"
'PrefixI 'True) (S1 ('MetaSel ('Just"constitutionAnchor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: S1 ('MetaSel ('Just"constitutionGuardrailsScriptHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))
Constructors
ParameterChange !(StrictMaybe (GovPurposeId 'PParamUpdatePurpose)) !(PParamsUpdate era) !(StrictMaybe ScriptHash)HardForkInitiation !(StrictMaybe (GovPurposeId 'HardForkPurpose)) !ProtVerTreasuryWithdrawals !(Map AccountAddress Coin) !(StrictMaybe ScriptHash)NoConfidence !(StrictMaybe (GovPurposeId 'CommitteePurpose))UpdateCommittee !(StrictMaybe (GovPurposeId 'CommitteePurpose)) !(Set (Credential ColdCommitteeRole)) !(Map (Credential ColdCommitteeRole) EpochNo) !UnitIntervalNewConstitution !(StrictMaybe (GovPurposeId 'ConstitutionPurpose)) !(Constitution era)InfoAction
Instances12TranslateEra, Eq, Ord, Show, Generic, NFData, …
TranslateEra DijkstraEra GovActionDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphanEraPParams era => Eq (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Ord (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Show (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => NFData (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToJSON (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => NoThunks (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => DecCBOR (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => EncCBOR (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (GovAction era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovAction"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) ((C1 ('MetaCons"ParameterChange"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'PParamUpdatePurpose))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParamsUpdate era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash)))) :+: (C1 ('MetaCons"HardForkInitiation"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtVer)) :+: C1 ('MetaCons"TreasuryWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map AccountAddress Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))) :+: ((C1 ('MetaCons"NoConfidence"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose)))) :+: C1 ('MetaCons"UpdateCommittee"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential ColdCommitteeRole)))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :+: (C1 ('MetaCons"NewConstitution"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'ConstitutionPurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era))) :+: C1 ('MetaCons"InfoAction"
'PrefixI 'False) U1)))type TranslationError DijkstraEra GovAction = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Constructors
Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresOrd GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNFData GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSONKey GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresDecCBOR GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEncCBOR GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToKeyValuePairs GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresHasOKey GovActionId (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep GovActionId = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovActionId"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"GovActionId"
'PrefixI 'True) (S1 ('MetaSel ('Just"gaidTxId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just"gaidGovActionIx"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 GovActionIx)))
Constructors
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresOrd GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNFData GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresDecCBOR GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEncCBOR GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep GovActionIx = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovActionIx"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'True) (C1 ('MetaCons"GovActionIx"
'PrefixI 'True) (S1 ('MetaSel ('Just"unGovActionIx"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))
Instances4Eq, Show, Generic, Rep
Eq GovActionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow GovActionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric GovActionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep GovActionPurpose = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovActionPurpose"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) ((C1 ('MetaCons"PParamUpdatePurpose"
'PrefixI 'False) U1 :+: C1 ('MetaCons"HardForkPurpose"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"CommitteePurpose"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ConstitutionPurpose"
'PrefixI 'False) U1))
Constructors
Instances16TranslateEra, HasOKey, Eq, Ord, Show, Generic, …
TranslateEra DijkstraEra GovActionStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphanHasOKey GovActionId (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Eq (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Ord (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Show (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => NFData (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToJSON (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => NoThunks (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => DecCBOR (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => EncCBOR (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToKeyValuePairs (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (GovActionState era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovActionState"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just"gasExpiresAfter"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))))type TranslationError DijkstraEra GovActionState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Constructors
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresOrd (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow (TreeMaybe (GovPurposeId p))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProposalsGeneric (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNFData (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSONKey (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresTypeable p => DecCBOR (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEncCBOR (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (GovPurposeId p) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovPurposeId"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'True) (C1 ('MetaCons"GovPurposeId"
'PrefixI 'True) (S1 ('MetaSel ('Just"unGovPurposeId"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovActionId)))
Constructors
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
(forall (p :: GovActionPurpose). Eq (f (GovPurposeId p))) => Eq (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). Show (f (GovPurposeId p))) => Show (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). Semigroup (f (GovPurposeId p))) => Semigroup (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). Monoid (f (GovPurposeId p))) => Monoid (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). NFData (f (GovPurposeId p))) => NFData (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). ToJSON (f (GovPurposeId p))) => ToJSON (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). Default (f (GovPurposeId p))) => Default (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). NoThunks (f (GovPurposeId p))) => NoThunks (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(Typeable f, forall (p :: GovActionPurpose). Typeable p => DecCBOR (f (GovPurposeId p))) => DecCBOR (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). Typeable p => EncCBOR (f (GovPurposeId p))) => EncCBOR (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures(forall (p :: GovActionPurpose). ToJSON (f (GovPurposeId p))) => ToKeyValuePairs (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (GovRelation f) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"GovRelation"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))))
Constructors
Instances13TranslateEra, Eq, Ord, Show, Generic, NFData, …
TranslateEra DijkstraEra ProposalProcedureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphanEraPParams era => Eq (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Ord (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => Show (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => NFData (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToJSON (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => NoThunks (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => DecCBOR (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => EncCBOR (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToKeyValuePairs (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (ProposalProcedure era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"ProposalProcedure"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"ProposalProcedure"
'PrefixI 'True) ((S1 ('MetaSel ('Just"pProcDeposit"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just"pProcReturnAddr"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountAddress)) :*: (S1 ('MetaSel ('Just"pProcGovAction"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just"pProcAnchor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))type TranslationError DijkstraEra ProposalProcedure = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Instances12Bounded, Enum, Eq, Ord, Show, Generic, …
Bounded VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEnum VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEq VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresOrd VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNFData VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresDecCBOR VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEncCBOR VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep Vote = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"Vote"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"VoteNo"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"VoteYes"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Abstain"
'PrefixI 'False) U1))
Constructors
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresOrd VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNFData VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSON VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresToJSONKey VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresDecCBOR VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEncCBOR VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresIndexable Voter (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep Voter = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"Voter"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"CommitteeVoter"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential HotCommitteeRole))) :+: (C1 ('MetaCons"DRepVoter"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential DRepRole))) :+: C1 ('MetaCons"StakePoolVoter"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)))))
Constructors
Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …
Eq (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNFData (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToJSON (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => DecCBOR (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => EncCBOR (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToKeyValuePairs (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (VotingProcedure era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"VotingProcedure"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'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))))
Constructors
Instances10Indexable, Eq, Show, Generic, NFData, ToJSON, …
Indexable Voter (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEq (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresShow (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresGeneric (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => NFData (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEraPParams era => ToJSON (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresNoThunks (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => DecCBOR (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.ProceduresEra era => EncCBOR (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedurestype Rep (VotingProcedures era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures"VotingProcedures"
"Cardano.Ledger.Conway.Governance.Procedures"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'True) (C1 ('MetaCons"VotingProcedures"
'PrefixI 'True) (S1 ('MetaSel ('Just"unVotingProcedures"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))
Constructors
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDefault AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToKeyValuePairs AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Anchor = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Anchor"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'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))))
Constructors
Instances3Eq, SafeToHash, HashAnnotated
Eq AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesSafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesHashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
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)
Instances7EraGov, …
EraGov AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphanEraGov AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphanEraGov BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.PParams · orphanEraGov ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · orphanEraGov DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Governance · orphanEraGov MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.PParams · orphanEraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan
Constructors
ShelleyGovStatesgsCurProposals :: !ProposedPPUpdates erasgsFutureProposals :: !ProposedPPUpdates erasgsCurPParams :: !PParams erasgsPrevPParams :: !PParams erasgsFuturePParams :: !FuturePParams era
Instances23TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
TranslateEra AllegraEra ShelleyGovStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphanTranslateEra AlonzoEra ShelleyGovStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphanTranslateEra BabbageEra ShelleyGovStateDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphanTranslateEra MaryEra ShelleyGovStateDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan(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))))))type TranslationError AllegraEra ShelleyGovState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphantype TranslationError AlonzoEra ShelleyGovState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphantype TranslationError BabbageEra ShelleyGovState = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphantype TranslationError MaryEra ShelleyGovState = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Constructors
ProposedPPUpdates (Map (KeyHash GenesisRole) (PParamsUpdate era))
Instances21TranslateEra, Eq, Show, Generic, Semigroup, Monoid, …
TranslateEra AllegraEra ProposedPPUpdatesDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphanTranslateEra AlonzoEra ProposedPPUpdatesDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphanTranslateEra BabbageEra ProposedPPUpdatesDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphanTranslateEra MaryEra ProposedPPUpdatesDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphanEq (PParamsUpdate era) => Eq (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsShow (PParamsUpdate era) => Show (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsGeneric (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsSemigroup (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsMonoid (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsNFData (PParamsUpdate era) => NFData (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsEraPParams era => ToJSON (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamsNoThunks (PParamsUpdate era) => NoThunks (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams(Era era, FromCBOR (PParamsUpdate era)) => FromCBOR (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams(Era era, ToCBOR (PParamsUpdate era)) => ToCBOR (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams(Era era, DecCBOR (PParamsUpdate era)) => DecCBOR (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams(Era era, EncCBOR (PParamsUpdate era)) => EncCBOR (ProposedPPUpdates era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParamstype Rep (ProposedPPUpdates era) = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams"ProposedPPUpdates"
"Cardano.Ledger.Shelley.PParams"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'True) (C1 ('MetaCons"ProposedPPUpdates"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash GenesisRole) (PParamsUpdate era)))))type TranslationError AllegraEra ProposedPPUpdates = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphantype TranslationError AlonzoEra ProposedPPUpdates = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphantype TranslationError BabbageEra ProposedPPUpdates = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphantype TranslationError MaryEra ProposedPPUpdates = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan