Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
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 #
DelegFailure (PredicateFailure (EraRule "DELEG" era)) | |
PoolFailure (PredicateFailure (EraRule "POOL" era)) | |
GovCertFailure (PredicateFailure (EraRule "GOVCERT" era)) |
Instances
data ConwayCertEvent era Source #
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 type Rep (ConwayCertEvent era) ∷ Type → Type # 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 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 (==) ∷ 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)))))) |
CertEnv | |
|
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 #
Instances
data ConwayDelegEnv era Source #
ConwayDelegEnv | |
|
Instances
∷ 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 #
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 #
ConwayGovCertEnv | |
|
Instances
∷ 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 #
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
CertsEnv | |
|
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 #
EnactSignal | |
|
Instances
data EnactState era Source #
EnactState | |
|
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, PredicateFailure
s 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 PredicateFailure
s 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 #
PoolReapEvent (Event (EraRule "POOLREAP" era)) | |
SnapEvent (Event (EraRule "SNAP" era)) | |
EpochBoundaryRatifyState (RatifyState era) | |
GovInfoEvent | |
| |
HardForkEvent (Event (EraRule "HARDFORK" era)) |
Instances
InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |
Generic (ConwayEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch type Rep (ConwayEpochEvent era) ∷ Type → Type # 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 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 (==) ∷ 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 #
Instances
data ConwayLEDGER era Source #
Instances
data ConwayLedgerPredFailure era Source #
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 #
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 type Rep (ConwayLedgerEvent era) ∷ Type → Type # 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 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 (==) ∷ 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 #
Instances
newtype ConwayMempoolPredFailure era Source #
Instances
data ConwayNEWEPOCH era Source #
Instances
newtype ConwayNewEpochPredFailure era Source #
Instances
data ConwayNewEpochEvent era Source #
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 type Rep (ConwayNewEpochEvent era) ∷ Type → Type # 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 rnf ∷ ConwayNewEpochEvent era → () # | |
(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ConwayNewEpochEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch (==) ∷ 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 type Rep (ConwayTickfPredFailure era) ∷ Type → Type # 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 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 (==) ∷ 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.
RatifyState | |
|
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 GovAction
s, 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
GovEnv | |
|
Instances
Generic (GovEnv era) Source # | |
(Show (PParams era), Era era) ⇒ Show (GovEnv era) Source # | |
EraPParams era ⇒ EncCBOR (GovEnv era) Source # | |
(NFData (PParams era), Era era) ⇒ NFData (GovEnv era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
Eq (PParams 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.19.0.0-inplace" 'False) (C1 ('MetaCons "GovEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "geTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: 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)) :*: S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era)))))) |
GovSignal | |
|
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.19.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 #
GovNewProposals !TxId !(Proposals era) | |
GovRemovedVotes | |
|
Instances
Generic (ConwayGovEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (ConwayGovEvent era) ∷ Type → Type # 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 rnf ∷ ConwayGovEvent era → () # | |
EraPParams era ⇒ Eq (ConwayGovEvent era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov (==) ∷ 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.19.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 #
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 | |
| |
ExpirationEpochTooSmall | |
| |
InvalidPrevGovActionId (ProposalProcedure era) | |
VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId)) | |
ProposalCantFollow | |
| |
InvalidPolicyHash | |
| |
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
UtxosFailure (PredicateFailure (EraRule "UTXOS" era)) | Subtransition Failures |
BadInputsUTxO !(Set TxIn) | The bad transaction inputs |
OutsideValidityIntervalUTxO | |
| |
MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer) | |
InputSetEmptyUTxO | |
FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin) | |
ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era)) | |
WrongNetwork | the set of addresses with incorrect network IDs |
WrongNetworkWithdrawal | |
| |
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 | |
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledgers injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |
InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo | |
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxow | |
Generic (ConwayUtxoPredFailure era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo type Rep (ConwayUtxoPredFailure era) ∷ Type → Type # 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 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 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 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 (==) ∷ 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.19.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 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Integer))) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Addr))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set RewardAccount))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Int, Int, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Network)))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty TxIn)))))))) |
data ConwayUTXOS era Source #
Instances
data ConwayUtxosPredFailure era Source #
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 #
TotalDeposits (SafeHash EraIndependentTxBody) Coin | |
SuccessfulPlutusScriptsEvent (NonEmpty PlutusWithContext) | |
FailedPlutusScriptsEvent (NonEmpty PlutusWithContext) | |
TxUTxODiff | The UTxOs consumed and created by a signal tx |
Instances
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
Instances
Orphan instances
InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # | |
injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # |