| 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 ∷ ConwayEraCertState era ⇒ 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))
- maxRefScriptSizePerTx ∷ Int
- data ConwayMEMPOOL era
- 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.20.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.20.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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
| ∷ ConwayEraCertState era | |
| ⇒ 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.20.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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.20.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)) |
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 (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 (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.20.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)))))) | |
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
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.20.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 #
spoAcceptedRatio ∷ ∀ era. RatifyEnv era → GovActionState era → ProtVer → Rational Source #
Final ratio for totalAcceptedStakePoolsRatio we want during the bootstrap period is:
t = y / (s - a)
Where:
* y - total delegated stake that voted Yes
* a - total delegated stake that voted Abstain
* s - total delegated stake
For HardForkInitiation all SPOs that didn't vote are considered as
No votes. Whereas, for all other GovActions, SPOs that didn't
vote are considered as Abstain votes.
No votes are not counted.
After the bootstrap period if an SPO didn't vote, it will be considered as a No vote by default.
The only exceptions are when a pool delegated to an AlwaysNoConfidence or an AlwaysAbstain DRep.
In those cases, behaviour is as expected: vote Yes on NoConfidence proposals in case of the former and
and vote Abstain by default in case of the latter. For HardForkInitiation, behaviour is the same as
during the bootstrap period: if an SPO didn't vote, their vote will always count as No.
dRepAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #
dRepAcceptedRatio ∷ ∀ era. RatifyEnv era → Map (Credential 'DRepRole) Vote → GovAction era → Rational Source #
acceptedByEveryone ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #
prevActionAsExpected ∷ GovActionState era → GovRelation StrictMaybe era → Bool Source #
Check that the previous governance action id specified in the proposal does match the last one of the same purpose that was enacted.
validCommitteeTerm ∷ ConwayEraPParams era ⇒ GovAction era → PParams era → EpochNo → Bool Source #
Instances
Constructors
| GovEnv | |
Fields
| |
Instances
| Generic (GovEnv era) Source # | |
| (Show (PParams era), Era era, EraCertState era) ⇒ Show (GovEnv era) Source # | |
| (EraPParams era, EraCertState era) ⇒ EncCBOR (GovEnv era) Source # | |
| (NFData (PParams era), Era era, EraCertState era) ⇒ NFData (GovEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
| (Eq (PParams era), EraCertState era) ⇒ Eq (GovEnv era) Source # | |
| type Rep (GovEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (GovEnv era) = D1 ('MetaData "GovEnv" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "GovEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "geTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "geEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "gePPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)))))) | |
Constructors
| GovSignal | |
Fields
| |
Instances
| Generic (GovSignal era) Source # | |
| (EraPParams era, Show (TxCert era)) ⇒ Show (GovSignal era) Source # | |
| (EraPParams era, EraTxCert era) ⇒ EncCBOR (GovSignal era) Source # | |
| (EraPParams era, NFData (TxCert era)) ⇒ NFData (GovSignal era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
| (EraPParams era, Eq (TxCert era)) ⇒ Eq (GovSignal era) Source # | |
| type Rep (GovSignal era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.20.0.0-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 !(Proposals era) | |
| GovRemovedVotes | |
Fields
| |
Instances
| Generic (ConwayGovEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (ConwayGovEvent era) ∷ Type → Type # Methods from ∷ ConwayGovEvent era → Rep (ConwayGovEvent era) x # to ∷ Rep (ConwayGovEvent era) x → ConwayGovEvent era # | |
| EraPParams era ⇒ NFData (ConwayGovEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovEvent era → () # | |
| EraPParams era ⇒ Eq (ConwayGovEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool # (/=) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool # | |
| type Rep (ConwayGovEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (ConwayGovEvent era) = D1 ('MetaData "ConwayGovEvent" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era))) :+: C1 ('MetaCons "GovRemovedVotes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Voter, GovActionId))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'DRepRole)))))) | |
data ConwayGovPredFailure era Source #
Constructors
| GovActionsDoNotExist (NonEmpty GovActionId) | |
| MalformedProposal (GovAction era) | |
| ProposalProcedureNetworkIdMismatch RewardAccount Network | |
| TreasuryWithdrawalsNetworkIdMismatch (Set RewardAccount) Network | |
| ProposalDepositIncorrect (Mismatch 'RelEQ Coin) | |
| DisallowedVoters (NonEmpty (Voter, GovActionId)) | 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, GovActionId)) | |
| ProposalCantFollow | |
Fields
| |
| InvalidPolicyHash | |
Fields
| |
| DisallowedProposalDuringBootstrap (ProposalProcedure era) | |
| DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId)) | |
| VotersDoNotExist (NonEmpty Voter) | Predicate failure for votes by entities that are not present in the ledger state |
| ZeroTreasuryWithdrawals (GovAction era) | Treasury withdrawals that sum up to zero are not allowed |
| ProposalReturnAccountDoesNotExist RewardAccount | Proposals that have an invalid reward account for returns of the deposit |
| TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty RewardAccount) | Treasury withdrawal proposals to an invalid reward account |
Instances
allegraToConwayUtxoPredFailure ∷ ∀ era. EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era Source #
babbageToConwayUtxoPredFailure ∷ ∀ era. BabbageUtxoPredFailure era → ConwayUtxoPredFailure era Source #
alonzoToConwayUtxoPredFailure ∷ ∀ era. AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era Source #
data ConwayUtxoPredFailure era Source #
Predicate failure for the Conway Era
Constructors
| UtxosFailure (PredicateFailure (EraRule "UTXOS" era)) | Subtransition Failures |
| BadInputsUTxO (Set TxIn) | The bad transaction inputs |
| OutsideValidityIntervalUTxO | |
Fields
| |
| MaxTxSizeUTxO (Mismatch 'RelLTEQ Integer) | |
| InputSetEmptyUTxO | |
| FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin) | |
| ValueNotConservedUTxO (Mismatch 'RelEQ (Value era)) | |
| WrongNetwork | the set of addresses with incorrect network IDs |
| WrongNetworkWithdrawal | |
Fields
| |
| OutputTooSmallUTxO [TxOut era] | list of supplied transaction outputs that are too small |
| OutputBootAddrAttrsTooBig [TxOut era] | list of supplied bad transaction outputs |
| OutputTooBigUTxO [(Int, Int, TxOut era)] | list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut) |
| InsufficientCollateral | |
| ScriptsNotPaidUTxO (UTxO era) | The UTxO entries which have the wrong kind of script |
| ExUnitsTooBigUTxO (Mismatch 'RelLTEQ ExUnits) | |
| CollateralContainsNonADA (Value era) | The inputs marked for use as fees contain non-ADA tokens |
| WrongNetworkInTxBody (Mismatch 'RelEQ Network) | Wrong Network ID in body |
| OutsideForecast SlotNo | slot number outside consensus forecast range |
| TooManyCollateralInputs (Mismatch 'RelLTEQ Natural) | There are too many collateral inputs |
| NoCollateralInputs | |
| IncorrectTotalCollateralField | The collateral is not equivalent to the total collateral asserted by the transaction |
| BabbageOutputTooSmallUTxO [(TxOut era, Coin)] | list of supplied transaction outputs that are too small, together with the minimum value for the given output. |
| BabbageNonDisjointRefInputs (NonEmpty TxIn) | TxIns that appear in both inputs and reference inputs |
Instances
| InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |
| InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |
| InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |
| InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source # | |
| InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source # | |
| Generic (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo Associated Types type Rep (ConwayUtxoPredFailure era) ∷ Type → Type # Methods from ∷ ConwayUtxoPredFailure era → Rep (ConwayUtxoPredFailure era) x # to ∷ Rep (ConwayUtxoPredFailure era) x → ConwayUtxoPredFailure era # | |
| (Era era, Show (Value era), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (Script era), Show TxIn) ⇒ Show (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods showsPrec ∷ Int → ConwayUtxoPredFailure era → ShowS # show ∷ ConwayUtxoPredFailure era → String # showList ∷ [ConwayUtxoPredFailure era] → ShowS # | |
| (Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ DecCBOR (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo | |
| (Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ EncCBOR (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods encCBOR ∷ ConwayUtxoPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxoPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxoPredFailure era] → Size Source # | |
| (Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) ⇒ NFData (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods rnf ∷ ConwayUtxoPredFailure era → () # | |
| (Era era, Eq (Value era), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (Script era), Eq TxIn) ⇒ Eq (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods (==) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool # (/=) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool # | |
| NoThunks (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo | |
| type Rep (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo type Rep (ConwayUtxoPredFailure era) = D1 ('MetaData "ConwayUtxoPredFailure" "Cardano.Ledger.Conway.Rules.Utxo" "cardano-ledger-conway-1.20.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))) :+: C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn)))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Integer))) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Addr))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set RewardAccount))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut era])))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Int, Int, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Network)))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn)))))))) | |
data ConwayUTXOS era Source #
Instances
data ConwayUtxosPredFailure era Source #
Constructors
| ValidationTagMismatch IsValid TagMismatchDescription | The |
| CollectErrors [CollectError era] | We could not find all the necessary inputs for a Plutus Script. Previous PredicateFailure tests should make this impossible, but the consequences of not detecting this means scripts get dropped, so things might validate that shouldn't. So we double check in the function collectTwoPhaseScriptInputs, it should find data for every Script. |
Instances
data ConwayUtxosEvent era Source #
Constructors
| TotalDeposits (SafeHash EraIndependentTxBody) Coin | |
| SuccessfulPlutusScriptsEvent (NonEmpty PlutusWithContext) | |
| FailedPlutusScriptsEvent (NonEmpty PlutusWithContext) | |
| TxUTxODiff | The UTxOs consumed and created by a signal tx |
Instances
| InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source # | |
| Generic (ConwayUtxosEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type Rep (ConwayUtxosEvent era) ∷ Type → Type # Methods from ∷ ConwayUtxosEvent era → Rep (ConwayUtxosEvent era) x # to ∷ Rep (ConwayUtxosEvent era) x → ConwayUtxosEvent era # | |
| (Era era, NFData (TxOut era)) ⇒ NFData (ConwayUtxosEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods rnf ∷ ConwayUtxosEvent era → () # | |
| (Era era, Eq (TxOut era)) ⇒ Eq (ConwayUtxosEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods (==) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool # (/=) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool # | |
| type Rep (ConwayUtxosEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos type Rep (ConwayUtxosEvent era) = D1 ('MetaData "ConwayUtxosEvent" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.20.0.0-inplace" 'False) ((C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext)))) :+: (C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era))))) | |
alonzoToConwayUtxowPredFailure ∷ ∀ era. AlonzoUtxowPredFailure era → ConwayUtxowPredFailure era Source #
babbageToConwayUtxowPredFailure ∷ ∀ era. BabbageUtxowPredFailure era → ConwayUtxowPredFailure era Source #
data ConwayUTXOW era Source #
Instances
data ConwayUtxowPredFailure era Source #
Predicate failure type for the Conway Era
Constructors
Instances
Orphan instances
| InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # | |
Methods injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |