| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.Rules
Contents
Synopsis
- data ConwayBBODY era
- data ConwayBbodyPredFailure era
- = WrongBlockBodySizeBBODY !(Mismatch 'RelEQ Int)
- | InvalidBodyHashBBODY !(Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))
- | LedgersFailure !(PredicateFailure (EraRule "LEDGERS" era))
- | TooManyExUnits !(Mismatch 'RelLTEQ ExUnits)
- | BodyRefScriptsSizeTooBig !(Mismatch 'RelLTEQ Int)
- maxRefScriptSizePerBlock ∷ Int
- data ConwayCERT era
- data ConwayCertPredFailure era
- = DelegFailure (PredicateFailure (EraRule "DELEG" era))
- | PoolFailure (PredicateFailure (EraRule "POOL" era))
- | GovCertFailure (PredicateFailure (EraRule "GOVCERT" era))
- data ConwayCertEvent era
- = DelegEvent (Event (EraRule "DELEG" era))
- | PoolEvent (Event (EraRule "POOL" era))
- | GovCertEvent (Event (EraRule "GOVCERT" era))
- data CertEnv era = CertEnv {
- cePParams ∷ !(PParams era)
- ceCurrentEpoch ∷ EpochNo
- ceCurrentCommittee ∷ StrictMaybe (Committee era)
- ceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)
- data ConwayDELEG era
- data ConwayDelegPredFailure era
- data ConwayDelegEnv era = ConwayDelegEnv {
- cdePParams ∷ PParams era
- cdePools ∷ Map (KeyHash 'StakePool) PoolParams
- processDelegation ∷ Credential 'Staking → Delegatee → CertState era → CertState era
- data ConwayGOVCERT era
- data ConwayGovCertPredFailure era
- = ConwayDRepAlreadyRegistered !(Credential 'DRepRole)
- | ConwayDRepNotRegistered !(Credential 'DRepRole)
- | ConwayDRepIncorrectDeposit !(Mismatch 'RelEQ Coin)
- | ConwayCommitteeHasPreviouslyResigned !(Credential 'ColdCommitteeRole)
- | ConwayDRepIncorrectRefund !(Mismatch 'RelEQ Coin)
- | ConwayCommitteeIsUnknown !(Credential 'ColdCommitteeRole)
- data ConwayGovCertEnv era = ConwayGovCertEnv {
- cgcePParams ∷ !(PParams era)
- cgceCurrentEpoch ∷ EpochNo
- cgceCurrentCommittee ∷ StrictMaybe (Committee era)
- cgceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)
- computeDRepExpiry ∷ EpochInterval → EpochNo → EpochNo → EpochNo
- data ConwayCERTS era
- data ConwayCertsPredFailure era
- = WithdrawalsNotInRewardsCERTS !(Map RewardAccount Coin)
- | CertFailure !(PredicateFailure (EraRule "CERT" era))
- newtype ConwayCertsEvent era = CertEvent (Event (EraRule "CERT" era))
- data CertsEnv era = CertsEnv {
- certsTx ∷ !(Tx era)
- certsPParams ∷ !(PParams era)
- certsCurrentEpoch ∷ EpochNo
- certsCurrentCommittee ∷ StrictMaybe (Committee era)
- certsCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)
- updateDormantDRepExpiry ∷ EpochNo → VState era → VState era
- data ConwayENACT era
- data EnactSignal era = EnactSignal {
- esGovActionId ∷ !GovActionId
- esGovAction ∷ !(GovAction era)
- data EnactState era = EnactState {
- ensCommittee ∷ !(StrictMaybe (Committee era))
- ensConstitution ∷ !(Constitution era)
- ensCurPParams ∷ !(PParams era)
- ensPrevPParams ∷ !(PParams era)
- ensTreasury ∷ !Coin
- ensWithdrawals ∷ !(Map (Credential 'Staking) Coin)
- ensPrevGovActionIds ∷ !(GovRelation StrictMaybe era)
- data ConwayEPOCH era
- type family PredicateFailure a
- data ConwayEpochEvent era
- = PoolReapEvent (Event (EraRule "POOLREAP" era))
- | SnapEvent (Event (EraRule "SNAP" era))
- | EpochBoundaryRatifyState (RatifyState era)
- | GovInfoEvent (Set (GovActionState era)) (Set (GovActionState era)) (Set (GovActionState era)) (Map GovActionId Coin)
- | HardForkEvent (Event (EraRule "HARDFORK" era))
- data ConwayHARDFORK era
- newtype ConwayHardForkEvent era = ConwayHardForkEvent ProtVer
- data ConwayLEDGER era
- data ConwayLedgerPredFailure era
- = ConwayUtxowFailure (PredicateFailure (EraRule "UTXOW" era))
- | ConwayCertsFailure (PredicateFailure (EraRule "CERTS" era))
- | ConwayGovFailure (PredicateFailure (EraRule "GOV" era))
- | ConwayWdrlNotDelegatedToDRep (NonEmpty (KeyHash 'Staking))
- | ConwayTreasuryValueMismatch (Mismatch 'RelEQ Coin)
- | ConwayTxRefScriptsSizeTooBig (Mismatch 'RelLTEQ Int)
- | ConwayMempoolFailure Text
- data ConwayLedgerEvent era
- = UtxowEvent (Event (EraRule "UTXOW" era))
- | CertsEvent (Event (EraRule "CERTS" era))
- | GovEvent (Event (EraRule "GOV" era))
- | MempoolEvent (Event (EraRule "MEMPOOL" era))
- maxRefScriptSizePerTx ∷ Int
- data ConwayMEMPOOL era
- newtype ConwayMempoolEvent era = ConwayMempoolEvent Text
- newtype ConwayMempoolPredFailure era = ConwayMempoolPredFailure Text
- data ConwayNEWEPOCH era
- newtype ConwayNewEpochPredFailure era = CorruptRewardUpdate RewardUpdate
- data ConwayNewEpochEvent era
- = DeltaRewardEvent !(Event (EraRule "RUPD" era))
- | RestrainedRewards !EpochNo !(Map (Credential 'Staking) (Set Reward)) !(Set (Credential 'Staking))
- | TotalRewardEvent !EpochNo !(Map (Credential 'Staking) (Set Reward))
- | EpochEvent !(Event (EraRule "EPOCH" era))
- | TotalAdaPotsEvent !AdaPots
- data ConwayTICKF era
- data ConwayTickfPredFailure era
- data ConwayTickfEvent era
- data RatifyState era = RatifyState {
- rsEnactState ∷ !(EnactState era)
- rsEnacted ∷ !(Seq (GovActionState era))
- rsExpired ∷ !(Set GovActionId)
- rsDelayed ∷ !Bool
- committeeAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- committeeAcceptedRatio ∷ ∀ era. Map (Credential 'ColdCommitteeRole) EpochNo → Map (Credential 'HotCommitteeRole) Vote → CommitteeState era → EpochNo → Rational
- spoAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- spoAcceptedRatio ∷ ∀ era. RatifyEnv era → GovActionState era → ProtVer → Rational
- dRepAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- dRepAcceptedRatio ∷ ∀ era. RatifyEnv era → Map (Credential 'DRepRole) Vote → GovAction era → Rational
- acceptedByEveryone ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- prevActionAsExpected ∷ GovActionState era → GovRelation StrictMaybe era → Bool
- validCommitteeTerm ∷ ConwayEraPParams era ⇒ GovAction era → PParams era → EpochNo → Bool
- withdrawalCanWithdraw ∷ GovAction era → Coin → Bool
- data ConwayGOV era
- data GovEnv era = GovEnv {
- geTxId ∷ !TxId
- geEpoch ∷ !EpochNo
- gePParams ∷ !(PParams era)
- gePPolicy ∷ !(StrictMaybe ScriptHash)
- geCertState ∷ !(CertState era)
- data GovSignal era = GovSignal {
- gsVotingProcedures ∷ !(VotingProcedures era)
- gsProposalProcedures ∷ !(OSet (ProposalProcedure era))
- gsCertificates ∷ !(StrictSeq (TxCert era))
- data ConwayGovEvent era
- = GovNewProposals !TxId !(Proposals era)
- | GovRemovedVotes !TxId !(Set (Voter, GovActionId)) !(Set (Credential 'DRepRole))
- data ConwayGovPredFailure era
- = GovActionsDoNotExist (NonEmpty GovActionId)
- | MalformedProposal (GovAction era)
- | ProposalProcedureNetworkIdMismatch RewardAccount Network
- | TreasuryWithdrawalsNetworkIdMismatch (Set RewardAccount) Network
- | ProposalDepositIncorrect !(Mismatch 'RelEQ Coin)
- | DisallowedVoters !(NonEmpty (Voter, GovActionId))
- | ConflictingCommitteeUpdate (Set (Credential 'ColdCommitteeRole))
- | ExpirationEpochTooSmall (Map (Credential 'ColdCommitteeRole) EpochNo)
- | InvalidPrevGovActionId (ProposalProcedure era)
- | VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))
- | ProposalCantFollow (StrictMaybe (GovPurposeId 'HardForkPurpose era)) !(Mismatch 'RelGT ProtVer)
- | InvalidPolicyHash (StrictMaybe ScriptHash) (StrictMaybe ScriptHash)
- | DisallowedProposalDuringBootstrap (ProposalProcedure era)
- | DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId))
- | VotersDoNotExist (NonEmpty Voter)
- | ZeroTreasuryWithdrawals (GovAction era)
- | ProposalReturnAccountDoesNotExist RewardAccount
- | TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty RewardAccount)
- allegraToConwayUtxoPredFailure ∷ ∀ era. EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era
- babbageToConwayUtxoPredFailure ∷ ∀ era. BabbageUtxoPredFailure era → ConwayUtxoPredFailure era
- alonzoToConwayUtxoPredFailure ∷ ∀ era. AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era
- data ConwayUtxoPredFailure era
- = UtxosFailure (PredicateFailure (EraRule "UTXOS" era))
- | BadInputsUTxO !(Set TxIn)
- | OutsideValidityIntervalUTxO !ValidityInterval !SlotNo
- | MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer)
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin)
- | ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era))
- | WrongNetwork !Network !(Set Addr)
- | WrongNetworkWithdrawal !Network !(Set RewardAccount)
- | OutputTooSmallUTxO ![TxOut era]
- | OutputBootAddrAttrsTooBig ![TxOut era]
- | OutputTooBigUTxO ![(Int, Int, TxOut era)]
- | InsufficientCollateral !DeltaCoin !Coin
- | ScriptsNotPaidUTxO !(UTxO era)
- | ExUnitsTooBigUTxO !(Mismatch 'RelLTEQ ExUnits)
- | CollateralContainsNonADA !(Value era)
- | WrongNetworkInTxBody !(Mismatch 'RelEQ Network)
- | OutsideForecast !SlotNo
- | TooManyCollateralInputs !(Mismatch 'RelLTEQ Natural)
- | NoCollateralInputs
- | IncorrectTotalCollateralField !DeltaCoin !Coin
- | BabbageOutputTooSmallUTxO ![(TxOut era, Coin)]
- | BabbageNonDisjointRefInputs !(NonEmpty TxIn)
- data ConwayUTXOS era
- data ConwayUtxosPredFailure era
- data ConwayUtxosEvent era
- alonzoToConwayUtxowPredFailure ∷ ∀ era. AlonzoUtxowPredFailure era → ConwayUtxowPredFailure era
- babbageToConwayUtxowPredFailure ∷ ∀ era. BabbageUtxowPredFailure era → ConwayUtxowPredFailure era
- data ConwayUTXOW era
- data ConwayUtxowPredFailure era
- = UtxoFailure (PredicateFailure (EraRule "UTXO" era))
- | InvalidWitnessesUTXOW ![VKey 'Witness]
- | MissingVKeyWitnessesUTXOW !(Set (KeyHash 'Witness))
- | MissingScriptWitnessesUTXOW !(Set ScriptHash)
- | ScriptWitnessNotValidatingUTXOW !(Set ScriptHash)
- | MissingTxBodyMetadataHash !TxAuxDataHash
- | MissingTxMetadata !TxAuxDataHash
- | ConflictingMetadataHash !(Mismatch 'RelEQ TxAuxDataHash)
- | InvalidMetadata
- | ExtraneousScriptWitnessesUTXOW !(Set ScriptHash)
- | MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash)]
- | MissingRequiredDatums !(Set DataHash) !(Set DataHash)
- | NotAllowedSupplementalDatums !(Set DataHash) !(Set DataHash)
- | PPViewHashesDontMatch !(Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))
- | UnspendableUTxONoDatumHash (Set TxIn)
- | ExtraRedeemers ![PlutusPurpose AsIx era]
- | MalformedScriptWitnesses !(Set ScriptHash)
- | MalformedReferenceScripts !(Set ScriptHash)
- shelleyToConwayUtxowPredFailure ∷ ShelleyUtxowPredFailure era → ConwayUtxowPredFailure era
Documentation
data ConwayBBODY era Source #
Instances
data ConwayBbodyPredFailure era Source #
Constructors
| WrongBlockBodySizeBBODY !(Mismatch 'RelEQ Int) | |
| InvalidBodyHashBBODY !(Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody)) | |
| LedgersFailure !(PredicateFailure (EraRule "LEDGERS" era)) | LEDGERS rule subtransition Failures |
| TooManyExUnits !(Mismatch 'RelLTEQ ExUnits) | |
| BodyRefScriptsSizeTooBig !(Mismatch 'RelLTEQ Int) |
Instances
maxRefScriptSizePerBlock ∷ Int Source #
In the next era this will become a proper protocol parameter. For now this is a hard coded limit on the total number of bytes of all reference scripts combined from all transactions within a block.
data ConwayCERT era Source #
Instances
data ConwayCertPredFailure era Source #
Constructors
| DelegFailure (PredicateFailure (EraRule "DELEG" era)) | |
| PoolFailure (PredicateFailure (EraRule "POOL" era)) | |
| GovCertFailure (PredicateFailure (EraRule "GOVCERT" era)) |
Instances
data ConwayCertEvent era Source #
Constructors
| DelegEvent (Event (EraRule "DELEG" era)) | |
| PoolEvent (Event (EraRule "POOL" era)) | |
| GovCertEvent (Event (EraRule "GOVCERT" era)) |
Instances
| Generic (ConwayCertEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (ConwayCertEvent era) ∷ Type → Type # Methods from ∷ ConwayCertEvent era → Rep (ConwayCertEvent era) x # to ∷ Rep (ConwayCertEvent era) x → ConwayCertEvent era # | |
| (NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "GOVCERT" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ConwayCertEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ ConwayCertEvent era → () # | |
| (Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "GOVCERT" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ConwayCertEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool # (/=) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool # | |
| type Rep (ConwayCertEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOVCERT" era)))))) | |
Constructors
| CertEnv | |
Fields
| |
Instances
| Generic (CertEnv era) Source # | |
| EraPParams era ⇒ Show (CertEnv era) Source # | |
| EraPParams era ⇒ EncCBOR (CertEnv era) Source # | |
| EraPParams era ⇒ NFData (CertEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert | |
| EraPParams era ⇒ Eq (CertEnv era) Source # | |
| type Rep (CertEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ceCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "ceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)))))) | |
data ConwayDELEG era Source #
Instances
data ConwayDelegPredFailure era Source #
Constructors
Instances
data ConwayDelegEnv era Source #
Constructors
| ConwayDelegEnv | |
Fields
| |
Instances
Arguments
| ∷ Credential 'Staking | Delegator |
| → Delegatee | New delegatee |
| → CertState era | |
| → CertState era |
Apply new delegation, while properly cleaning up older delegations. This function does not enforce that delegatee is registered, that has to be handled by the caller.
data ConwayGOVCERT era Source #
Instances
data ConwayGovCertPredFailure era Source #
Constructors
| ConwayDRepAlreadyRegistered !(Credential 'DRepRole) | |
| ConwayDRepNotRegistered !(Credential 'DRepRole) | |
| ConwayDRepIncorrectDeposit !(Mismatch 'RelEQ Coin) | |
| ConwayCommitteeHasPreviouslyResigned !(Credential 'ColdCommitteeRole) | |
| ConwayDRepIncorrectRefund !(Mismatch 'RelEQ Coin) | |
| ConwayCommitteeIsUnknown !(Credential 'ColdCommitteeRole) | Predicate failure whenever an update to an unknown committee member is attempted. Current Constitutional Committee and all available proposals will be searched before reporting this predicate failure. |
Instances
data ConwayGovCertEnv era Source #
Constructors
| ConwayGovCertEnv | |
Fields
| |
Instances
Arguments
| ∷ EpochInterval | DRepActivity PParam |
| → EpochNo | Current epoch |
| → EpochNo | The count of the dormant epochs |
| → EpochNo | Computed expiry |
data ConwayCERTS era Source #
Instances
data ConwayCertsPredFailure era Source #
Constructors
| WithdrawalsNotInRewardsCERTS !(Map RewardAccount Coin) | Withdrawals that are missing or do not withdrawal the entire amount |
| CertFailure !(PredicateFailure (EraRule "CERT" era)) | CERT rule subtransition Failures |
Instances
newtype ConwayCertsEvent era Source #
Instances
Constructors
| CertsEnv | |
Fields
| |
Instances
| Generic (CertsEnv era) Source # | |
| (EraPParams era, Show (Tx era)) ⇒ Show (CertsEnv era) Source # | |
| EraTx era ⇒ EncCBOR (CertsEnv era) Source # | |
| (EraPParams era, NFData (Tx era)) ⇒ NFData (CertsEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Certs | |
| (EraPParams era, Eq (Tx era)) ⇒ Eq (CertsEnv era) Source # | |
| type Rep (CertsEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Certs type Rep (CertsEnv era) = D1 ('MetaData "CertsEnv" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "certsCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "certsCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "certsCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era))))))) | |
updateDormantDRepExpiry Source #
Update dormant expiry for all DReps that are active.
And also reset the numDormantEpochs counter.
data ConwayENACT era Source #
Instances
data EnactSignal era Source #
Constructors
| EnactSignal | |
Fields
| |
Instances
data EnactState era Source #
Constructors
| EnactState | |
Fields
| |
Instances
data ConwayEPOCH era Source #
Instances
type family PredicateFailure a Source #
Descriptive type for the possible failures which might cause a transition to fail.
As a convention, PredicateFailures which are "structural" (meaning that
they are not "throwable" in practice, and are used to pass control from
one transition rule to another) are prefixed with S_.
Structural PredicateFailures represent conditions between rules where
the disjunction of all rules' preconditions is equal to True. That is,
either one rule will throw a structural PredicateFailure and the other
will succeed, or vice-versa.
Instances
data ConwayEpochEvent era Source #
Constructors
| PoolReapEvent (Event (EraRule "POOLREAP" era)) | |
| SnapEvent (Event (EraRule "SNAP" era)) | |
| EpochBoundaryRatifyState (RatifyState era) | |
| GovInfoEvent | |
Fields
| |
| HardForkEvent (Event (EraRule "HARDFORK" era)) | |
Instances
| InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules Methods injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |
| Generic (ConwayEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch Associated Types type Rep (ConwayEpochEvent era) ∷ Type → Type # Methods from ∷ ConwayEpochEvent era → Rep (ConwayEpochEvent era) x # to ∷ Rep (ConwayEpochEvent era) x → ConwayEpochEvent era # | |
| (EraPParams era, NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "HARDFORK" era))) ⇒ NFData (ConwayEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods rnf ∷ ConwayEpochEvent era → () # | |
| (EraPParams era, Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "HARDFORK" era))) ⇒ Eq (ConwayEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods (==) ∷ ConwayEpochEvent era → ConwayEpochEvent era → Bool # (/=) ∷ ConwayEpochEvent era → ConwayEpochEvent era → Bool # | |
| type Rep (ConwayEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch type Rep (ConwayEpochEvent era) = D1 ('MetaData "ConwayEpochEvent" "Cardano.Ledger.Conway.Rules.Epoch" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "PoolReapEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOLREAP" era)))) :+: C1 ('MetaCons "SnapEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SNAP" era))))) :+: (C1 ('MetaCons "EpochBoundaryRatifyState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RatifyState era))) :+: (C1 ('MetaCons "GovInfoEvent" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (GovActionState era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (GovActionState era)))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (GovActionState era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map GovActionId Coin)))) :+: C1 ('MetaCons "HardForkEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "HARDFORK" era))))))) | |
data ConwayHARDFORK era Source #
Instances
newtype ConwayHardForkEvent era Source #
Constructors
| ConwayHardForkEvent ProtVer |
Instances
data ConwayLEDGER era Source #
Instances
data ConwayLedgerPredFailure era Source #
Constructors
| ConwayUtxowFailure (PredicateFailure (EraRule "UTXOW" era)) | |
| ConwayCertsFailure (PredicateFailure (EraRule "CERTS" era)) | |
| ConwayGovFailure (PredicateFailure (EraRule "GOV" era)) | |
| ConwayWdrlNotDelegatedToDRep (NonEmpty (KeyHash 'Staking)) | |
| ConwayTreasuryValueMismatch (Mismatch 'RelEQ Coin) | |
| ConwayTxRefScriptsSizeTooBig (Mismatch 'RelLTEQ Int) | |
| ConwayMempoolFailure Text |
Instances
data ConwayLedgerEvent era Source #
Constructors
| UtxowEvent (Event (EraRule "UTXOW" era)) | |
| CertsEvent (Event (EraRule "CERTS" era)) | |
| GovEvent (Event (EraRule "GOV" era)) | |
| MempoolEvent (Event (EraRule "MEMPOOL" era)) |
Instances
| Generic (ConwayLedgerEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type Rep (ConwayLedgerEvent era) ∷ Type → Type # Methods from ∷ ConwayLedgerEvent era → Rep (ConwayLedgerEvent era) x # to ∷ Rep (ConwayLedgerEvent era) x → ConwayLedgerEvent era # | |
| (NFData (Event (EraRule "CERTS" era)), NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "GOV" era)), NFData (Event (EraRule "MEMPOOL" era))) ⇒ NFData (ConwayLedgerEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods rnf ∷ ConwayLedgerEvent era → () # | |
| (Eq (Event (EraRule "CERTS" era)), Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "GOV" era)), Eq (Event (EraRule "MEMPOOL" era))) ⇒ Eq (ConwayLedgerEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods (==) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool # (/=) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool # | |
| type Rep (ConwayLedgerEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger type Rep (ConwayLedgerEvent era) = D1 ('MetaData "ConwayLedgerEvent" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "CertsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERTS" era))))) :+: (C1 ('MetaCons "GovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOV" era)))) :+: C1 ('MetaCons "MempoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MEMPOOL" era)))))) | |
maxRefScriptSizePerTx ∷ Int Source #
In the next era this will become a proper protocol parameter. For now this is a hard coded limit on the total number of bytes of reference scripts that a transaction can use.
data ConwayMEMPOOL era Source #
Instances
newtype ConwayMempoolEvent era Source #
Constructors
| ConwayMempoolEvent Text |
Instances
newtype ConwayMempoolPredFailure era Source #
Constructors
| ConwayMempoolPredFailure Text |
Instances
data ConwayNEWEPOCH era Source #
Instances
newtype ConwayNewEpochPredFailure era Source #
Constructors
| CorruptRewardUpdate RewardUpdate |
Instances
data ConwayNewEpochEvent era Source #
Constructors
| DeltaRewardEvent !(Event (EraRule "RUPD" era)) | |
| RestrainedRewards !EpochNo !(Map (Credential 'Staking) (Set Reward)) !(Set (Credential 'Staking)) | |
| TotalRewardEvent !EpochNo !(Map (Credential 'Staking) (Set Reward)) | |
| EpochEvent !(Event (EraRule "EPOCH" era)) | |
| TotalAdaPotsEvent !AdaPots |
Instances
| Generic (ConwayNewEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type Rep (ConwayNewEpochEvent era) ∷ Type → Type # Methods from ∷ ConwayNewEpochEvent era → Rep (ConwayNewEpochEvent era) x # to ∷ Rep (ConwayNewEpochEvent era) x → ConwayNewEpochEvent era # | |
| (NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ConwayNewEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods rnf ∷ ConwayNewEpochEvent era → () # | |
| (Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ConwayNewEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods (==) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool # (/=) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool # | |
| type Rep (ConwayNewEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Rep (ConwayNewEpochEvent era) = D1 ('MetaData "ConwayNewEpochEvent" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "RUPD" era)))) :+: C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (Set Reward))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking)))))) :+: (C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (Set Reward)))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "EPOCH" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AdaPots))))) | |
data ConwayTICKF era Source #
Instances
data ConwayTickfPredFailure era Source #
Instances
| Generic (ConwayTickfPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf Associated Types type Rep (ConwayTickfPredFailure era) ∷ Type → Type # Methods from ∷ ConwayTickfPredFailure era → Rep (ConwayTickfPredFailure era) x # to ∷ Rep (ConwayTickfPredFailure era) x → ConwayTickfPredFailure era # | |
| Era era ⇒ Show (ConwayTickfPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf Methods showsPrec ∷ Int → ConwayTickfPredFailure era → ShowS # show ∷ ConwayTickfPredFailure era → String # showList ∷ [ConwayTickfPredFailure era] → ShowS # | |
| Era era ⇒ Eq (ConwayTickfPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf Methods (==) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool # (/=) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool # | |
| NoThunks (ConwayTickfPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf | |
| type Rep (ConwayTickfPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf | |
data ConwayTickfEvent era Source #
data RatifyState era Source #
RatifyState stores information about what will happen to the active
governance actions at the next epoch boundary.
Constructors
| RatifyState | |
Fields
| |
Instances
committeeAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #
committeeAcceptedRatio ∷ ∀ era. Map (Credential 'ColdCommitteeRole) EpochNo → Map (Credential 'HotCommitteeRole) Vote → CommitteeState era → EpochNo → Rational Source #
spoAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #