Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.Gov

Contents

Orphan instances

Documentation

data ConwayGOV era Source #

Instances

Instances details

(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) ∷ Type → Type Source # type Event (ConwayGOV era) Source # type PredicateFailure (ConwayGOV era) Source # Methods initialRules ∷ [InitialRule (ConwayGOV era)] Source # transitionRules ∷ [TransitionRule (ConwayGOV era)] Source # assertions ∷ [Assertion (ConwayGOV era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayGOV era) → String Source #
(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 Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type BaseM (ConwayGOV era) = ShelleyBase
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 PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type Signal (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Signal (ConwayGOV era) = GovProcedures 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 geTxId ∷ !(TxId (EraCrypto era)) geEpoch ∷ !EpochNo gePParams ∷ !(PParams era) gePPolicy ∷ !(StrictMaybe (ScriptHash (EraCrypto era))) geCommitteeState ∷ !(CommitteeState era)

Instances

Instances details

Generic (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (GovEnv era) ∷ Type → Type Source # Methods from ∷ GovEnv era → Rep (GovEnv era) x Source # to ∷ Rep (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 showsPrec ∷ Int → GovEnv era → ShowS Source # show ∷ GovEnv 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 rnf ∷ GovEnv 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.14.0.0-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 "geCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState 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) ∷ Type → Type Source # Methods from ∷ ConwayGovEvent era → Rep (ConwayGovEvent era) x Source # to ∷ Rep (ConwayGovEvent era) x → ConwayGovEvent era Source #
EraPParams era ⇒ NFData (ConwayGovEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovEvent era → () Source #
EraPParams era ⇒ Eq (ConwayGovEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool Source # (/=) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe 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 Coin Submitted deposit Coin Expected deposit taken from `PParams`
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 (Set (Credential 'ColdCommitteeRole (EraCrypto era))) Credentials that are mentioned as members to be both removed and added
ExpirationEpochTooSmall
Fields (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo) Members for which the expiration epoch has already been reached
InvalidPrevGovActionId (ProposalProcedure era)
VotingOnExpiredGovAction (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))
ProposalCantFollow
Fields (StrictMaybe (GovPurposeId 'HardForkPurpose era)) The PrevGovActionId of the HardForkInitiation that fails ProtVer Its protocol version ProtVer The ProtVer of the Previous GovAction pointed to by the one proposed
InvalidPolicyHash
Fields (StrictMaybe (ScriptHash (EraCrypto era))) The policy script hash in the proposal (StrictMaybe (ScriptHash (EraCrypto era))) The policy script hash of the current constitution
DisallowedProposalDuringBootstrap (ProposalProcedure era)
DisallowedVotesDuringBootstrap (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))

Instances

Instances details

InjectRuleFailure "BBODY" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "GOV" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (ConwayGovPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayGovPredFailure era → Rep (ConwayGovPredFailure era) x Source # to ∷ Rep (ConwayGovPredFailure era) x → ConwayGovPredFailure era Source #
EraPParams era ⇒ Show (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods showsPrec ∷ Int → ConwayGovPredFailure era → ShowS Source # show ∷ ConwayGovPredFailure era → String Source # showList ∷ [ConwayGovPredFailure era] → ShowS Source #
EraPParams era ⇒ FromCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods fromCBOR ∷ Decoder s (ConwayGovPredFailure era) Source # label ∷ Proxy (ConwayGovPredFailure era) → Text Source #
EraPParams era ⇒ ToCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods toCBOR ∷ ConwayGovPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovPredFailure era] → Size Source #
EraPParams era ⇒ DecCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods decCBOR ∷ Decoder s (ConwayGovPredFailure era) Source # dropCBOR ∷ Proxy (ConwayGovPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayGovPredFailure era) → Text Source #
EraPParams era ⇒ EncCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods encCBOR ∷ ConwayGovPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovPredFailure era] → Size Source #
EraPParams era ⇒ NFData (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovPredFailure era → () Source #
EraPParams era ⇒ Eq (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool Source # (/=) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool Source #
EraPParams era ⇒ NoThunks (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods noThunks ∷ Context → ConwayGovPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayGovPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayGovPredFailure era) → String Source #
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.14.0.0-inplace" 'False) (((C1 ('MetaCons "GovActionsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (GovActionId (EraCrypto era))))) :+: (C1 ('MetaCons "MalformedProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era))) :+: C1 ('MetaCons "ProposalProcedureNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RewardAccount (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons "TreasuryWithdrawalsNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (RewardAccount (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons "ProposalDepositIncorrect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :+: (C1 ('MetaCons "DisallowedVoters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))))) :+: C1 ('MetaCons "ConflictingCommitteeUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'ColdCommitteeRole (EraCrypto era)))))))) :+: ((C1 ('MetaCons "ExpirationEpochTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo))) :+: (C1 ('MetaCons "InvalidPrevGovActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))) :+: C1 ('MetaCons "VotingOnExpiredGovAction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era))))))) :+: ((C1 ('MetaCons "ProposalCantFollow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer))) :+: C1 ('MetaCons "InvalidPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))))) :+: (C1 ('MetaCons "DisallowedProposalDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))) :+: C1 ('MetaCons "DisallowedVotesDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))))))))

Orphan instances

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

Instance details

Associated Types

type State (ConwayGOV era) Source #

type Signal (ConwayGOV era) Source #

type Environment (ConwayGOV era) Source #

type BaseM (ConwayGOV era) ∷ Type → Type Source #

type Event (ConwayGOV era) Source #

type PredicateFailure (ConwayGOV era) Source #

Methods

initialRules ∷ [InitialRule (ConwayGOV era)] Source #

transitionRules ∷ [TransitionRule (ConwayGOV era)] Source #

assertions ∷ [Assertion (ConwayGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayGOV era) → String Source #