| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.Rules
Contents
Synopsis
- data BBODY 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)
- | HeaderProtVerTooHigh (Mismatch 'RelLTEQ Version)
- alonzoToConwayBbodyPredFailure ∷ AlonzoBbodyPredFailure era → ConwayBbodyPredFailure era
- shelleyToConwayBbodyPredFailure ∷ ShelleyBbodyPredFailure era → ConwayBbodyPredFailure era
- totalRefScriptSizeInBlock ∷ (AlonzoEraTx era, BabbageEraTxBody era) ⇒ ProtVer → StrictSeq (Tx 'TopTx era) → UTxO era → Int
- conwayBbodyTransition ∷ (Signal (EraRule "BBODY" era) ~ BbodySignal era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, BaseM (EraRule "BBODY" era) ~ ShelleyBase, STS (EraRule "BBODY" era), AlonzoEraTx era, EraBlockBody era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ TransitionRule (EraRule "BBODY" era)
- validateBodyRefScriptsSizeTooBig ∷ (AlonzoEraTx era, BabbageEraTxBody era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraBlockBody era, ConwayEraPParams era) ⇒ PParams era → BlockBody era → UTxO era → Rule (EraRule "BBODY" era) 'Transition ()
- data ConwayCertEvent era
- = DelegEvent (Event (EraRule "DELEG" era))
- | PoolEvent (Event (EraRule "POOL" era))
- | GovCertEvent (Event (EraRule "GOVCERT" era))
- data ConwayCertPredFailure era
- = DelegFailure (PredicateFailure (EraRule "DELEG" era))
- | PoolFailure (PredicateFailure (EraRule "POOL" era))
- | GovCertFailure (PredicateFailure (EraRule "GOVCERT" era))
- data CERT era
- data CertEnv era = CertEnv {
- cePParams ∷ PParams era
- ceCurrentEpoch ∷ EpochNo
- ceCurrentCommittee ∷ StrictMaybe (Committee era)
- ceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose) (GovActionState era)
- data DELEG era
- data ConwayDelegPredFailure era
- = IncorrectDepositDELEG Coin
- | StakeKeyRegisteredDELEG (Credential 'Staking)
- | StakeKeyNotRegisteredDELEG (Credential 'Staking)
- | StakeKeyHasNonZeroAccountBalanceDELEG Coin
- | DelegateeDRepNotRegisteredDELEG (Credential 'DRepRole)
- | DelegateeStakePoolNotRegisteredDELEG (KeyHash 'StakePool)
- | DepositIncorrectDELEG (Mismatch 'RelEQ Coin)
- | RefundIncorrectDELEG (Mismatch 'RelEQ Coin)
- processDelegation ∷ ConwayEraCertState era ⇒ Credential 'Staking → Delegatee → CertState era → CertState era
- data ConwayDelegEnv era = ConwayDelegEnv {
- cdePParams ∷ PParams era
- cdePools ∷ Map (KeyHash 'StakePool) StakePoolState
- conwayDelegTransition ∷ ∀ (rule ∷ Symbol) era. (EraPParams era, ConwayEraCertState era, Signal (EraRule rule era) ~ ConwayDelegCert, Environment (EraRule rule era) ~ ConwayDelegEnv era, State (EraRule rule era) ~ CertState era, InjectRuleFailure rule ConwayDelegPredFailure era) ⇒ TransitionRule (EraRule rule era)
- data GOVCERT 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 {}
- computeDRepExpiry ∷ EpochInterval → EpochNo → EpochNo → EpochNo
- conwayGovCertTransition ∷ ∀ (rule ∷ Symbol) era. (ConwayEraPParams era, ConwayEraCertState era, InjectRuleFailure rule ConwayGovCertPredFailure era, State (EraRule rule era) ~ CertState era, Signal (EraRule rule era) ~ ConwayGovCert, Environment (EraRule rule era) ~ ConwayGovCertEnv era) ⇒ TransitionRule (EraRule rule era)
- data CERTS era
- data ConwayCertsPredFailure era
- = WithdrawalsNotInRewardsCERTS Withdrawals
- | CertFailure (PredicateFailure (EraRule "CERT" era))
- newtype ConwayCertsEvent era = CertEvent (Event (EraRule "CERT" era))
- data CertsEnv era = CertsEnv {
- certsTx ∷ Tx 'TopTx era
- certsPParams ∷ PParams era
- certsCurrentEpoch ∷ EpochNo
- certsCurrentCommittee ∷ StrictMaybe (Committee era)
- certsCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose) (GovActionState era)
- updateDormantDRepExpiry ∷ EpochNo → VState era → VState era
- updateDormantDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → CertState era → CertState era
- updateVotingDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → EpochInterval → CertState era → CertState 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)
- data ENACT era
- data EnactSignal era = EnactSignal {
- esGovActionId ∷ !GovActionId
- esGovAction ∷ !(GovAction era)
- type family PredicateFailure a
- type family PredicateFailure a
- data EPOCH era
- 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 HARDFORK era
- newtype ConwayHardForkEvent era = ConwayHardForkEvent ProtVer
- data LEDGER era
- data ConwayLedgerEvent era
- = UtxowEvent (Event (EraRule "UTXOW" era))
- | CertsEvent (Event (EraRule "CERTS" era))
- | GovEvent (Event (EraRule "GOV" 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
- | ConwayWithdrawalsMissingAccounts Withdrawals
- | ConwayIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin))
- updateDormantDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → CertState era → CertState era
- updateVotingDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → EpochInterval → CertState era → CertState era
- shelleyToConwayLedgerPredFailure ∷ ShelleyLedgerPredFailure era → ConwayLedgerPredFailure era
- conwayLedgerTransition ∷ ∀ someLEDGER era. (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Signal (someLEDGER era) ~ StAnnTx 'TopTx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "GOV" era) (someLEDGER era), Embed (EraRule "CERTS" era) (someLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, BaseM (someLEDGER era) ~ ShelleyBase, STS (someLEDGER era), ConwayEraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ TransitionRule (someLEDGER era)
- conwayLedgerTransitionTRC ∷ ∀ someLEDGER era. (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Signal (someLEDGER era) ~ StAnnTx 'TopTx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "GOV" era) (someLEDGER era), Embed (EraRule "CERTS" era) (someLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, BaseM (someLEDGER era) ~ ShelleyBase, STS (someLEDGER era), ConwayEraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ TRC (someLEDGER era) → TransitionRule (someLEDGER era)
- validateTreasuryValue ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ TxBody l era → Coin → Test (ConwayLedgerPredFailure era)
- validateRefScriptSize ∷ ∀ era (l ∷ TxLevel). (EraTx era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ PParams era → UTxO era → Tx l era → Test (ConwayLedgerPredFailure era)
- validateWithdrawalsDelegated ∷ ∀ era (l ∷ TxLevel). (EraTx era, ConwayEraCertState era) ⇒ Accounts era → Tx l era → Test (ConwayLedgerPredFailure era)
- data MEMPOOL era
- data NEWEPOCH era
- 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 TICKF era
- data ConwayTickfEvent era
- data RatifyState era = RatifyState {
- rsEnactState ∷ !(EnactState era)
- rsEnacted ∷ !(Seq (GovActionState era))
- rsExpired ∷ !(Set GovActionId)
- rsDelayed ∷ !Bool
- data RATIFY era
- committeeAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- committeeAcceptedRatio ∷ Map (Credential 'ColdCommitteeRole) EpochNo → Map (Credential 'HotCommitteeRole) Vote → CommitteeState era → EpochNo → Rational
- spoAccepted ∷ (ConwayEraPParams era, ConwayEraAccounts era) ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- spoAcceptedRatio ∷ ConwayEraAccounts era ⇒ RatifyEnv era → GovActionState era → ProtVer → Rational
- dRepAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- dRepAcceptedRatio ∷ RatifyEnv era → Map (Credential 'DRepRole) Vote → GovAction era → Rational
- acceptedByEveryone ∷ (ConwayEraPParams era, ConwayEraAccounts era) ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool
- prevActionAsExpected ∷ GovActionState era → GovRelation StrictMaybe → Bool
- validCommitteeTerm ∷ ConwayEraPParams era ⇒ GovAction era → PParams era → EpochNo → Bool
- withdrawalCanWithdraw ∷ GovAction era → Coin → Bool
- data GOV era
- data ConwayGovPredFailure era
- = GovActionsDoNotExist (NonEmpty GovActionId)
- | MalformedProposal (GovAction era)
- | ProposalProcedureNetworkIdMismatch AccountAddress Network
- | TreasuryWithdrawalsNetworkIdMismatch (NonEmptySet AccountAddress) Network
- | ProposalDepositIncorrect (Mismatch 'RelEQ Coin)
- | DisallowedVoters (NonEmpty (Voter, GovActionId))
- | ConflictingCommitteeUpdate (NonEmptySet (Credential 'ColdCommitteeRole))
- | ExpirationEpochTooSmall (NonEmptyMap (Credential 'ColdCommitteeRole) EpochNo)
- | InvalidPrevGovActionId (ProposalProcedure era)
- | VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))
- | ProposalCantFollow (StrictMaybe (GovPurposeId 'HardForkPurpose)) (Mismatch 'RelGT ProtVer)
- | InvalidGuardrailsScriptHash (StrictMaybe ScriptHash) (StrictMaybe ScriptHash)
- | DisallowedProposalDuringBootstrap (ProposalProcedure era)
- | DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId))
- | VotersDoNotExist (NonEmpty Voter)
- | ZeroTreasuryWithdrawals (GovAction era)
- | ProposalReturnAccountDoesNotExist AccountAddress
- | TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty AccountAddress)
- | UnelectedCommitteeVoters (NonEmpty (Credential 'HotCommitteeRole))
- data GovEnv era = GovEnv {
- geTxId ∷ TxId
- geEpoch ∷ EpochNo
- gePParams ∷ PParams era
- geGuardrailsScriptHash ∷ StrictMaybe ScriptHash
- geCertState ∷ CertState era
- geCommittee ∷ StrictMaybe (Committee 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))
- pattern InvalidPolicyHash ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → ConwayGovPredFailure era
- unelectedCommitteeVoters ∷ StrictMaybe (Committee era) → CommitteeState era → VotingProcedures era → Set (Credential 'HotCommitteeRole)
- conwayGovTransition ∷ ∀ (rule ∷ Symbol) era. (ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, STS (EraRule rule era), Signal (EraRule rule era) ~ GovSignal era, BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ GovEnv era, State (EraRule rule era) ~ Proposals era, InjectRuleFailure rule ConwayGovPredFailure era, InjectRuleEvent rule ConwayGovEvent era) ⇒ TransitionRule (EraRule rule era)
- checkGuardrailsScriptHash ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → Test (ConwayGovPredFailure era)
- checkPolicy ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → Test (ConwayGovPredFailure era)
- data UTXO era
- data ConwayUtxoPredFailure era
- = UtxosFailure (PredicateFailure (EraRule "UTXOS" era))
- | BadInputsUTxO (NonEmptySet TxIn)
- | OutsideValidityIntervalUTxO ValidityInterval SlotNo
- | MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32)
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin)
- | ValueNotConservedUTxO (Mismatch 'RelEQ (Value era))
- | WrongNetwork Network (NonEmptySet Addr)
- | WrongNetworkWithdrawal Network (NonEmptySet AccountAddress)
- | OutputTooSmallUTxO (NonEmpty (TxOut era))
- | OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))
- | OutputTooBigUTxO (NonEmpty (Int, Int, TxOut era))
- | InsufficientCollateral DeltaCoin Coin
- | ScriptsNotPaidUTxO (NonEmptyMap TxIn (TxOut era))
- | ExUnitsTooBigUTxO (Mismatch 'RelLTEQ ExUnits)
- | CollateralContainsNonADA (Value era)
- | WrongNetworkInTxBody (Mismatch 'RelEQ Network)
- | OutsideForecast SlotNo
- | TooManyCollateralInputs (Mismatch 'RelLTEQ Word16)
- | NoCollateralInputs
- | IncorrectTotalCollateralField DeltaCoin Coin
- | BabbageOutputTooSmallUTxO (NonEmpty (TxOut era, Coin))
- | BabbageNonDisjointRefInputs (NonEmpty TxIn)
- data UtxoEnv era = UtxoEnv {}
- allegraToConwayUtxoPredFailure ∷ EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era
- babbageToConwayUtxoPredFailure ∷ BabbageUtxoPredFailure era → ConwayUtxoPredFailure era
- alonzoToConwayUtxoPredFailure ∷ AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era
- updateTreasuryDonation ∷ (AlonzoEraTx era, ConwayEraTxBody era) ⇒ Tx 'TopTx era → UTxOState era → UTxOState era
- data UTXOS era
- data ConwayUtxosPredFailure era
- data ConwayUtxosEvent era
- alonzoToConwayUtxosPredFailure ∷ EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AlonzoUtxosPredFailure era → ConwayUtxosPredFailure era
- alonzoToConwayUtxosEvent ∷ EraRuleEvent "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AlonzoUtxosEvent era → ConwayUtxosEvent era
- data UTXOW era
- data ConwayUtxowPredFailure era
- = UtxoFailure (PredicateFailure (EraRule "UTXO" era))
- | InvalidWitnessesUTXOW (NonEmpty (VKey 'Witness))
- | MissingVKeyWitnessesUTXOW (NonEmptySet (KeyHash 'Witness))
- | MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash)
- | ScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash)
- | MissingTxBodyMetadataHash TxAuxDataHash
- | MissingTxMetadata TxAuxDataHash
- | ConflictingMetadataHash (Mismatch 'RelEQ TxAuxDataHash)
- | InvalidMetadata
- | ExtraneousScriptWitnessesUTXOW (NonEmptySet ScriptHash)
- | MissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash))
- | MissingRequiredDatums (NonEmptySet DataHash) (Set DataHash)
- | NotAllowedSupplementalDatums (NonEmptySet DataHash) (Set DataHash)
- | PPViewHashesDontMatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))
- | UnspendableUTxONoDatumHash (NonEmptySet TxIn)
- | ExtraRedeemers (NonEmpty (PlutusPurpose AsIx era))
- | MalformedScriptWitnesses (NonEmptySet ScriptHash)
- | MalformedReferenceScripts (NonEmptySet ScriptHash)
- | ScriptIntegrityHashMismatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)
- alonzoToConwayUtxowPredFailure ∷ AlonzoUtxowPredFailure era → ConwayUtxowPredFailure era
- babbageToConwayUtxowPredFailure ∷ BabbageUtxowPredFailure era → ConwayUtxowPredFailure era
- shelleyToConwayUtxowPredFailure ∷ ShelleyUtxowPredFailure era → ConwayUtxowPredFailure era
Documentation
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) | |
| HeaderProtVerTooHigh (Mismatch 'RelLTEQ Version) |
Instances
| InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ DecCBOR (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ EncCBOR (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods encCBOR ∷ ConwayBbodyPredFailure era → Encoding Source # | |||||
| (Era era, NFData (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NFData (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods rnf ∷ ConwayBbodyPredFailure era → () # | |||||
| Generic (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Associated Types
Methods from ∷ ConwayBbodyPredFailure era → Rep (ConwayBbodyPredFailure era) x # to ∷ Rep (ConwayBbodyPredFailure era) x → ConwayBbodyPredFailure era # | |||||
| (Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods showsPrec ∷ Int → ConwayBbodyPredFailure era → ShowS # show ∷ ConwayBbodyPredFailure era → String # showList ∷ [ConwayBbodyPredFailure era] → ShowS # | |||||
| (Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods (==) ∷ ConwayBbodyPredFailure era → ConwayBbodyPredFailure era → Bool # (/=) ∷ ConwayBbodyPredFailure era → ConwayBbodyPredFailure era → Bool # | |||||
| type Rep (ConwayBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody type Rep (ConwayBbodyPredFailure era) = D1 ('MetaData "ConwayBbodyPredFailure" "Cardano.Ledger.Conway.Rules.Bbody" "cardano-ledger-conway-1.23.0.0-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Int))) :+: (C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody)))) :+: C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: (C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Int))) :+: C1 ('MetaCons "HeaderProtVerTooHigh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Version)))))) | |||||
totalRefScriptSizeInBlock ∷ (AlonzoEraTx era, BabbageEraTxBody era) ⇒ ProtVer → StrictSeq (Tx 'TopTx era) → UTxO era → Int Source #
conwayBbodyTransition ∷ (Signal (EraRule "BBODY" era) ~ BbodySignal era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, BaseM (EraRule "BBODY" era) ~ ShelleyBase, STS (EraRule "BBODY" era), AlonzoEraTx era, EraBlockBody era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ TransitionRule (EraRule "BBODY" era) Source #
validateBodyRefScriptsSizeTooBig ∷ (AlonzoEraTx era, BabbageEraTxBody era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraBlockBody era, ConwayEraPParams era) ⇒ PParams era → BlockBody era → UTxO era → Rule (EraRule "BBODY" era) 'Transition () Source #
Validate that total reference script size does not exceed block limit.
data ConwayCertEvent era Source #
Constructors
| DelegEvent (Event (EraRule "DELEG" era)) | |
| PoolEvent (Event (EraRule "POOL" era)) | |
| GovCertEvent (Event (EraRule "GOVCERT" era)) |
Instances
| (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 → () # | |||||
| Generic (ConwayCertEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types
Methods from ∷ ConwayCertEvent era → Rep (ConwayCertEvent era) x # to ∷ Rep (ConwayCertEvent era) x → 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.23.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)))))) | |||||
data ConwayCertPredFailure era Source #
Constructors
| DelegFailure (PredicateFailure (EraRule "DELEG" era)) | |
| PoolFailure (PredicateFailure (EraRule "POOL" era)) | |
| GovCertFailure (PredicateFailure (EraRule "GOVCERT" era)) |
Instances
| InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source # | |||||
| InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| (Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ DecCBOR (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||
| (EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ EncCBOR (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods encCBOR ∷ ConwayCertPredFailure era → Encoding Source # | |||||
| (NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era)), NFData (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NFData (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ ConwayCertPredFailure era → () # | |||||
| Generic (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types
Methods from ∷ ConwayCertPredFailure era → Rep (ConwayCertPredFailure era) x # to ∷ Rep (ConwayCertPredFailure era) x → ConwayCertPredFailure era # | |||||
| (Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Show (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods showsPrec ∷ Int → ConwayCertPredFailure era → ShowS # show ∷ ConwayCertPredFailure era → String # showList ∷ [ConwayCertPredFailure era] → ShowS # | |||||
| (Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era)), Eq (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Eq (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool # (/=) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool # | |||||
| type Rep (ConwayCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (ConwayCertPredFailure era) = D1 ('MetaData "ConwayCertPredFailure" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOVCERT" era)))))) | |||||
Instances
| (Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (CERT era), Embed (EraRule "POOL" era) (CERT era), Embed (EraRule "GOVCERT" era) (CERT era), TxCert era ~ ConwayTxCert era, EraCertState era) ⇒ STS (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types
Methods initialRules ∷ [InitialRule (CERT era)] Source # transitionRules ∷ [TransitionRule (CERT era)] Source # assertions ∷ [Assertion (CERT era)] Source # renderAssertionViolation ∷ AssertionViolation (CERT era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (CERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (CERT era) (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (CERT era) → PredicateFailure (CERTS era) Source # | |||||||||||||||||||||||||
| (Era era, STS (DELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (DELEG era) (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (DELEG era) → PredicateFailure (CERT era) Source # | |||||||||||||||||||||||||
| (Era era, STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (GOVCERT era) (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (GOVCERT era) → PredicateFailure (CERT era) Source # | |||||||||||||||||||||||||
| (Era era, STS (POOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (POOL era) ~ ShelleyPoolPredFailure era, BaseM (POOL era) ~ ShelleyBase) ⇒ Embed (POOL era) (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (POOL era) → PredicateFailure (CERT era) Source # | |||||||||||||||||||||||||
| type BaseM (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||||||||||||||||||
| type Environment (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||||||||||||||||||
| type Event (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||||||||||||||||||
| type PredicateFailure (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||||||||||||||||||
| type Signal (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||||||||||||||||||
| type State (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||||||||||||||||||
Constructors
| CertEnv | |
Fields
| |
Instances
| EraPParams era ⇒ EncCBOR (CertEnv era) Source # | |||||
| EraPParams era ⇒ NFData (CertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||
| Generic (CertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types
| |||||
| EraPParams era ⇒ Show (CertEnv era) Source # | |||||
| 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.23.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) (GovActionState era)))))) | |||||
Instances
| (EraPParams era, EraCertState era, ConwayEraCertState era, State (EraRule "DELEG" era) ~ CertState era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, EraRule "DELEG" era ~ DELEG era, InjectRuleFailure "DELEG" ConwayDelegPredFailure era) ⇒ STS (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types
Methods initialRules ∷ [InitialRule (DELEG era)] Source # transitionRules ∷ [TransitionRule (DELEG era)] Source # assertions ∷ [Assertion (DELEG era)] Source # renderAssertionViolation ∷ AssertionViolation (DELEG era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (DELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (DELEG era) (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (DELEG era) → PredicateFailure (CERT era) Source # | |||||||||||||||||||||||||
| type BaseM (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||||||||||||||||||
| type Environment (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||||||||||||||||||
| type Event (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||||||||||||||||||
| type PredicateFailure (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||||||||||||||||||
| type Signal (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||||||||||||||||||
| type State (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||||||||||||||||||
data ConwayDelegPredFailure era Source #
Constructors
| IncorrectDepositDELEG Coin | |
| StakeKeyRegisteredDELEG (Credential 'Staking) | |
| StakeKeyNotRegisteredDELEG (Credential 'Staking) | |
| StakeKeyHasNonZeroAccountBalanceDELEG Coin | |
| DelegateeDRepNotRegisteredDELEG (Credential 'DRepRole) | |
| DelegateeStakePoolNotRegisteredDELEG (KeyHash 'StakePool) | |
| DepositIncorrectDELEG (Mismatch 'RelEQ Coin) | |
| RefundIncorrectDELEG (Mismatch 'RelEQ Coin) |
Instances
| InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source # | |||||
| InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source # | |||||
| InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| Era era ⇒ DecCBOR (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||
| Era era ⇒ EncCBOR (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods encCBOR ∷ ConwayDelegPredFailure era → Encoding Source # | |||||
| NFData (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods rnf ∷ ConwayDelegPredFailure era → () # | |||||
| Generic (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types
Methods from ∷ ConwayDelegPredFailure era → Rep (ConwayDelegPredFailure era) x # to ∷ Rep (ConwayDelegPredFailure era) x → ConwayDelegPredFailure era # | |||||
| Show (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods showsPrec ∷ Int → ConwayDelegPredFailure era → ShowS # show ∷ ConwayDelegPredFailure era → String # showList ∷ [ConwayDelegPredFailure era] → ShowS # | |||||
| Eq (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods (==) ∷ ConwayDelegPredFailure era → ConwayDelegPredFailure era → Bool # (/=) ∷ ConwayDelegPredFailure era → ConwayDelegPredFailure era → Bool # | |||||
| type Rep (ConwayDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg type Rep (ConwayDelegPredFailure era) = D1 ('MetaData "ConwayDelegPredFailure" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (((C1 ('MetaCons "IncorrectDepositDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "StakeKeyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking)))) :+: (C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "StakeKeyHasNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :+: ((C1 ('MetaCons "DelegateeDRepNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "DelegateeStakePoolNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)))) :+: (C1 ('MetaCons "DepositIncorrectDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "RefundIncorrectDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin)))))) | |||||
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 ConwayDelegEnv era Source #
Constructors
| ConwayDelegEnv | |
Fields
| |
Instances
| EraPParams era ⇒ EncCBOR (ConwayDelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods encCBOR ∷ ConwayDelegEnv era → Encoding Source # | |||||
| (Era era, NFData (PParams era)) ⇒ NFData (ConwayDelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods rnf ∷ ConwayDelegEnv era → () # | |||||
| Generic (ConwayDelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types
Methods from ∷ ConwayDelegEnv era → Rep (ConwayDelegEnv era) x # to ∷ Rep (ConwayDelegEnv era) x → ConwayDelegEnv era # | |||||
| Show (PParams era) ⇒ Show (ConwayDelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods showsPrec ∷ Int → ConwayDelegEnv era → ShowS # show ∷ ConwayDelegEnv era → String # showList ∷ [ConwayDelegEnv era] → ShowS # | |||||
| Eq (PParams era) ⇒ Eq (ConwayDelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods (==) ∷ ConwayDelegEnv era → ConwayDelegEnv era → Bool # (/=) ∷ ConwayDelegEnv era → ConwayDelegEnv era → Bool # | |||||
| type Rep (ConwayDelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Deleg type Rep (ConwayDelegEnv era) = D1 ('MetaData "ConwayDelegEnv" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "ConwayDelegEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "cdePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cdePools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) StakePoolState)))) | |||||
conwayDelegTransition ∷ ∀ (rule ∷ Symbol) era. (EraPParams era, ConwayEraCertState era, Signal (EraRule rule era) ~ ConwayDelegCert, Environment (EraRule rule era) ~ ConwayDelegEnv era, State (EraRule rule era) ~ CertState era, InjectRuleFailure rule ConwayDelegPredFailure era) ⇒ TransitionRule (EraRule rule era) Source #
Instances
| (ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, EraRule "GOVCERT" era ~ GOVCERT era, InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era)), ConwayEraCertState era) ⇒ STS (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types
Methods initialRules ∷ [InitialRule (GOVCERT era)] Source # transitionRules ∷ [TransitionRule (GOVCERT era)] Source # assertions ∷ [Assertion (GOVCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (GOVCERT era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (GOVCERT era) (CERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (GOVCERT era) → PredicateFailure (CERT era) Source # | |||||||||||||||||||||||||
| type BaseM (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||||||||||||||||||
| type Environment (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||||||||||||||||||
| type Event (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||||||||||||||||||
| type PredicateFailure (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||||||||||||||||||
| type Signal (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||||||||||||||||||
| type State (GOVCERT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||||||||||||||||||
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
| InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source # | |||||
| InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source # | |||||
| InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| Typeable era ⇒ DecCBOR (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||
| Era era ⇒ EncCBOR (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods encCBOR ∷ ConwayGovCertPredFailure era → Encoding Source # | |||||
| NFData (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods rnf ∷ ConwayGovCertPredFailure era → () # | |||||
| Generic (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types
Methods from ∷ ConwayGovCertPredFailure era → Rep (ConwayGovCertPredFailure era) x # to ∷ Rep (ConwayGovCertPredFailure era) x → ConwayGovCertPredFailure era # | |||||
| Show (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods showsPrec ∷ Int → ConwayGovCertPredFailure era → ShowS # show ∷ ConwayGovCertPredFailure era → String # showList ∷ [ConwayGovCertPredFailure era] → ShowS # | |||||
| Eq (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods (==) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool # (/=) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool # | |||||
| type Rep (ConwayGovCertPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert type Rep (ConwayGovCertPredFailure era) = D1 ('MetaData "ConwayGovCertPredFailure" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.23.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: (C1 ('MetaCons "ConwayDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "ConwayDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))))) :+: (C1 ('MetaCons "ConwayCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'ColdCommitteeRole))) :+: (C1 ('MetaCons "ConwayDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "ConwayCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'ColdCommitteeRole)))))) | |||||
data ConwayGovCertEnv era Source #
Constructors
| ConwayGovCertEnv | |
Fields
| |
Instances
| EraPParams era ⇒ EncCBOR (ConwayGovCertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods encCBOR ∷ ConwayGovCertEnv era → Encoding Source # | |||||
| EraPParams era ⇒ NFData (ConwayGovCertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods rnf ∷ ConwayGovCertEnv era → () # | |||||
| Generic (ConwayGovCertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types
Methods from ∷ ConwayGovCertEnv era → Rep (ConwayGovCertEnv era) x # to ∷ Rep (ConwayGovCertEnv era) x → ConwayGovCertEnv era # | |||||
| EraPParams era ⇒ Show (ConwayGovCertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods showsPrec ∷ Int → ConwayGovCertEnv era → ShowS # show ∷ ConwayGovCertEnv era → String # showList ∷ [ConwayGovCertEnv era] → ShowS # | |||||
| EraPParams era ⇒ Eq (ConwayGovCertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods (==) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool # (/=) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool # | |||||
| type Rep (ConwayGovCertEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.GovCert type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cgceCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "cgceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era)))))) | |||||
Arguments
| ∷ EpochInterval | DRepActivity PParam |
| → EpochNo | Current epoch |
| → EpochNo | The count of the dormant epochs |
| → EpochNo | Computed expiry |
conwayGovCertTransition ∷ ∀ (rule ∷ Symbol) era. (ConwayEraPParams era, ConwayEraCertState era, InjectRuleFailure rule ConwayGovCertPredFailure era, State (EraRule rule era) ~ CertState era, Signal (EraRule rule era) ~ ConwayGovCert, Environment (EraRule rule era) ~ ConwayGovCertEnv era) ⇒ TransitionRule (EraRule rule era) Source #
Instances
| (EraTx era, ConwayEraTxBody era, ConwayEraPParams era, State (EraRule "CERT" era) ~ CertState era, Signal (EraRule "CERT" era) ~ TxCert era, Environment (EraRule "CERT" era) ~ CertEnv era, Embed (EraRule "CERT" era) (CERTS era), EraCertState era, ConwayEraCertState era, EraRuleFailure "CERT" era ~ PredicateFailure (EraRule "CERT" era)) ⇒ STS (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types
Methods initialRules ∷ [InitialRule (CERTS era)] Source # transitionRules ∷ [TransitionRule (CERTS era)] Source # assertions ∷ [Assertion (CERTS era)] Source # renderAssertionViolation ∷ AssertionViolation (CERTS era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (CERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (CERT era) (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (CERT era) → PredicateFailure (CERTS era) Source # | |||||||||||||||||||||||||
| (EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (CERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, EraRule "CERTS" era ~ CERTS era, ConwayEraCertState era) ⇒ Embed (CERTS era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (CERTS era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||||||||||||||||||
| type Environment (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||||||||||||||||||
| type Event (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||||||||||||||||||
| type PredicateFailure (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||||||||||||||||||
| type Signal (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||||||||||||||||||
| type State (CERTS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||||||||||||||||||
data ConwayCertsPredFailure era Source #
Constructors
| WithdrawalsNotInRewardsCERTS Withdrawals | Withdrawals that are missing or do not withdraw the entire amount (pv < 11) |
| CertFailure (PredicateFailure (EraRule "CERT" era)) | CERT rule subtransition Failures |
Instances
| InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ DecCBOR (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ EncCBOR (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods encCBOR ∷ ConwayCertsPredFailure era → Encoding Source # | |||||
| NFData (PredicateFailure (EraRule "CERT" era)) ⇒ NFData (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods rnf ∷ ConwayCertsPredFailure era → () # | |||||
| Generic (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types
Methods from ∷ ConwayCertsPredFailure era → Rep (ConwayCertsPredFailure era) x # to ∷ Rep (ConwayCertsPredFailure era) x → ConwayCertsPredFailure era # | |||||
| Show (PredicateFailure (EraRule "CERT" era)) ⇒ Show (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods showsPrec ∷ Int → ConwayCertsPredFailure era → ShowS # show ∷ ConwayCertsPredFailure era → String # showList ∷ [ConwayCertsPredFailure era] → ShowS # | |||||
| Eq (PredicateFailure (EraRule "CERT" era)) ⇒ Eq (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods (==) ∷ ConwayCertsPredFailure era → ConwayCertsPredFailure era → Bool # (/=) ∷ ConwayCertsPredFailure era → ConwayCertsPredFailure era → Bool # | |||||
| type Rep (ConwayCertsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERT" era))))) | |||||
newtype ConwayCertsEvent era Source #
Instances
| NFData (Event (EraRule "CERT" era)) ⇒ NFData (ConwayCertsEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods rnf ∷ ConwayCertsEvent era → () # | |||||
| Generic (ConwayCertsEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types
Methods from ∷ ConwayCertsEvent era → Rep (ConwayCertsEvent era) x # to ∷ Rep (ConwayCertsEvent era) x → ConwayCertsEvent era # | |||||
| Eq (Event (EraRule "CERT" era)) ⇒ Eq (ConwayCertsEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods (==) ∷ ConwayCertsEvent era → ConwayCertsEvent era → Bool # (/=) ∷ ConwayCertsEvent era → ConwayCertsEvent era → Bool # | |||||
| type Rep (ConwayCertsEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs type Rep (ConwayCertsEvent era) = D1 ('MetaData "ConwayCertsEvent" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.23.0.0-inplace" 'True) (C1 ('MetaCons "CertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERT" era))))) | |||||
Constructors
| CertsEnv | |
Fields
| |
Instances
| EraTx era ⇒ EncCBOR (CertsEnv era) Source # | |||||
| (EraPParams era, NFData (Tx 'TopTx era)) ⇒ NFData (CertsEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||
| Generic (CertsEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types
| |||||
| (EraPParams era, Show (Tx 'TopTx era)) ⇒ Show (CertsEnv era) Source # | |||||
| (EraPParams era, Eq (Tx 'TopTx 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.23.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'TopTx 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) (GovActionState era))))))) | |||||
updateDormantDRepExpiry Source #
Update dormant expiry for all DReps that are active.
And also reset the numDormantEpochs counter.
updateDormantDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → CertState era → CertState era Source #
If there is a new governance proposal to vote on in this transaction, AND the number of dormant-epochs recorded is greater than zero, we bump the expiry for all DReps by the number of dormant epochs, and reset the counter to zero.
It does not matter that this is called _before_ the GOV rule in LEDGER, even though we cannot validate any governance proposal here, since the entire transaction will fail if the proposal is not accepted in GOV, and so will this expiry bump done here.
updateVotingDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → EpochInterval → CertState era → CertState era Source #
Update DRep expiry for all DReps that are voting in this transaction. This will execute in mutual-exclusion to the updates to the dormant DRep expiry, because if there are no proposals to vote on, there will be no votes either.
data EnactState era Source #
Constructors
| EnactState | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toJSON ∷ EnactState era → Value Source # toEncoding ∷ EnactState era → Encoding Source # toJSONList ∷ [EnactState era] → Value Source # toEncodingList ∷ [EnactState era] → Encoding Source # omitField ∷ EnactState era → Bool Source # | |||||
| EraPParams era ⇒ DecCBOR (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| EraPParams era ⇒ DecShareCBOR (EnactState era) Source # | |||||
| EraPParams era ⇒ EncCBOR (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ EnactState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toKeyValuePairs ∷ KeyValue e kv ⇒ EnactState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods def ∷ EnactState era Source # | |||||
| EraPParams era ⇒ NFData (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ EnactState era → () # | |||||
| Generic (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types
Methods from ∷ EnactState era → Rep (EnactState era) x # to ∷ Rep (EnactState era) x → EnactState era # | |||||
| (Era era, Show (PParams era)) ⇒ Show (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → EnactState era → ShowS # show ∷ EnactState era → String # showList ∷ [EnactState era] → ShowS # | |||||
| (Era era, Eq (PParams era)) ⇒ Eq (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ EnactState era → EnactState era → Bool # (/=) ∷ EnactState era → EnactState era → Bool # | |||||
| EraPParams era ⇒ NoThunks (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| type Share (EnactState era) Source # | |||||
| type Rep (EnactState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "EnactState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ensCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: (S1 ('MetaSel ('Just "ensConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)) :*: S1 ('MetaSel ('Just "ensCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)))) :*: ((S1 ('MetaSel ('Just "ensPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ensTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "ensWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin)) :*: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe)))))) | |||||
Instances
| EraGov era ⇒ STS (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact Associated Types
Methods initialRules ∷ [InitialRule (ENACT era)] Source # transitionRules ∷ [TransitionRule (ENACT era)] Source # assertions ∷ [Assertion (ENACT era)] Source # renderAssertionViolation ∷ AssertionViolation (ENACT era) → String Source # | |||||||||||||||||||||||||
| EraGov era ⇒ Embed (ENACT era) (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify Methods wrapFailed ∷ PredicateFailure (ENACT era) → PredicateFailure (RATIFY era) Source # | |||||||||||||||||||||||||
| type BaseM (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||||||||||||||||||
| type Environment (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||||||||||||||||||
| type Event (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||||||||||||||||||
| type PredicateFailure (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||||||||||||||||||
| type Signal (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||||||||||||||||||
| type State (ENACT era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||||||||||||||||||
data EnactSignal era Source #
Constructors
| EnactSignal | |
Fields
| |
Instances
| EraPParams era ⇒ EncCBOR (EnactSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Enact Methods encCBOR ∷ EnactSignal era → Encoding Source # | |||||
| EraPParams era ⇒ NFData (EnactSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Enact Methods rnf ∷ EnactSignal era → () # | |||||
| Generic (EnactSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Enact Associated Types
Methods from ∷ EnactSignal era → Rep (EnactSignal era) x # to ∷ Rep (EnactSignal era) x → EnactSignal era # | |||||
| EraPParams era ⇒ Show (EnactSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Enact Methods showsPrec ∷ Int → EnactSignal era → ShowS # show ∷ EnactSignal era → String # showList ∷ [EnactSignal era] → ShowS # | |||||
| EraPParams era ⇒ Eq (EnactSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Enact Methods (==) ∷ EnactSignal era → EnactSignal era → Bool # (/=) ∷ EnactSignal era → EnactSignal era → Bool # | |||||
| type Rep (EnactSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Enact type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "EnactSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "esGovActionId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId) :*: S1 ('MetaSel ('Just "esGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)))) | |||||
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
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Allegra.Rules.Utxo | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Allegra.Rules.Utxow | |
| type PredicateFailure (BBODY era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Bbody | |
| type PredicateFailure (LEDGER era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Ledger | |
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxo | |
| type PredicateFailure (UTXOS era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxow | |
| type PredicateFailure (LEDGER era) | |
Defined in Cardano.Ledger.Babbage.Rules.Ledger | |
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxo | |
| type PredicateFailure (UTXOS era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxos | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxow | |
| type PredicateFailure (BBODY era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Bbody | |
| type PredicateFailure (CERT era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert | |
| type PredicateFailure (CERTS era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Certs | |
| type PredicateFailure (DELEG era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Deleg | |
| type PredicateFailure (ENACT era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Enact | |
| type PredicateFailure (EPOCH era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch | |
| type PredicateFailure (GOV era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
| type PredicateFailure (GOVCERT era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.GovCert | |
| type PredicateFailure (HARDFORK era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.HardFork | |
| type PredicateFailure (LEDGER era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger | |
| type PredicateFailure (MEMPOOL era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Mempool | |
| type PredicateFailure (NEWEPOCH era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |
| type PredicateFailure (RATIFY era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ratify | |
| type PredicateFailure (TICKF era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf | |
| type PredicateFailure (UTXO era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo | |
| type PredicateFailure (UTXOS era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos | |
| type PredicateFailure (UTXOW era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxow | |
| type PredicateFailure (BBODY era) | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody | |
| type PredicateFailure (DELEG era) | |
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |
| type PredicateFailure (DELEGS era) | |
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |
| type PredicateFailure (DELPL era) | |
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |
| type PredicateFailure (EPOCH era) | |
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |
| type PredicateFailure (LEDGER era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |
| type PredicateFailure (LEDGERS era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |
| type PredicateFailure (MIR era) | |
Defined in Cardano.Ledger.Shelley.Rules.Mir | |
| type PredicateFailure (NEWEPOCH era) | |
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |
| type PredicateFailure (NEWPP era) | |
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |
| type PredicateFailure (POOL era) | |
Defined in Cardano.Ledger.Shelley.Rules.Pool | |
| type PredicateFailure (POOLREAP era) | |
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |
| type PredicateFailure (PPUP era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| type PredicateFailure (RUPD era) | |
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |
| type PredicateFailure (SNAP era) | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
| type PredicateFailure (TICK era) | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type PredicateFailure (TICKF era) | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type PredicateFailure (UPEC era) | |
Defined in Cardano.Ledger.Shelley.Rules.Upec | |
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |
| type PredicateFailure (STUB e st si f m) | |
Defined in Control.State.Transition.Extended | |
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
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Allegra.Rules.Utxo | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Allegra.Rules.Utxow | |
| type PredicateFailure (BBODY era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Bbody | |
| type PredicateFailure (LEDGER era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Ledger | |
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxo | |
| type PredicateFailure (UTXOS era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxow | |
| type PredicateFailure (LEDGER era) | |
Defined in Cardano.Ledger.Babbage.Rules.Ledger | |
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxo | |
| type PredicateFailure (UTXOS era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxos | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxow | |
| type PredicateFailure (BBODY era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Bbody | |
| type PredicateFailure (CERT era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Cert | |
| type PredicateFailure (CERTS era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Certs | |
| type PredicateFailure (DELEG era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Deleg | |
| type PredicateFailure (ENACT era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Enact | |
| type PredicateFailure (EPOCH era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Epoch | |
| type PredicateFailure (GOV era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
| type PredicateFailure (GOVCERT era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.GovCert | |
| type PredicateFailure (HARDFORK era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.HardFork | |
| type PredicateFailure (LEDGER era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ledger | |
| type PredicateFailure (MEMPOOL era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Mempool | |
| type PredicateFailure (NEWEPOCH era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |
| type PredicateFailure (RATIFY era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Ratify | |
| type PredicateFailure (TICKF era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Tickf | |
| type PredicateFailure (UTXO era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxo | |
| type PredicateFailure (UTXOS era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxos | |
| type PredicateFailure (UTXOW era) Source # | |
Defined in Cardano.Ledger.Conway.Rules.Utxow | |
| type PredicateFailure (BBODY era) | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody | |
| type PredicateFailure (DELEG era) | |
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |
| type PredicateFailure (DELEGS era) | |
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |
| type PredicateFailure (DELPL era) | |
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |
| type PredicateFailure (EPOCH era) | |
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |
| type PredicateFailure (LEDGER era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |
| type PredicateFailure (LEDGERS era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |
| type PredicateFailure (MIR era) | |
Defined in Cardano.Ledger.Shelley.Rules.Mir | |
| type PredicateFailure (NEWEPOCH era) | |
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |
| type PredicateFailure (NEWPP era) | |
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |
| type PredicateFailure (POOL era) | |
Defined in Cardano.Ledger.Shelley.Rules.Pool | |
| type PredicateFailure (POOLREAP era) | |
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |
| type PredicateFailure (PPUP era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| type PredicateFailure (RUPD era) | |
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |
| type PredicateFailure (SNAP era) | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
| type PredicateFailure (TICK era) | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type PredicateFailure (TICKF era) | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type PredicateFailure (UPEC era) | |
Defined in Cardano.Ledger.Shelley.Rules.Upec | |
| type PredicateFailure (UTXO era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |
| type PredicateFailure (UTXOW era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |
| type PredicateFailure (STUB e st si f m) | |
Defined in Control.State.Transition.Extended | |
Instances
| (EraTxOut era, RunConwayRatify era, ConwayEraCertState era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "SNAP" era) (EPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots, Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (EPOCH era), Environment (EraRule "POOLREAP" era) ~ (), State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "RATIFY" era) (EPOCH era), Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, State (EraRule "RATIFY" era) ~ RatifyState era, Signal (EraRule "RATIFY" era) ~ RatifySignal era, Embed (EraRule "HARDFORK" era) (EPOCH era), Environment (EraRule "HARDFORK" era) ~ (), State (EraRule "HARDFORK" era) ~ EpochState era, Signal (EraRule "HARDFORK" era) ~ ProtVer) ⇒ STS (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Associated Types
Methods initialRules ∷ [InitialRule (EPOCH era)] Source # transitionRules ∷ [TransitionRule (EPOCH era)] Source # assertions ∷ [Assertion (EPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (EPOCH era) → String Source # | |||||||||||||||||||||||||
| (STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (EPOCH era) (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (EPOCH era) → PredicateFailure (NEWEPOCH era) Source # wrapEvent ∷ Event (EPOCH era) → Event (NEWEPOCH era) Source # | |||||||||||||||||||||||||
| (EraGov era, PredicateFailure (HARDFORK era) ~ Void, STS (HARDFORK era), BaseM (HARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Embed (HARDFORK era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (HARDFORK era) → PredicateFailure (EPOCH era) Source # wrapEvent ∷ Event (HARDFORK era) → Event (EPOCH era) Source # | |||||||||||||||||||||||||
| (EraGov era, PredicateFailure (RATIFY era) ~ Void, STS (RATIFY era), BaseM (RATIFY era) ~ ShelleyBase, Event (RATIFY era) ~ Void) ⇒ Embed (RATIFY era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (RATIFY era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| (Era era, STS (POOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (POOLREAP era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (POOLREAP era) → PredicateFailure (EPOCH era) Source # wrapEvent ∷ Event (POOLREAP era) → Event (EPOCH era) Source # | |||||||||||||||||||||||||
| (EraTxOut era, EraStake era, EraCertState era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (SNAP era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (SNAP era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||||||||||||||||||
| type Environment (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||||||||||||||||||
| type Event (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||||||||||||||||||
| type PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||||||||||||||||||
| type Signal (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||||||||||||||||||
| type State (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||||||||||||||||||
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 "NEWEPOCH" ConwayEpochEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "NEWEPOCH" ConwayEra Source # | |||||
| InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules Methods injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |||||
| (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 → () # | |||||
| Generic (ConwayEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Associated Types
Methods from ∷ ConwayEpochEvent era → Rep (ConwayEpochEvent era) x # to ∷ Rep (ConwayEpochEvent era) x → 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.23.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))))))) | |||||
Instances
| (EraGov era, EraStake era, EraCertState era, ConwayEraCertState era) ⇒ STS (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork Associated Types
Methods initialRules ∷ [InitialRule (HARDFORK era)] Source # transitionRules ∷ [TransitionRule (HARDFORK era)] Source # assertions ∷ [Assertion (HARDFORK era)] Source # renderAssertionViolation ∷ AssertionViolation (HARDFORK era) → String Source # | |||||||||||||||||||||||||
| (EraGov era, PredicateFailure (HARDFORK era) ~ Void, STS (HARDFORK era), BaseM (HARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Embed (HARDFORK era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (HARDFORK era) → PredicateFailure (EPOCH era) Source # wrapEvent ∷ Event (HARDFORK era) → Event (EPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||||||||||||||||||
| type Environment (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||||||||||||||||||
| type Event (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||||||||||||||||||
| type PredicateFailure (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||||||||||||||||||
| type Signal (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||||||||||||||||||
| type State (HARDFORK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||||||||||||||||||
newtype ConwayHardForkEvent era Source #
Constructors
| ConwayHardForkEvent ProtVer |
Instances
| InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "EPOCH" ConwayEra Source # | |||||
| InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "NEWEPOCH" ConwayEra Source # | |||||
| InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules Methods injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |||||
| NFData (ConwayHardForkEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.HardFork Methods rnf ∷ ConwayHardForkEvent era → () # | |||||
| Generic (ConwayHardForkEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.HardFork Associated Types
Methods from ∷ ConwayHardForkEvent era → Rep (ConwayHardForkEvent era) x # to ∷ Rep (ConwayHardForkEvent era) x → ConwayHardForkEvent era # | |||||
| Eq (ConwayHardForkEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.HardFork Methods (==) ∷ ConwayHardForkEvent era → ConwayHardForkEvent era → Bool # (/=) ∷ ConwayHardForkEvent era → ConwayHardForkEvent era → Bool # | |||||
| type Rep (ConwayHardForkEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.HardFork type Rep (ConwayHardForkEvent era) = D1 ('MetaData "ConwayHardForkEvent" "Cardano.Ledger.Conway.Rules.HardFork" "cardano-ledger-conway-1.23.0.0-inplace" 'True) (C1 ('MetaCons "ConwayHardForkEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer))) | |||||
Instances
| (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ STS (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types
Methods initialRules ∷ [InitialRule (LEDGER era)] Source # transitionRules ∷ [TransitionRule (LEDGER era)] Source # assertions ∷ [Assertion (LEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source # | |||||||||||||||||||||||||
| (EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (CERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, EraRule "CERTS" era ~ CERTS era, ConwayEraCertState era) ⇒ Embed (CERTS era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (CERTS era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| (ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) ⇒ Embed (GOV era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (GOV era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "LEDGER" era) ~ StAnnTx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ Embed (LEDGER era) (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool Methods wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (MEMPOOL era) Source # wrapEvent ∷ Event (LEDGER era) → Event (MEMPOOL era) Source # | |||||||||||||||||||||||||
| (Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, EraRule "GOV" era ~ GOV era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayCertsPredFailure era) ⇒ Embed (LEDGER era) (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (LEDGERS era) Source # wrapEvent ∷ Event (LEDGER era) → Event (LEDGERS era) Source # | |||||||||||||||||||||||||
| (AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||||||||||||||||||
| type Environment (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||||||||||||||||||
| type Event (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||||||||||||||||||
| type PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||||||||||||||||||
| type Signal (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||||||||||||||||||
| type State (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||||||||||||||||||
data ConwayLedgerEvent era Source #
Constructors
| UtxowEvent (Event (EraRule "UTXOW" era)) | |
| CertsEvent (Event (EraRule "CERTS" era)) | |
| GovEvent (Event (EraRule "GOV" era)) |
Instances
| (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 → () # | |||||
| Generic (ConwayLedgerEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types
Methods from ∷ ConwayLedgerEvent era → Rep (ConwayLedgerEvent era) x # to ∷ Rep (ConwayLedgerEvent era) x → 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.23.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)))))) | |||||
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 | |
| ConwayWithdrawalsMissingAccounts Withdrawals | |
| ConwayIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin)) |
Instances
| InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ DecCBOR (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ EncCBOR (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods encCBOR ∷ ConwayLedgerPredFailure era → Encoding Source # | |||||
| (Era era, NFData (PredicateFailure (EraRule "UTXOW" era)), NFData (PredicateFailure (EraRule "CERTS" era)), NFData (PredicateFailure (EraRule "GOV" era))) ⇒ NFData (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods rnf ∷ ConwayLedgerPredFailure era → () # | |||||
| Generic (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types
Methods from ∷ ConwayLedgerPredFailure era → Rep (ConwayLedgerPredFailure era) x # to ∷ Rep (ConwayLedgerPredFailure era) x → ConwayLedgerPredFailure era # | |||||
| (Era era, Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era))) ⇒ Show (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods showsPrec ∷ Int → ConwayLedgerPredFailure era → ShowS # show ∷ ConwayLedgerPredFailure era → String # showList ∷ [ConwayLedgerPredFailure era] → ShowS # | |||||
| (Era era, Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era))) ⇒ Eq (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods (==) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool # (/=) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool # | |||||
| Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra) Source # | |||||
Defined in Cardano.Ledger.Conway Methods inject ∷ NonEmpty (ConwayLedgerPredFailure ConwayEra) → ApplyTxError ConwayEra Source # | |||||
| type Rep (ConwayLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger type Rep (ConwayLedgerPredFailure era) = D1 ('MetaData "ConwayLedgerPredFailure" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (((C1 ('MetaCons "ConwayUtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "ConwayCertsFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERTS" era))))) :+: (C1 ('MetaCons "ConwayGovFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOV" era)))) :+: C1 ('MetaCons "ConwayWdrlNotDelegatedToDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (KeyHash 'Staking)))))) :+: ((C1 ('MetaCons "ConwayTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "ConwayTxRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Int)))) :+: (C1 ('MetaCons "ConwayMempoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "ConwayWithdrawalsMissingAccounts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "ConwayIncompleteWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin)))))))) | |||||
updateDormantDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → CertState era → CertState era Source #
If there is a new governance proposal to vote on in this transaction, AND the number of dormant-epochs recorded is greater than zero, we bump the expiry for all DReps by the number of dormant epochs, and reset the counter to zero.
It does not matter that this is called _before_ the GOV rule in LEDGER, even though we cannot validate any governance proposal here, since the entire transaction will fail if the proposal is not accepted in GOV, and so will this expiry bump done here.
updateVotingDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → EpochInterval → CertState era → CertState era Source #
Update DRep expiry for all DReps that are voting in this transaction. This will execute in mutual-exclusion to the updates to the dormant DRep expiry, because if there are no proposals to vote on, there will be no votes either.
shelleyToConwayLedgerPredFailure ∷ ShelleyLedgerPredFailure era → ConwayLedgerPredFailure era Source #
conwayLedgerTransition ∷ ∀ someLEDGER era. (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Signal (someLEDGER era) ~ StAnnTx 'TopTx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "GOV" era) (someLEDGER era), Embed (EraRule "CERTS" era) (someLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, BaseM (someLEDGER era) ~ ShelleyBase, STS (someLEDGER era), ConwayEraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ TransitionRule (someLEDGER era) Source #
conwayLedgerTransitionTRC ∷ ∀ someLEDGER era. (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Signal (someLEDGER era) ~ StAnnTx 'TopTx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "GOV" era) (someLEDGER era), Embed (EraRule "CERTS" era) (someLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, BaseM (someLEDGER era) ~ ShelleyBase, STS (someLEDGER era), ConwayEraCertState era, EraRule "LEDGER" era ~ someLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ TRC (someLEDGER era) → TransitionRule (someLEDGER era) Source #
validateTreasuryValue ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ TxBody l era → Coin → Test (ConwayLedgerPredFailure era) Source #
validateRefScriptSize ∷ ∀ era (l ∷ TxLevel). (EraTx era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ PParams era → UTxO era → Tx l era → Test (ConwayLedgerPredFailure era) Source #
validateWithdrawalsDelegated ∷ ∀ era (l ∷ TxLevel). (EraTx era, ConwayEraCertState era) ⇒ Accounts era → Tx l era → Test (ConwayLedgerPredFailure era) Source #
Instances
| (EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (MEMPOOL era), State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Signal (EraRule "LEDGER" era) ~ StAnnTx 'TopTx era) ⇒ STS (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool Associated Types
Methods initialRules ∷ [InitialRule (MEMPOOL era)] Source # transitionRules ∷ [TransitionRule (MEMPOOL era)] Source # assertions ∷ [Assertion (MEMPOOL era)] Source # renderAssertionViolation ∷ AssertionViolation (MEMPOOL era) → String Source # | |||||||||||||||||||||||||
| (AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "LEDGER" era) ~ StAnnTx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ Embed (LEDGER era) (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool Methods wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (MEMPOOL era) Source # wrapEvent ∷ Event (LEDGER era) → Event (MEMPOOL era) Source # | |||||||||||||||||||||||||
| type BaseM (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool | |||||||||||||||||||||||||
| type Environment (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool | |||||||||||||||||||||||||
| type Event (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool | |||||||||||||||||||||||||
| type PredicateFailure (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool | |||||||||||||||||||||||||
| type Signal (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool | |||||||||||||||||||||||||
| type State (MEMPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Mempool | |||||||||||||||||||||||||
Instances
| (EraTxOut era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "EPOCH" era) (NEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent, Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (StashedAVVMAddresses era), Signal (EraRule "RATIFY" era) ~ RatifySignal era, State (EraRule "RATIFY" era) ~ RatifyState era, Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, Eq (PredicateFailure (EraRule "RATIFY" era)), Show (PredicateFailure (EraRule "RATIFY" era)), Eq (PredicateFailure (NEWEPOCH era)), Show (PredicateFailure (NEWEPOCH era))) ⇒ STS (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types
Methods initialRules ∷ [InitialRule (NEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (NEWEPOCH era)] Source # assertions ∷ [Assertion (NEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (NEWEPOCH era) → String Source # | |||||||||||||||||||||||||
| (STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (EPOCH era) (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (EPOCH era) → PredicateFailure (NEWEPOCH era) Source # wrapEvent ∷ Event (EPOCH era) → Event (NEWEPOCH era) Source # | |||||||||||||||||||||||||
| (STS (NEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, PredicateFailure (EraRule "NEWEPOCH" era) ~ PredicateFailure (NEWEPOCH era)) ⇒ Embed (NEWEPOCH era) (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (NEWEPOCH era) → PredicateFailure (TICK era) Source # wrapEvent ∷ Event (NEWEPOCH era) → Event (TICK era) Source # | |||||||||||||||||||||||||
| type BaseM (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||||||||||||||||||
| type Environment (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||||||||||||||||||
| type Event (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||||||||||||||||||
| type PredicateFailure (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||||||||||||||||||
| type Signal (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||||||||||||||||||
| type State (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||||||||||||||||||
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
| (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 → () # | |||||
| Generic (ConwayNewEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types
Methods from ∷ ConwayNewEpochEvent era → Rep (ConwayNewEpochEvent era) x # to ∷ Rep (ConwayNewEpochEvent era) x → 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.23.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))))) | |||||
Instances
| EraGov era ⇒ STS (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Tickf Associated Types
Methods initialRules ∷ [InitialRule (TICKF era)] Source # transitionRules ∷ [TransitionRule (TICKF era)] Source # assertions ∷ [Assertion (TICKF era)] Source # renderAssertionViolation ∷ AssertionViolation (TICKF era) → String Source # | |||||||||||||||||||||||||
| type BaseM (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Tickf | |||||||||||||||||||||||||
| type Environment (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Tickf | |||||||||||||||||||||||||
| type Event (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Tickf | |||||||||||||||||||||||||
| type PredicateFailure (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Tickf | |||||||||||||||||||||||||
| type Signal (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Tickf | |||||||||||||||||||||||||
| type State (TICKF 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
| EraPParams era ⇒ ToJSON (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toJSON ∷ RatifyState era → Value Source # toEncoding ∷ RatifyState era → Encoding Source # toJSONList ∷ [RatifyState era] → Value Source # toEncodingList ∷ [RatifyState era] → Encoding Source # omitField ∷ RatifyState era → Bool Source # | |||||
| EraPParams era ⇒ DecCBOR (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| EraPParams era ⇒ DecShareCBOR (RatifyState era) Source # | |||||
| EraPParams era ⇒ EncCBOR (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ RatifyState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods toKeyValuePairs ∷ KeyValue e kv ⇒ RatifyState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods def ∷ RatifyState era Source # | |||||
| EraPParams era ⇒ NFData (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ RatifyState era → () # | |||||
| Generic (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types
Methods from ∷ RatifyState era → Rep (RatifyState era) x # to ∷ Rep (RatifyState era) x → RatifyState era # | |||||
| EraPParams era ⇒ Show (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → RatifyState era → ShowS # show ∷ RatifyState era → String # showList ∷ [RatifyState era] → ShowS # | |||||
| EraPParams era ⇒ Eq (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ RatifyState era → RatifyState era → Bool # (/=) ∷ RatifyState era → RatifyState era → Bool # | |||||
| EraPParams era ⇒ NoThunks (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal | |||||
| (EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods rnf ∷ DRepPulser era Identity (RatifyState era) → () # | |||||
| (EraPParams era, EraStake era, ConwayEraAccounts era) ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods (==) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool # (/=) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool # | |||||
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods noThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRepPulser era Identity (RatifyState era)) → String Source # | |||||
| type Share (RatifyState era) Source # | |||||
| type Rep (RatifyState era) Source # | |||||
Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "RatifyState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rsEnactState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EnactState era)) :*: S1 ('MetaSel ('Just "rsEnacted") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq (GovActionState era)))) :*: (S1 ('MetaSel ('Just "rsExpired") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set GovActionId)) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))) | |||||
Instances
| (ConwayEraPParams era, ConwayEraAccounts era, Embed (EraRule "ENACT" era) (RATIFY era), State (EraRule "ENACT" era) ~ EnactState era, Environment (EraRule "ENACT" era) ~ (), Signal (EraRule "ENACT" era) ~ EnactSignal era) ⇒ STS (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify Associated Types
Methods initialRules ∷ [InitialRule (RATIFY era)] Source # transitionRules ∷ [TransitionRule (RATIFY era)] Source # assertions ∷ [Assertion (RATIFY era)] Source # renderAssertionViolation ∷ AssertionViolation (RATIFY era) → String Source # | |||||||||||||||||||||||||
| EraGov era ⇒ Embed (ENACT era) (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify Methods wrapFailed ∷ PredicateFailure (ENACT era) → PredicateFailure (RATIFY era) Source # | |||||||||||||||||||||||||
| (EraGov era, PredicateFailure (RATIFY era) ~ Void, STS (RATIFY era), BaseM (RATIFY era) ~ ShelleyBase, Event (RATIFY era) ~ Void) ⇒ Embed (RATIFY era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (RATIFY era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify | |||||||||||||||||||||||||
| type Environment (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify | |||||||||||||||||||||||||
| type Event (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify | |||||||||||||||||||||||||
| type PredicateFailure (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify | |||||||||||||||||||||||||
| type Signal (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify | |||||||||||||||||||||||||
| type State (RATIFY era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ratify | |||||||||||||||||||||||||
committeeAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #
committeeAcceptedRatio ∷ Map (Credential 'ColdCommitteeRole) EpochNo → Map (Credential 'HotCommitteeRole) Vote → CommitteeState era → EpochNo → Rational Source #
spoAccepted ∷ (ConwayEraPParams era, ConwayEraAccounts era) ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #
spoAcceptedRatio ∷ ConwayEraAccounts 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 ∷ RatifyEnv era → Map (Credential 'DRepRole) Vote → GovAction era → Rational Source #
acceptedByEveryone ∷ (ConwayEraPParams era, ConwayEraAccounts era) ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #
prevActionAsExpected ∷ GovActionState era → GovRelation StrictMaybe → 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
| (ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) ⇒ STS (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types
Methods initialRules ∷ [InitialRule (GOV era)] Source # transitionRules ∷ [TransitionRule (GOV era)] Source # assertions ∷ [Assertion (GOV era)] Source # renderAssertionViolation ∷ AssertionViolation (GOV era) → String Source # | |||||||||||||||||||||||||
| (ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) ⇒ Embed (GOV era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (GOV era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||||||||||||||||||
| type Environment (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||||||||||||||||||
| type Event (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||||||||||||||||||
| type PredicateFailure (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||||||||||||||||||
| type Signal (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||||||||||||||||||
| type State (GOV era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||||||||||||||||||
data ConwayGovPredFailure era Source #
Constructors
| GovActionsDoNotExist (NonEmpty GovActionId) | |
| MalformedProposal (GovAction era) | |
| ProposalProcedureNetworkIdMismatch AccountAddress Network | |
| TreasuryWithdrawalsNetworkIdMismatch (NonEmptySet AccountAddress) 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
| |
| InvalidGuardrailsScriptHash | |
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 AccountAddress | Proposals that have an invalid account address for returns of the deposit |
| TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty AccountAddress) | Treasury withdrawal proposals to an invalid account address |
| UnelectedCommitteeVoters (NonEmpty (Credential 'HotCommitteeRole)) | Disallow votes by unelected committee members |
Instances
| InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| EraPParams era ⇒ DecCBOR (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||
| EraPParams era ⇒ EncCBOR (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods encCBOR ∷ ConwayGovPredFailure era → Encoding Source # | |||||
| EraPParams era ⇒ NFData (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovPredFailure era → () # | |||||
| Generic (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types
Methods from ∷ ConwayGovPredFailure era → Rep (ConwayGovPredFailure era) x # to ∷ Rep (ConwayGovPredFailure era) x → ConwayGovPredFailure era # | |||||
| EraPParams era ⇒ Show (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods showsPrec ∷ Int → ConwayGovPredFailure era → ShowS # show ∷ ConwayGovPredFailure era → String # showList ∷ [ConwayGovPredFailure era] → ShowS # | |||||
| EraPParams era ⇒ Eq (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool # (/=) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool # | |||||
| type Rep (ConwayGovPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (ConwayGovPredFailure era) = D1 ('MetaData "ConwayGovPredFailure" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.23.0.0-inplace" 'False) ((((C1 ('MetaCons "GovActionsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty GovActionId))) :+: C1 ('MetaCons "MalformedProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons "ProposalProcedureNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountAddress) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons "TreasuryWithdrawalsNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons "ProposalDepositIncorrect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "DisallowedVoters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId))))) :+: (C1 ('MetaCons "ConflictingCommitteeUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (Credential 'ColdCommitteeRole)))) :+: (C1 ('MetaCons "ExpirationEpochTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap (Credential 'ColdCommitteeRole) EpochNo))) :+: C1 ('MetaCons "InvalidPrevGovActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))))))) :+: (((C1 ('MetaCons "VotingOnExpiredGovAction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId)))) :+: C1 ('MetaCons "ProposalCantFollow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGT ProtVer)))) :+: (C1 ('MetaCons "InvalidGuardrailsScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash))) :+: (C1 ('MetaCons "DisallowedProposalDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))) :+: C1 ('MetaCons "DisallowedVotesDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId))))))) :+: ((C1 ('MetaCons "VotersDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Voter))) :+: C1 ('MetaCons "ZeroTreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons "ProposalReturnAccountDoesNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountAddress)) :+: (C1 ('MetaCons "TreasuryWithdrawalReturnAccountsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AccountAddress))) :+: C1 ('MetaCons "UnelectedCommitteeVoters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Credential 'HotCommitteeRole))))))))) | |||||
Constructors
| GovEnv | |
Fields
| |
Instances
| (EraGov era, 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 | |||||
| Generic (GovEnv era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types
| |||||
| (Show (PParams era), Era era, EraCertState era) ⇒ Show (GovEnv era) Source # | |||||
| (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.23.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 "geGuardrailsScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: (S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)) :*: S1 ('MetaSel ('Just "geCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))))))) | |||||
Constructors
| GovSignal | |
Fields
| |
Instances
| (EraPParams era, EraTxCert era) ⇒ EncCBOR (GovSignal era) Source # | |||||
| (EraPParams era, NFData (TxCert era)) ⇒ NFData (GovSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||
| Generic (GovSignal era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types
| |||||
| (EraPParams era, Show (TxCert era)) ⇒ Show (GovSignal era) Source # | |||||
| (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.23.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
| InjectRuleEvent "GOV" ConwayGovEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectEvent ∷ ConwayGovEvent ConwayEra → EraRuleEvent "GOV" ConwayEra Source # | |||||
| EraPParams era ⇒ NFData (ConwayGovEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovEvent era → () # | |||||
| Generic (ConwayGovEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types
Methods from ∷ ConwayGovEvent era → Rep (ConwayGovEvent era) x # to ∷ Rep (ConwayGovEvent era) x → 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.23.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)))))) | |||||
pattern InvalidPolicyHash ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → ConwayGovPredFailure era Source #
Deprecated: In favor of InvalidGuardrailsScriptHash
unelectedCommitteeVoters ∷ StrictMaybe (Committee era) → CommitteeState era → VotingProcedures era → Set (Credential 'HotCommitteeRole) Source #
conwayGovTransition ∷ ∀ (rule ∷ Symbol) era. (ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, STS (EraRule rule era), Signal (EraRule rule era) ~ GovSignal era, BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ GovEnv era, State (EraRule rule era) ~ Proposals era, InjectRuleFailure rule ConwayGovPredFailure era, InjectRuleEvent rule ConwayGovEvent era) ⇒ TransitionRule (EraRule rule era) Source #
checkGuardrailsScriptHash ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → Test (ConwayGovPredFailure era) Source #
checkPolicy ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → Test (ConwayGovPredFailure era) Source #
Deprecated: In favor of checkGuardrailsScriptHash
Instances
| (EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTx era, EraStake era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo Associated Types
Methods initialRules ∷ [InitialRule (UTXO era)] Source # transitionRules ∷ [TransitionRule (UTXO era)] Source # assertions ∷ [Assertion (UTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (UTXOW era) ~ ShelleyBase, PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source # | |||||||||||||||||||||||||
| (Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) ⇒ Embed (UTXOS era) (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
| type BaseM (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||||||||||||||||||
| type Environment (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||||||||||||||||||
| type Event (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||||||||||||||||||
| type PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||||||||||||||||||
| type Signal (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||||||||||||||||||
| type State (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||||||||||||||||||
data ConwayUtxoPredFailure era Source #
Predicate failure for the Conway Era
Constructors
| UtxosFailure (PredicateFailure (EraRule "UTXOS" era)) | Subtransition Failures |
| BadInputsUTxO (NonEmptySet TxIn) | The bad transaction inputs |
| OutsideValidityIntervalUTxO | |
Fields
| |
| MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32) | |
| InputSetEmptyUTxO | |
| FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin) | |
| ValueNotConservedUTxO (Mismatch 'RelEQ (Value era)) | |
| WrongNetwork | the set of addresses with incorrect network IDs |
Fields
| |
| WrongNetworkWithdrawal | |
Fields
| |
| OutputTooSmallUTxO (NonEmpty (TxOut era)) | list of supplied transaction outputs that are too small |
| OutputBootAddrAttrsTooBig (NonEmpty (TxOut era)) | list of supplied bad transaction outputs |
| OutputTooBigUTxO (NonEmpty (Int, Int, TxOut era)) | list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut) |
| InsufficientCollateral | |
| ScriptsNotPaidUTxO (NonEmptyMap TxIn (TxOut 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 Word16) | There are too many collateral inputs |
| NoCollateralInputs | |
| IncorrectTotalCollateralField | The collateral is not equivalent to the total collateral asserted by the transaction |
| BabbageOutputTooSmallUTxO (NonEmpty (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 # | |||||
| (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 # | |||||
| (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 → () # | |||||
| Generic (ConwayUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxo Associated Types
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, 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 # | |||||
| 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.23.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 (NonEmptySet 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 Word32))) :+: 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 (NonEmptySet 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 (NonEmptySet AccountAddress))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (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 (NonEmptyMap TxIn (TxOut 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 Word16))) :+: 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 (NonEmpty (TxOut era, Coin)))) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn)))))))) | |||||
Instances
| (EraPParams era, EraCertState era, Typeable (CertState era)) ⇒ DecCBOR (UtxoEnv era) | |||||
| (EraPParams era, EraCertState era) ⇒ EncCBOR (UtxoEnv era) | |||||
| (Era era, NFData (PParams era), NFData (CertState era)) ⇒ NFData (UtxoEnv era) | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||
| Generic (UtxoEnv era) | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
| |||||
| (Show (PParams era), Show (CertState era)) ⇒ Show (UtxoEnv era) | |||||
| (Eq (PParams era), Eq (CertState era)) ⇒ Eq (UtxoEnv era) | |||||
| type Rep (UtxoEnv era) | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo type Rep (UtxoEnv era) = D1 ('MetaData "UtxoEnv" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "UtxoEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era))))) | |||||
allegraToConwayUtxoPredFailure ∷ EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era Source #
updateTreasuryDonation ∷ (AlonzoEraTx era, ConwayEraTxBody era) ⇒ Tx 'TopTx era → UTxOState era → UTxOState era Source #
Accumulate treasury donation for valid transactions
Instances
| (AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraScript era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (UTXOS era) ~ StAnnTx 'TopTx era, EraRule "UTXOS" era ~ UTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types
Methods initialRules ∷ [InitialRule (UTXOS era)] Source # transitionRules ∷ [TransitionRule (UTXOS era)] Source # assertions ∷ [Assertion (UTXOS era)] Source # renderAssertionViolation ∷ AssertionViolation (UTXOS era) → String Source # | |||||||||||||||||||||||||
| (AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraScript era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (UTXOS era) ~ StAnnTx 'TopTx era, EraRule "UTXOS" era ~ UTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ Embed (UTXOS era) (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
| (Era era, STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) ⇒ Embed (UTXOS era) (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
| type BaseM (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||||||||||||||||||
| type Environment (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||||||||||||||||||
| type Event (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||||||||||||||||||
| type PredicateFailure (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||||||||||||||||||
| type Signal (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||||||||||||||||||
| type State (UTXOS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||||||||||||||||||
data ConwayUtxosPredFailure era Source #
Constructors
| ValidationTagMismatch IsValid TagMismatchDescription | The |
| CollectErrors (NonEmpty (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
| InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source # | |||||
| InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source # | |||||
| InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source # | |||||
| (EraTxCert era, ConwayEraScript era, DecCBOR (ContextError era)) ⇒ DecCBOR (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||
| (EraTxCert era, ConwayEraScript era, EncCBOR (ContextError era)) ⇒ EncCBOR (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods encCBOR ∷ ConwayUtxosPredFailure era → Encoding Source # | |||||
| (ConwayEraScript era, NFData (TxCert era), NFData (ContextError era)) ⇒ NFData (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods rnf ∷ ConwayUtxosPredFailure era → () # | |||||
| Generic (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types
Methods from ∷ ConwayUtxosPredFailure era → Rep (ConwayUtxosPredFailure era) x # to ∷ Rep (ConwayUtxosPredFailure era) x → ConwayUtxosPredFailure era # | |||||
| (ConwayEraScript era, Show (TxCert era), Show (ContextError era)) ⇒ Show (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods showsPrec ∷ Int → ConwayUtxosPredFailure era → ShowS # show ∷ ConwayUtxosPredFailure era → String # showList ∷ [ConwayUtxosPredFailure era] → ShowS # | |||||
| (ConwayEraScript era, Eq (TxCert era), Eq (ContextError era)) ⇒ Eq (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods (==) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool # (/=) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool # | |||||
| type Rep (ConwayUtxosPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos type Rep (ConwayUtxosPredFailure era) = D1 ('MetaData "ConwayUtxosPredFailure" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsValid) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (CollectError era))))) | |||||
data ConwayUtxosEvent era Source #
Constructors
| SuccessfulPlutusScriptsEvent (NonEmpty PlutusWithContext) | |
| FailedPlutusScriptsEvent (NonEmpty PlutusWithContext) |
Instances
| InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source # | |||||
| NFData (ConwayUtxosEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods rnf ∷ ConwayUtxosEvent era → () # | |||||
| Generic (ConwayUtxosEvent era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types
Methods from ∷ ConwayUtxosEvent era → Rep (ConwayUtxosEvent era) x # to ∷ Rep (ConwayUtxosEvent era) x → ConwayUtxosEvent 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.23.0.0-inplace" 'False) (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)))) | |||||
alonzoToConwayUtxosPredFailure ∷ EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AlonzoUtxosPredFailure era → ConwayUtxosPredFailure era Source #
alonzoToConwayUtxosEvent ∷ EraRuleEvent "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AlonzoUtxosEvent era → ConwayUtxosEvent era Source #
Instances
| (AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "UTXOW" ConwayUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types
Methods initialRules ∷ [InitialRule (UTXOW era)] Source # transitionRules ∷ [TransitionRule (UTXOW era)] Source # assertions ∷ [Assertion (UTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (UTXOW era) ~ ShelleyBase, PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source # | |||||||||||||||||||||||||
| (AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), PredicateFailure (UTXOW era) ~ ConwayUtxowPredFailure era, Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||||||||||||||||||
| type Environment (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||||||||||||||||||
| type Event (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||||||||||||||||||
| type PredicateFailure (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||||||||||||||||||
| type Signal (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||||||||||||||||||
| type State (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||||||||||||||||||
data ConwayUtxowPredFailure era Source #
Predicate failure type for the Conway Era
Constructors
| UtxoFailure (PredicateFailure (EraRule "UTXO" era)) | |
| InvalidWitnessesUTXOW (NonEmpty (VKey 'Witness)) | |
| MissingVKeyWitnessesUTXOW | witnesses which failed in verifiedWits function |
Fields
| |
| MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash) | missing scripts |
| ScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash) | failed scripts |
| MissingTxBodyMetadataHash TxAuxDataHash | hash of the full metadata |
| MissingTxMetadata TxAuxDataHash | hash of the metadata included in the transaction body |
| ConflictingMetadataHash (Mismatch 'RelEQ TxAuxDataHash) | |
| InvalidMetadata | Contains out of range values (string`s too long) |
| ExtraneousScriptWitnessesUTXOW (NonEmptySet ScriptHash) | extraneous scripts |
| MissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash)) | |
| MissingRequiredDatums | |
Fields
| |
| NotAllowedSupplementalDatums | |
Fields
| |
| PPViewHashesDontMatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) | |
| UnspendableUTxONoDatumHash (NonEmptySet TxIn) | Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't |
| ExtraRedeemers (NonEmpty (PlutusPurpose AsIx era)) | List of redeemers not needed |
| MalformedScriptWitnesses (NonEmptySet ScriptHash) | Embed UTXO rule failures |
| MalformedReferenceScripts (NonEmptySet ScriptHash) | the set of malformed script witnesses |
| ScriptIntegrityHashMismatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString) | The computed script integrity hash does not match the provided script integrity hash |
Instances
| InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||
| InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source # | |||||
| InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source # | |||||
| (ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ DecCBOR (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||
| (ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods encCBOR ∷ ConwayUtxowPredFailure era → Encoding Source # | |||||
| (ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) ⇒ NFData (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods rnf ∷ ConwayUtxowPredFailure era → () # | |||||
| Generic (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types
Methods from ∷ ConwayUtxowPredFailure era → Rep (ConwayUtxowPredFailure era) x # to ∷ Rep (ConwayUtxowPredFailure era) x → ConwayUtxowPredFailure era # | |||||
| (ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods showsPrec ∷ Int → ConwayUtxowPredFailure era → ShowS # show ∷ ConwayUtxowPredFailure era → String # showList ∷ [ConwayUtxowPredFailure era] → ShowS # | |||||
| (ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods (==) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool # (/=) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool # | |||||
| type Rep (ConwayUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Conway.Rules.Utxow type Rep (ConwayUtxowPredFailure era) = D1 ('MetaData "ConwayUtxowPredFailure" "Cardano.Ledger.Conway.Rules.Utxow" "cardano-ledger-conway-1.23.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era)))) :+: C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (VKey 'Witness))))) :+: (C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (KeyHash 'Witness)))) :+: C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))))) :+: ((C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash))) :+: (C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash)) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ TxAuxDataHash))) :+: C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsItem era, ScriptHash))))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: (C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))))))) :+: ((C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsIx era))))) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: (C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "ScriptIntegrityHashMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString)))))))) | |||||
Orphan instances
| InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # | |
Methods injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |
| InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra Source # | |
Methods injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source # | |