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