cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Gov

Documentation

data ConwayGOV era Source #

Instances

Instances details
(ConwayEraTxCert era, ConwayEraPParams era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ STS (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type State (ConwayGOV era) Source #

type Signal (ConwayGOV era) Source #

type Environment (ConwayGOV era) Source #

type BaseM (ConwayGOV era) ∷ TypeType Source #

type Event (ConwayGOV era) Source #

type PredicateFailure (ConwayGOV era) Source #

(ConwayEraTxCert era, ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type BaseM (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Environment (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Environment (ConwayGOV era) = GovEnv era
type Event (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Event (ConwayGOV era) = ConwayGovEvent era
type PredicateFailure (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Signal (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Signal (ConwayGOV era) = GovSignal era
type State (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type State (ConwayGOV era) = Proposals era

data GovEnv era Source #

Constructors

GovEnv 

Fields

Instances

Instances details
Generic (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (GovEnv era) ∷ TypeType Source #

Methods

fromGovEnv era → Rep (GovEnv era) x Source #

toRep (GovEnv era) x → GovEnv era Source #

(Show (PParams era), Era era) ⇒ Show (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

showsPrecIntGovEnv era → ShowS Source #

showGovEnv era → String Source #

showList ∷ [GovEnv era] → ShowS Source #

(NFData (PParams era), Era era) ⇒ NFData (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfGovEnv era → () Source #

Eq (PParams era) ⇒ Eq (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

(==)GovEnv era → GovEnv era → Bool Source #

(/=)GovEnv era → GovEnv era → Bool Source #

type Rep (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (GovEnv era) = D1 ('MetaData "GovEnv" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "GovEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "geTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Just "geEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "gePPolicy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))) :*: S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era))))))

data GovSignal era Source #

Instances

Instances details
Generic (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (GovSignal era) ∷ TypeType Source #

Methods

fromGovSignal era → Rep (GovSignal era) x Source #

toRep (GovSignal era) x → GovSignal era Source #

(EraPParams era, Show (TxCert era)) ⇒ Show (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

showsPrecIntGovSignal era → ShowS Source #

showGovSignal era → String Source #

showList ∷ [GovSignal era] → ShowS Source #

(EraPParams era, NFData (TxCert era)) ⇒ NFData (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfGovSignal era → () Source #

(EraPParams era, Eq (TxCert era)) ⇒ Eq (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

(==)GovSignal era → GovSignal era → Bool Source #

(/=)GovSignal era → GovSignal era → Bool Source #

type Rep (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "GovSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "gsVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :*: (S1 ('MetaSel ('Just "gsProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure era))) :*: S1 ('MetaSel ('Just "gsCertificates") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))))))

data ConwayGovEvent era Source #

Constructors

GovNewProposals !(TxId (EraCrypto era)) !(Proposals era) 

Instances

Instances details
Generic (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (ConwayGovEvent era) ∷ TypeType Source #

Methods

fromConwayGovEvent era → Rep (ConwayGovEvent era) x Source #

toRep (ConwayGovEvent era) x → ConwayGovEvent era Source #

EraPParams era ⇒ NFData (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfConwayGovEvent era → () Source #

EraPParams era ⇒ Eq (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovEvent era) = D1 ('MetaData "ConwayGovEvent" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era))))

data ConwayGovPredFailure era Source #

Constructors

GovActionsDoNotExist (NonEmpty (GovActionId (EraCrypto era))) 
MalformedProposal (GovAction era) 
ProposalProcedureNetworkIdMismatch (RewardAccount (EraCrypto era)) Network 
TreasuryWithdrawalsNetworkIdMismatch (Set (RewardAccount (EraCrypto era))) Network 
ProposalDepositIncorrect 

Fields

DisallowedVoters !(NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))

Some governance actions are not allowed to be voted on by certain types of Voters. This failure lists all governance action ids with their respective voters that are not allowed to vote on those governance actions.

ConflictingCommitteeUpdate 

Fields

ExpirationEpochTooSmall 

Fields

InvalidPrevGovActionId (ProposalProcedure era) 
VotingOnExpiredGovAction (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))) 
ProposalCantFollow 

Fields

InvalidPolicyHash 

Fields

DisallowedProposalDuringBootstrap (ProposalProcedure era) 
DisallowedVotesDuringBootstrap (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))) 
VotersDoNotExist (NonEmpty (Voter (EraCrypto era)))

Predicate failure for votes by entities that are not present in the ledger state

Instances

Instances details
InjectRuleFailure "BBODY" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (ConwayGovPredFailure era) ∷ TypeType Source #

EraPParams era ⇒ Show (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ FromCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ ToCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ DecCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ EncCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ NFData (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfConwayGovPredFailure era → () Source #

EraPParams era ⇒ Eq (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ NoThunks (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovPredFailure era) = D1 ('MetaData "ConwayGovPredFailure" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (((C1 ('MetaCons "GovActionsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (GovActionId (EraCrypto era))))) :+: (C1 ('MetaCons "MalformedProposal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era))) :+: C1 ('MetaCons "ProposalProcedureNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RewardAccount (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons "TreasuryWithdrawalsNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (RewardAccount (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons "ProposalDepositIncorrect" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :+: (C1 ('MetaCons "DisallowedVoters" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))))) :+: C1 ('MetaCons "ConflictingCommitteeUpdate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'ColdCommitteeRole (EraCrypto era)))))))) :+: (((C1 ('MetaCons "ExpirationEpochTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo))) :+: C1 ('MetaCons "InvalidPrevGovActionId" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era)))) :+: (C1 ('MetaCons "VotingOnExpiredGovAction" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))))) :+: C1 ('MetaCons "ProposalCantFollow" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer))))) :+: ((C1 ('MetaCons "InvalidPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "DisallowedProposalDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era)))) :+: (C1 ('MetaCons "DisallowedVotesDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))))) :+: C1 ('MetaCons "VotersDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter (EraCrypto era)))))))))

Orphan instances