Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules

Contents

Orphan instances

Synopsis

data ConwayBBODY era
data ConwayBbodyPredFailure era
- = WrongBlockBodySizeBBODY !(Mismatch 'RelEQ Int)
- | InvalidBodyHashBBODY !(Mismatch 'RelEQ (Hash (EraCrypto era) EraIndependentBlockBody))
- | LedgersFailure !(PredicateFailure (EraRule "LEDGERS" era))
- | TooManyExUnits !(Mismatch 'RelLTEQ ExUnits)
- | BodyRefScriptsSizeTooBig !(Mismatch 'RelLTEQ Int)
maxRefScriptSizePerBlock ∷ Int
data ConwayCERT era
data ConwayCertPredFailure era
- = DelegFailure (PredicateFailure (EraRule "DELEG" era))
- | PoolFailure (PredicateFailure (EraRule "POOL" era))
- | GovCertFailure (PredicateFailure (EraRule "GOVCERT" era))
data ConwayCertEvent era
- = DelegEvent (Event (EraRule "DELEG" era))
- | PoolEvent (Event (EraRule "POOL" era))
- | GovCertEvent (Event (EraRule "GOVCERT" era))
data CertEnv era = CertEnv {
- cePParams ∷ !(PParams era)
- ceCurrentEpoch ∷ !EpochNo
- ceCurrentCommittee ∷ StrictMaybe (Committee era)
- ceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)
}
data ConwayDELEG era
data ConwayDelegPredFailure era
- = IncorrectDepositDELEG Coin
- | StakeKeyRegisteredDELEG (Credential 'Staking (EraCrypto era))
- | StakeKeyNotRegisteredDELEG (Credential 'Staking (EraCrypto era))
- | StakeKeyHasNonZeroRewardAccountBalanceDELEG Coin
- | DelegateeDRepNotRegisteredDELEG (Credential 'DRepRole (EraCrypto era))
- | DelegateeStakePoolNotRegisteredDELEG (KeyHash 'StakePool (EraCrypto era))
data ConwayDelegEnv era = ConwayDelegEnv {
- cdePParams ∷ PParams era
- cdePools ∷ Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))
}
processDelegation ∷ Credential 'Staking (EraCrypto era) → Delegatee (EraCrypto era) → CertState era → CertState era
data ConwayGOVCERT era
data ConwayGovCertPredFailure era
- = ConwayDRepAlreadyRegistered !(Credential 'DRepRole (EraCrypto era))
- | ConwayDRepNotRegistered !(Credential 'DRepRole (EraCrypto era))
- | ConwayDRepIncorrectDeposit !(Mismatch 'RelEQ Coin)
- | ConwayCommitteeHasPreviouslyResigned !(Credential 'ColdCommitteeRole (EraCrypto era))
- | ConwayDRepIncorrectRefund !(Mismatch 'RelEQ 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)
- 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 !(Mismatch 'RelEQ Coin)
- | ConwayTxRefScriptsSizeTooBig !(Mismatch 'RelLTEQ Int)
- | ConwayMempoolFailure Text
data ConwayLedgerEvent era
- = UtxowEvent (Event (EraRule "UTXOW" era))
- | CertsEvent (Event (EraRule "CERTS" era))
- | GovEvent (Event (EraRule "GOV" era))
- | MempoolEvent (Event (EraRule "MEMPOOL" era))
maxRefScriptSizePerTx ∷ Int
data ConwayMEMPOOL era
newtype ConwayMempoolEvent era = ConwayMempoolEvent Text
newtype ConwayMempoolPredFailure era = ConwayMempoolPredFailure Text
data ConwayNEWEPOCH era
newtype ConwayNewEpochPredFailure era = CorruptRewardUpdate (RewardUpdate (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 → ProtVer → 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)
- | GovRemovedVotes !(TxId (EraCrypto era)) !(Set (Voter (EraCrypto era), GovActionId (EraCrypto era))) !(Set (Credential 'DRepRole (EraCrypto era)))
data ConwayGovPredFailure era
- = GovActionsDoNotExist (NonEmpty (GovActionId (EraCrypto era)))
- | MalformedProposal (GovAction era)
- | ProposalProcedureNetworkIdMismatch (RewardAccount (EraCrypto era)) Network
- | TreasuryWithdrawalsNetworkIdMismatch (Set (RewardAccount (EraCrypto era))) Network
- | ProposalDepositIncorrect !(Mismatch 'RelEQ 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)) !(Mismatch 'RelGT 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 !(Mismatch 'RelLTEQ Integer)
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin)
- | ValueNotConservedUTxO !(Mismatch 'RelEQ (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 !(Mismatch 'RelLTEQ ExUnits)
- | CollateralContainsNonADA !(Value era)
- | WrongNetworkInTxBody !(Mismatch 'RelEQ Network)
- | OutsideForecast !SlotNo
- | TooManyCollateralInputs !(Mismatch 'RelLTEQ Natural)
- | NoCollateralInputs
- | IncorrectTotalCollateralField !DeltaCoin !Coin
- | BabbageOutputTooSmallUTxO ![(TxOut era, Coin)]
- | BabbageNonDisjointRefInputs !(NonEmpty (TxIn (EraCrypto era)))
data ConwayUTXOS era
data ConwayUtxosPredFailure era
- = ValidationTagMismatch IsValid TagMismatchDescription
- | CollectErrors [CollectError 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 !(Mismatch 'RelEQ (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 !(Mismatch 'RelEQ (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))
- | UnspendableUTxONoDatumHash (Set (TxIn (EraCrypto era)))
- | ExtraRedeemers ![PlutusPurpose AsIx era]
- | MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era)))
- | MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era)))
shelleyToConwayUtxowPredFailure ∷ ShelleyUtxowPredFailure era → ConwayUtxowPredFailure era

Documentation

data ConwayBBODY era Source #

Instances

Instances details

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (ConwayBBODY era) Source # wrapEvent ∷ Event ledgers → Event (ConwayBBODY era) Source #
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, EraSegWits era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ ConwayBBODY era, EraTx era, BabbageEraTxBody era) ⇒ STS (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Associated Types type State (ConwayBBODY era) Source # type Signal (ConwayBBODY era) Source # type Environment (ConwayBBODY era) Source # type BaseM (ConwayBBODY era) ∷ Type → Type Source # type Event (ConwayBBODY era) Source # type PredicateFailure (ConwayBBODY era) Source # Methods initialRules ∷ [InitialRule (ConwayBBODY era)] Source # transitionRules ∷ [TransitionRule (ConwayBBODY era)] Source # assertions ∷ [Assertion (ConwayBBODY era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayBBODY era) → String Source #
type BaseM (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type BaseM (ConwayBBODY era) = ShelleyBase
type Environment (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Environment (ConwayBBODY era) = BbodyEnv era
type Event (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Event (ConwayBBODY era) = AlonzoBbodyEvent era
type PredicateFailure (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era
type Signal (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Signal (ConwayBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type State (ConwayBBODY era) = ShelleyBbodyState era

data ConwayBbodyPredFailure era Source #

Constructors

WrongBlockBodySizeBBODY !(Mismatch 'RelEQ Int)
InvalidBodyHashBBODY !(Mismatch 'RelEQ (Hash (EraCrypto era) EraIndependentBlockBody))
LedgersFailure !(PredicateFailure (EraRule "LEDGERS" era))	LEDGERS rule subtransition Failures
TooManyExUnits !(Mismatch 'RelLTEQ ExUnits)
BodyRefScriptsSizeTooBig !(Mismatch 'RelLTEQ Int)

Instances

Instances details

InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
Generic (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Associated Types type Rep (ConwayBbodyPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayBbodyPredFailure era → Rep (ConwayBbodyPredFailure era) x Source # to ∷ Rep (ConwayBbodyPredFailure era) x → ConwayBbodyPredFailure era Source #
(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods showsPrec ∷ Int → ConwayBbodyPredFailure era → ShowS Source # show ∷ ConwayBbodyPredFailure era → String Source # showList ∷ [ConwayBbodyPredFailure era] → ShowS Source #
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ DecCBOR (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods decCBOR ∷ Decoder s (ConwayBbodyPredFailure era) Source # dropCBOR ∷ Proxy (ConwayBbodyPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayBbodyPredFailure era) → Text Source #
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ EncCBOR (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods encCBOR ∷ ConwayBbodyPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayBbodyPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayBbodyPredFailure era] → Size Source #
(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods (==) ∷ ConwayBbodyPredFailure era → ConwayBbodyPredFailure era → Bool Source # (/=) ∷ ConwayBbodyPredFailure era → ConwayBbodyPredFailure era → Bool Source #
(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods noThunks ∷ Context → ConwayBbodyPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayBbodyPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayBbodyPredFailure era) → String Source #
type Rep (ConwayBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Rep (ConwayBbodyPredFailure era) = D1 ('MetaData "ConwayBbodyPredFailure" "Cardano.Ledger.Conway.Rules.Bbody" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Int))) :+: C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (Hash (EraCrypto era) EraIndependentBlockBody))))) :+: (C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Int))))))

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

Instances details

(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 (EraCrypto era), Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type State (ConwayCERT era) Source # type Signal (ConwayCERT era) Source # type Environment (ConwayCERT era) Source # type BaseM (ConwayCERT era) ∷ Type → Type Source # type Event (ConwayCERT era) Source # type PredicateFailure (ConwayCERT era) Source # Methods initialRules ∷ [InitialRule (ConwayCERT era)] Source # transitionRules ∷ [TransitionRule (ConwayCERT era)] Source # assertions ∷ [Assertion (ConwayCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayCERT era) → String Source #
(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source # wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #
(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #
(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #
(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ConwayCERT era) Source #
type BaseM (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type BaseM (ConwayCERT era) = ShelleyBase
type Environment (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Environment (ConwayCERT era) = CertEnv era
type Event (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Event (ConwayCERT era) = ConwayCertEvent era
type PredicateFailure (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type Signal (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Signal (ConwayCERT era) = TxCert era
type State (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (ConwayCERT era) = CertState era

data ConwayCertPredFailure era Source #

Constructors

DelegFailure (PredicateFailure (EraRule "DELEG" era))
PoolFailure (PredicateFailure (EraRule "POOL" era))
GovCertFailure (PredicateFailure (EraRule "GOVCERT" era))

Instances

Instances details

InjectRuleFailure "BBODY" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (ConwayCertPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayCertPredFailure era → Rep (ConwayCertPredFailure era) x Source # to ∷ Rep (ConwayCertPredFailure era) x → ConwayCertPredFailure era Source #
(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Show (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods showsPrec ∷ Int → ConwayCertPredFailure era → ShowS Source # show ∷ ConwayCertPredFailure era → String Source # showList ∷ [ConwayCertPredFailure era] → ShowS Source #
(Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ DecCBOR (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods decCBOR ∷ Decoder s (ConwayCertPredFailure era) Source # dropCBOR ∷ Proxy (ConwayCertPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayCertPredFailure era) → Text Source #
(Typeable era, EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ EncCBOR (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods encCBOR ∷ ConwayCertPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayCertPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayCertPredFailure era] → Size Source #
(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era)), NFData (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NFData (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ ConwayCertPredFailure era → () Source #
(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era)), Eq (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Eq (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool Source # (/=) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool Source #
(NoThunks (PredicateFailure (EraRule "DELEG" era)), NoThunks (PredicateFailure (EraRule "POOL" era)), NoThunks (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NoThunks (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods noThunks ∷ Context → ConwayCertPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayCertPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayCertPredFailure era) → String Source #
type Rep (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (ConwayCertPredFailure era) = D1 ('MetaData "ConwayCertPredFailure" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.18.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))))))

data ConwayCertEvent era Source #

Constructors

DelegEvent (Event (EraRule "DELEG" era))
PoolEvent (Event (EraRule "POOL" era))
GovCertEvent (Event (EraRule "GOVCERT" era))

Instances

Instances details

Generic (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (ConwayCertEvent era) ∷ Type → Type Source # Methods from ∷ ConwayCertEvent era → Rep (ConwayCertEvent era) x Source # to ∷ Rep (ConwayCertEvent era) x → ConwayCertEvent era Source #
(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "GOVCERT" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ ConwayCertEvent era → () Source #
(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "GOVCERT" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool Source # (/=) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool Source #
type Rep (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.18.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 CertEnv era Source #

Constructors

CertEnv
Fields cePParams ∷ !(PParams era) ceCurrentEpoch ∷ !EpochNo ceCurrentCommittee ∷ StrictMaybe (Committee era) ceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)

Instances

Instances details

Generic (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (CertEnv era) ∷ Type → Type Source # Methods from ∷ CertEnv era → Rep (CertEnv era) x Source # to ∷ Rep (CertEnv era) x → CertEnv era Source #
EraPParams era ⇒ Show (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods showsPrec ∷ Int → CertEnv era → ShowS Source # show ∷ CertEnv era → String Source # showList ∷ [CertEnv era] → ShowS Source #
EraPParams era ⇒ EncCBOR (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods encCBOR ∷ CertEnv era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CertEnv era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CertEnv era] → Size Source #
EraPParams era ⇒ NFData (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ CertEnv era → () Source #
EraPParams era ⇒ Eq (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ CertEnv era → CertEnv era → Bool Source # (/=) ∷ CertEnv era → CertEnv era → Bool Source #
type Rep (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: S1 ('MetaSel ('Just "ceCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :: (S1 ('MetaSel ('Just "ceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "ceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era))))))

data ConwayDELEG era Source #

Instances

Instances details

(EraPParams era, State (EraRule "DELEG" era) ~ CertState era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, EraRule "DELEG" era ~ ConwayDELEG era) ⇒ STS (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types type State (ConwayDELEG era) Source # type Signal (ConwayDELEG era) Source # type Environment (ConwayDELEG era) Source # type BaseM (ConwayDELEG era) ∷ Type → Type Source # type Event (ConwayDELEG era) Source # type PredicateFailure (ConwayDELEG era) Source # Methods initialRules ∷ [InitialRule (ConwayDELEG era)] Source # transitionRules ∷ [TransitionRule (ConwayDELEG era)] Source # assertions ∷ [Assertion (ConwayDELEG era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayDELEG era) → String Source #
(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #
(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type BaseM (ConwayDELEG era) = ShelleyBase
type Environment (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Environment (ConwayDELEG era) = ConwayDelegEnv era
type Event (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Event (ConwayDELEG era) = Void
type PredicateFailure (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type Signal (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Signal (ConwayDELEG era) = ConwayDelegCert (EraCrypto era)
type State (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type State (ConwayDELEG era) = CertState era

data ConwayDelegPredFailure era Source #

Instances

Instances details

InjectRuleFailure "BBODY" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "DELEG" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types type Rep (ConwayDelegPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayDelegPredFailure era → Rep (ConwayDelegPredFailure era) x Source # to ∷ Rep (ConwayDelegPredFailure era) x → ConwayDelegPredFailure era Source #
Show (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods showsPrec ∷ Int → ConwayDelegPredFailure era → ShowS Source # show ∷ ConwayDelegPredFailure era → String Source # showList ∷ [ConwayDelegPredFailure era] → ShowS Source #
Era era ⇒ DecCBOR (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods decCBOR ∷ Decoder s (ConwayDelegPredFailure era) Source # dropCBOR ∷ Proxy (ConwayDelegPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayDelegPredFailure era) → Text Source #
Era era ⇒ EncCBOR (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods encCBOR ∷ ConwayDelegPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayDelegPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayDelegPredFailure era] → Size Source #
NFData (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods rnf ∷ ConwayDelegPredFailure era → () Source #
Eq (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods (==) ∷ ConwayDelegPredFailure era → ConwayDelegPredFailure era → Bool Source # (/=) ∷ ConwayDelegPredFailure era → ConwayDelegPredFailure era → Bool Source #
NoThunks (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods noThunks ∷ Context → ConwayDelegPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayDelegPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayDelegPredFailure era) → String Source #
type Rep (ConwayDelegPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Rep (ConwayDelegPredFailure era) = D1 ('MetaData "ConwayDelegPredFailure" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.18.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 (EraCrypto era)))) :+: C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking (EraCrypto era)))))) :+: (C1 ('MetaCons "StakeKeyHasNonZeroRewardAccountBalanceDELEG" '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 (EraCrypto era)))) :+: C1 ('MetaCons "DelegateeStakePoolNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool (EraCrypto era)))))))

data ConwayDelegEnv era Source #

Constructors

ConwayDelegEnv
Fields cdePParams ∷ PParams era cdePools ∷ Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))

Instances

Instances details

Generic (ConwayDelegEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Associated Types type Rep (ConwayDelegEnv era) ∷ Type → Type Source # Methods from ∷ ConwayDelegEnv era → Rep (ConwayDelegEnv era) x Source # to ∷ Rep (ConwayDelegEnv era) x → ConwayDelegEnv era Source #
Show (PParams era) ⇒ Show (ConwayDelegEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods showsPrec ∷ Int → ConwayDelegEnv era → ShowS Source # show ∷ ConwayDelegEnv era → String Source # showList ∷ [ConwayDelegEnv era] → ShowS Source #
EraPParams era ⇒ EncCBOR (ConwayDelegEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods encCBOR ∷ ConwayDelegEnv era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayDelegEnv era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayDelegEnv era] → Size Source #
(Era era, NFData (PParams era)) ⇒ NFData (ConwayDelegEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods rnf ∷ ConwayDelegEnv era → () Source #
Eq (PParams era) ⇒ Eq (ConwayDelegEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods (==) ∷ ConwayDelegEnv era → ConwayDelegEnv era → Bool Source # (/=) ∷ ConwayDelegEnv era → ConwayDelegEnv era → Bool Source #
type Rep (ConwayDelegEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Rep (ConwayDelegEnv era) = D1 ('MetaData "ConwayDelegEnv" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.18.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 (EraCrypto era)) (PoolParams (EraCrypto era))))))

processDelegation Source #

Arguments

∷ Credential 'Staking (EraCrypto era)	Delegator
→ Delegatee (EraCrypto era)	New delegatee
→ CertState era
→ CertState era

Apply new delegation, while properly cleaning up older delegations. This function does not enforce that delegatee is registered, that has to be handled by the caller.

data ConwayGOVCERT era Source #

Instances

Instances details

(ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, EraRule "GOVCERT" era ~ ConwayGOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types type State (ConwayGOVCERT era) Source # type Signal (ConwayGOVCERT era) Source # type Environment (ConwayGOVCERT era) Source # type BaseM (ConwayGOVCERT era) ∷ Type → Type Source # type Event (ConwayGOVCERT era) Source # type PredicateFailure (ConwayGOVCERT era) Source # Methods initialRules ∷ [InitialRule (ConwayGOVCERT era)] Source # transitionRules ∷ [TransitionRule (ConwayGOVCERT era)] Source # assertions ∷ [Assertion (ConwayGOVCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayGOVCERT era) → String Source #
(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #
type BaseM (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type BaseM (ConwayGOVCERT era) = ShelleyBase
type Environment (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Environment (ConwayGOVCERT era) = ConwayGovCertEnv era
type Event (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Event (ConwayGOVCERT era) = Void
type PredicateFailure (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type Signal (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Signal (ConwayGOVCERT era) = ConwayGovCert (EraCrypto era)
type State (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type State (ConwayGOVCERT era) = CertState era

data ConwayGovCertPredFailure era Source #

Constructors

ConwayDRepAlreadyRegistered !(Credential 'DRepRole (EraCrypto era))
ConwayDRepNotRegistered !(Credential 'DRepRole (EraCrypto era))
ConwayDRepIncorrectDeposit !(Mismatch 'RelEQ Coin)
ConwayCommitteeHasPreviouslyResigned !(Credential 'ColdCommitteeRole (EraCrypto era))
ConwayDRepIncorrectRefund !(Mismatch 'RelEQ 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

Instances details

InjectRuleFailure "BBODY" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "GOVCERT" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types type Rep (ConwayGovCertPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayGovCertPredFailure era → Rep (ConwayGovCertPredFailure era) x Source # to ∷ Rep (ConwayGovCertPredFailure era) x → ConwayGovCertPredFailure era Source #
Show (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods showsPrec ∷ Int → ConwayGovCertPredFailure era → ShowS Source # show ∷ ConwayGovCertPredFailure era → String Source # showList ∷ [ConwayGovCertPredFailure era] → ShowS Source #
(Typeable era, Crypto (EraCrypto era)) ⇒ DecCBOR (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods decCBOR ∷ Decoder s (ConwayGovCertPredFailure era) Source # dropCBOR ∷ Proxy (ConwayGovCertPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayGovCertPredFailure era) → Text Source #
Era era ⇒ EncCBOR (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods encCBOR ∷ ConwayGovCertPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovCertPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovCertPredFailure era] → Size Source #
NFData (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods rnf ∷ ConwayGovCertPredFailure era → () Source #
Eq (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods (==) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool Source # (/=) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool Source #
NoThunks (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods noThunks ∷ Context → ConwayGovCertPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayGovCertPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayGovCertPredFailure era) → String Source #
type Rep (ConwayGovCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Rep (ConwayGovCertPredFailure era) = D1 ('MetaData "ConwayGovCertPredFailure" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole (EraCrypto era)))) :+: (C1 ('MetaCons "ConwayDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole (EraCrypto era)))) :+: C1 ('MetaCons "ConwayDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin))))) :+: (C1 ('MetaCons "ConwayCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole (EraCrypto era)))) :+: (C1 ('MetaCons "ConwayDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "ConwayCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole (EraCrypto era)))))))

data ConwayGovCertEnv era Source #

Constructors

ConwayGovCertEnv
Fields cgcePParams ∷ !(PParams era) cgceCurrentEpoch ∷ !EpochNo cgceCurrentCommittee ∷ StrictMaybe (Committee era) cgceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era) All of the `UpdateCommittee` proposals

Instances

Instances details

Generic (ConwayGovCertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Associated Types type Rep (ConwayGovCertEnv era) ∷ Type → Type Source # Methods from ∷ ConwayGovCertEnv era → Rep (ConwayGovCertEnv era) x Source # to ∷ Rep (ConwayGovCertEnv era) x → ConwayGovCertEnv era Source #
EraPParams era ⇒ Show (ConwayGovCertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods showsPrec ∷ Int → ConwayGovCertEnv era → ShowS Source # show ∷ ConwayGovCertEnv era → String Source # showList ∷ [ConwayGovCertEnv era] → ShowS Source #
EraPParams era ⇒ EncCBOR (ConwayGovCertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods encCBOR ∷ ConwayGovCertEnv era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovCertEnv era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovCertEnv era] → Size Source #
EraPParams era ⇒ NFData (ConwayGovCertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods rnf ∷ ConwayGovCertEnv era → () Source #
EraPParams era ⇒ Eq (ConwayGovCertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods (==) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool Source # (/=) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool Source #
type Rep (ConwayGovCertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: S1 ('MetaSel ('Just "cgceCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :: (S1 ('MetaSel ('Just "cgceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era))))))

computeDRepExpiry Source #

Arguments

∷ EpochInterval	DRepActivity PParam
→ EpochNo	Current epoch
→ EpochNo	The count of the dormant epochs
→ EpochNo	Computed expiry

data ConwayCERTS era Source #

Instances

Instances details

(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) (ConwayCERTS era)) ⇒ STS (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types type State (ConwayCERTS era) Source # type Signal (ConwayCERTS era) Source # type Environment (ConwayCERTS era) Source # type BaseM (ConwayCERTS era) ∷ Type → Type Source # type Event (ConwayCERTS era) Source # type PredicateFailure (ConwayCERTS era) Source # Methods initialRules ∷ [InitialRule (ConwayCERTS era)] Source # transitionRules ∷ [TransitionRule (ConwayCERTS era)] Source # assertions ∷ [Assertion (ConwayCERTS era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayCERTS era) → String Source #
(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source # wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type BaseM (ConwayCERTS era) = ShelleyBase
type Environment (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Environment (ConwayCERTS era) = CertsEnv era
type Event (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Event (ConwayCERTS era) = ConwayCertsEvent era
type PredicateFailure (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type Signal (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Signal (ConwayCERTS era) = Seq (TxCert era)
type State (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type State (ConwayCERTS era) = CertState era

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

Instances details

InjectRuleFailure "BBODY" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types type Rep (ConwayCertsPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayCertsPredFailure era → Rep (ConwayCertsPredFailure era) x Source # to ∷ Rep (ConwayCertsPredFailure era) x → ConwayCertsPredFailure era Source #
Show (PredicateFailure (EraRule "CERT" era)) ⇒ Show (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods showsPrec ∷ Int → ConwayCertsPredFailure era → ShowS Source # show ∷ ConwayCertsPredFailure era → String Source # showList ∷ [ConwayCertsPredFailure era] → ShowS Source #
(Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ DecCBOR (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods decCBOR ∷ Decoder s (ConwayCertsPredFailure era) Source # dropCBOR ∷ Proxy (ConwayCertsPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayCertsPredFailure era) → Text Source #
(Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ EncCBOR (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods encCBOR ∷ ConwayCertsPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayCertsPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayCertsPredFailure era] → Size Source #
NFData (PredicateFailure (EraRule "CERT" era)) ⇒ NFData (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods rnf ∷ ConwayCertsPredFailure era → () Source #
Eq (PredicateFailure (EraRule "CERT" era)) ⇒ Eq (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods (==) ∷ ConwayCertsPredFailure era → ConwayCertsPredFailure era → Bool Source # (/=) ∷ ConwayCertsPredFailure era → ConwayCertsPredFailure era → Bool Source #
NoThunks (PredicateFailure (EraRule "CERT" era)) ⇒ NoThunks (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods noThunks ∷ Context → ConwayCertsPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayCertsPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayCertsPredFailure era) → String Source #
type Rep (ConwayCertsPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (RewardAccount (EraCrypto era)) Coin))) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "CERT" era)))))

newtype ConwayCertsEvent era Source #

Constructors

CertEvent (Event (EraRule "CERT" era))

Instances

Instances details

Generic (ConwayCertsEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types type Rep (ConwayCertsEvent era) ∷ Type → Type Source # Methods from ∷ ConwayCertsEvent era → Rep (ConwayCertsEvent era) x Source # to ∷ Rep (ConwayCertsEvent era) x → ConwayCertsEvent era Source #
NFData (Event (EraRule "CERT" era)) ⇒ NFData (ConwayCertsEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods rnf ∷ ConwayCertsEvent era → () Source #
Eq (Event (EraRule "CERT" era)) ⇒ Eq (ConwayCertsEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods (==) ∷ ConwayCertsEvent era → ConwayCertsEvent era → Bool Source # (/=) ∷ ConwayCertsEvent era → ConwayCertsEvent era → Bool Source #
type Rep (ConwayCertsEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Rep (ConwayCertsEvent era) = D1 ('MetaData "ConwayCertsEvent" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.18.0.0-inplace" 'True) (C1 ('MetaCons "CertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERT" era)))))

data CertsEnv era Source #

Constructors

CertsEnv
Fields certsTx ∷ !(Tx era) certsPParams ∷ !(PParams era) certsCurrentEpoch ∷ !EpochNo certsCurrentCommittee ∷ StrictMaybe (Committee era) certsCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)

Instances

Instances details

Generic (CertsEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Associated Types type Rep (CertsEnv era) ∷ Type → Type Source # Methods from ∷ CertsEnv era → Rep (CertsEnv era) x Source # to ∷ Rep (CertsEnv era) x → CertsEnv era Source #
(EraPParams era, Show (Tx era)) ⇒ Show (CertsEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods showsPrec ∷ Int → CertsEnv era → ShowS Source # show ∷ CertsEnv era → String Source # showList ∷ [CertsEnv era] → ShowS Source #
EraTx era ⇒ EncCBOR (CertsEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods encCBOR ∷ CertsEnv era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CertsEnv era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CertsEnv era] → Size Source #
(EraPParams era, NFData (Tx era)) ⇒ NFData (CertsEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods rnf ∷ CertsEnv era → () Source #
(EraPParams era, Eq (Tx era)) ⇒ Eq (CertsEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods (==) ∷ CertsEnv era → CertsEnv era → Bool Source # (/=) ∷ CertsEnv era → CertsEnv era → Bool Source #
type Rep (CertsEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Rep (CertsEnv era) = D1 ('MetaData "CertsEnv" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era)) :: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :: (S1 ('MetaSel ('Just "certsCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: (S1 ('MetaSel ('Just "certsCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :: S1 ('MetaSel ('Just "certsCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)))))))

updateDormantDRepExpiry Source #

Arguments

∷ EpochNo	Current Epoch
→ VState era
→ VState era

Update dormant expiry for all DReps that are active. And also reset the numDormantEpochs counter.

data ConwayENACT era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Associated Types type State (ConwayENACT era) Source # type Signal (ConwayENACT era) Source # type Environment (ConwayENACT era) Source # type BaseM (ConwayENACT era) ∷ Type → Type Source # type Event (ConwayENACT era) Source # type PredicateFailure (ConwayENACT era) Source # Methods initialRules ∷ [InitialRule (ConwayENACT era)] Source # transitionRules ∷ [TransitionRule (ConwayENACT era)] Source # assertions ∷ [Assertion (ConwayENACT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayENACT era) → String Source #
type BaseM (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type BaseM (ConwayENACT era) = ShelleyBase
type Environment (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Environment (ConwayENACT era) = ()
type Event (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Event (ConwayENACT era) = Void
type PredicateFailure (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type Signal (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Signal (ConwayENACT era) = EnactSignal era
type State (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type State (ConwayENACT era) = EnactState era

data EnactSignal era Source #

Constructors

EnactSignal
Fields esGovActionId ∷ !(GovActionId (EraCrypto era)) esGovAction ∷ !(GovAction era)

Instances

Instances details

Generic (EnactSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Associated Types type Rep (EnactSignal era) ∷ Type → Type Source # Methods from ∷ EnactSignal era → Rep (EnactSignal era) x Source # to ∷ Rep (EnactSignal era) x → EnactSignal era Source #
EraPParams era ⇒ Show (EnactSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Methods showsPrec ∷ Int → EnactSignal era → ShowS Source # show ∷ EnactSignal era → String Source # showList ∷ [EnactSignal era] → ShowS Source #
EraPParams era ⇒ EncCBOR (EnactSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Methods encCBOR ∷ EnactSignal era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (EnactSignal era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EnactSignal era] → Size Source #
EraPParams era ⇒ NFData (EnactSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Methods rnf ∷ EnactSignal era → () Source #
EraPParams era ⇒ Eq (EnactSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact Methods (==) ∷ EnactSignal era → EnactSignal era → Bool Source # (/=) ∷ EnactSignal era → EnactSignal era → Bool Source #
type Rep (EnactSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "EnactSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "esGovActionId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId (EraCrypto era))) :*: S1 ('MetaSel ('Just "esGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era))))

data EnactState era Source #

Constructors

EnactState
Fields ensCommittee ∷ !(StrictMaybe (Committee era)) Constitutional Committee ensConstitution ∷ !(Constitution era) Constitution ensCurPParams ∷ !(PParams era) ensPrevPParams ∷ !(PParams era) ensTreasury ∷ !Coin ensWithdrawals ∷ !(Map (Credential 'Staking (EraCrypto era)) Coin) ensPrevGovActionIds ∷ !(GovRelation StrictMaybe era) Last enacted GovAction Ids

Instances

Instances details

EraPParams era ⇒ ToJSON (EnactState era) Source #
Instance details 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 #
Generic (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types type Rep (EnactState era) ∷ Type → Type Source # Methods from ∷ EnactState era → Rep (EnactState era) x Source # to ∷ Rep (EnactState era) x → EnactState era Source #
(Era era, Show (PParams era)) ⇒ Show (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → EnactState era → ShowS Source # show ∷ EnactState era → String Source # showList ∷ [EnactState era] → ShowS Source #
EraPParams era ⇒ FromCBOR (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods fromCBOR ∷ Decoder s (EnactState era) Source # label ∷ Proxy (EnactState era) → Text Source #
EraPParams era ⇒ ToCBOR (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods toCBOR ∷ EnactState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source #
EraPParams era ⇒ DecCBOR (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods decCBOR ∷ Decoder s (EnactState era) Source # dropCBOR ∷ Proxy (EnactState era) → Decoder s () Source # label ∷ Proxy (EnactState era) → Text Source #
EraPParams era ⇒ DecShareCBOR (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types type Share (EnactState era) Source # Methods getShare ∷ EnactState era → Share (EnactState era) Source # decShareCBOR ∷ Share (EnactState era) → Decoder s (EnactState era) Source # decSharePlusCBOR ∷ StateT (Share (EnactState era)) (Decoder s) (EnactState era) Source #
EraPParams era ⇒ EncCBOR (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ EnactState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source #
EraPParams era ⇒ Default (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods def ∷ EnactState era Source #
EraPParams era ⇒ NFData (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ EnactState era → () Source #
(Era era, Eq (PParams era)) ⇒ Eq (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ EnactState era → EnactState era → Bool Source # (/=) ∷ EnactState era → EnactState era → Bool Source #
EraPParams era ⇒ NoThunks (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods noThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EnactState era) → String Source #
type Rep (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.18.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 (EraCrypto era)) Coin)) :: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe era))))))
type Share (EnactState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Share (EnactState era) = ()

data ConwayEPOCH era Source #

Instances

Instances details

(EraTxOut era, RunConwayRatify era, ConwayEraGov era, Embed (EraRule "SNAP" era) (ConwayEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ConwayEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Eq (UpecPredFailure era), Show (UpecPredFailure era), Embed (EraRule "RATIFY" era) (ConwayEPOCH 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) (ConwayEPOCH era), Environment (EraRule "HARDFORK" era) ~ (), State (EraRule "HARDFORK" era) ~ EpochState era, Signal (EraRule "HARDFORK" era) ~ ProtVer) ⇒ STS (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Associated Types type State (ConwayEPOCH era) Source # type Signal (ConwayEPOCH era) Source # type Environment (ConwayEPOCH era) Source # type BaseM (ConwayEPOCH era) ∷ Type → Type Source # type Event (ConwayEPOCH era) Source # type PredicateFailure (ConwayEPOCH era) Source # Methods initialRules ∷ [InitialRule (ConwayEPOCH era)] Source # transitionRules ∷ [TransitionRule (ConwayEPOCH era)] Source # assertions ∷ [Assertion (ConwayEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayEPOCH era) → String Source #
(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source # wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #
(EraGov era, PredicateFailure (ConwayHARDFORK era) ~ Void, STS (ConwayHARDFORK era), BaseM (ConwayHARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Embed (ConwayHARDFORK era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ConwayHARDFORK era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ConwayHARDFORK era) → Event (ConwayEPOCH era) Source #
(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ConwayEPOCH era) Source #
(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ShelleySNAP era) → Event (ConwayEPOCH era) Source #
type BaseM (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type BaseM (ConwayEPOCH era) = ShelleyBase
type Environment (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Environment (ConwayEPOCH era) = ()
type Event (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Event (ConwayEPOCH era) = ConwayEpochEvent era
type PredicateFailure (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type Signal (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Signal (ConwayEPOCH era) = EpochNo
type State (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type State (ConwayEPOCH era) = EpochState 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

Instances details

type PredicateFailure (AllegraUTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type PredicateFailure (AllegraUTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (AllegraUTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (BabbageUTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type PredicateFailure (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type PredicateFailure (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type PredicateFailure (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type PredicateFailure (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type PredicateFailure (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void
type PredicateFailure (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayMempoolPredFailure era
type PredicateFailure (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type PredicateFailure (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type PredicateFailure (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (ShelleyBBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyPOOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type PredicateFailure (STUB e st si f m) = f

data ConwayEpochEvent era Source #

Constructors

PoolReapEvent (Event (EraRule "POOLREAP" era))
SnapEvent (Event (EraRule "SNAP" era))
EpochBoundaryRatifyState (RatifyState era)
GovInfoEvent
Fields (Set (GovActionState era)) Enacted actions (Set (GovActionState era)) Actions that were removed as conflicting due to enactment (Set (GovActionState era)) Actions that were removed due to expiration together with their dependees (Map (GovActionId (EraCrypto era)) Coin) Map of removed governance action ids that had an unregistered reward account to their unclaimed deposits so they can be transferred to the treasury.
HardForkEvent (Event (EraRule "HARDFORK" era))

Instances

Instances details

InjectRuleEvent "TICK" ConwayEpochEvent (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules Methods injectEvent ∷ ConwayEpochEvent (ConwayEra c) → EraRuleEvent "TICK" (ConwayEra c) Source #
Generic (ConwayEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Associated Types type Rep (ConwayEpochEvent era) ∷ Type → Type Source # Methods from ∷ ConwayEpochEvent era → Rep (ConwayEpochEvent era) x Source # to ∷ Rep (ConwayEpochEvent era) x → ConwayEpochEvent era Source #
(EraPParams era, NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "HARDFORK" era))) ⇒ NFData (ConwayEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods rnf ∷ ConwayEpochEvent era → () Source #
(EraPParams era, Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "HARDFORK" era))) ⇒ Eq (ConwayEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods (==) ∷ ConwayEpochEvent era → ConwayEpochEvent era → Bool Source # (/=) ∷ ConwayEpochEvent era → ConwayEpochEvent era → Bool Source #
type Rep (ConwayEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Rep (ConwayEpochEvent era) = D1 ('MetaData "ConwayEpochEvent" "Cardano.Ledger.Conway.Rules.Epoch" "cardano-ledger-conway-1.18.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 (EraCrypto era)) Coin)))) :+: C1 ('MetaCons "HardForkEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "HARDFORK" era)))))))

data ConwayHARDFORK era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork Associated Types type State (ConwayHARDFORK era) Source # type Signal (ConwayHARDFORK era) Source # type Environment (ConwayHARDFORK era) Source # type BaseM (ConwayHARDFORK era) ∷ Type → Type Source # type Event (ConwayHARDFORK era) Source # type PredicateFailure (ConwayHARDFORK era) Source # Methods initialRules ∷ [InitialRule (ConwayHARDFORK era)] Source # transitionRules ∷ [TransitionRule (ConwayHARDFORK era)] Source # assertions ∷ [Assertion (ConwayHARDFORK era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayHARDFORK era) → String Source #
(EraGov era, PredicateFailure (ConwayHARDFORK era) ~ Void, STS (ConwayHARDFORK era), BaseM (ConwayHARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Embed (ConwayHARDFORK era) (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ConwayHARDFORK era) → PredicateFailure (ConwayEPOCH era) Source # wrapEvent ∷ Event (ConwayHARDFORK era) → Event (ConwayEPOCH era) Source #
type BaseM (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type BaseM (ConwayHARDFORK era) = ShelleyBase
type Environment (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Environment (ConwayHARDFORK era) = ()
type Event (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Event (ConwayHARDFORK era) = ConwayHardForkEvent era
type PredicateFailure (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void
type Signal (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Signal (ConwayHARDFORK era) = ProtVer
type State (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type State (ConwayHARDFORK era) = EpochState era

newtype ConwayHardForkEvent era Source #

Constructors

ConwayHardForkEvent ProtVer

Instances

Instances details

Generic (ConwayHardForkEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork Associated Types type Rep (ConwayHardForkEvent era) ∷ Type → Type Source # Methods from ∷ ConwayHardForkEvent era → Rep (ConwayHardForkEvent era) x Source # to ∷ Rep (ConwayHardForkEvent era) x → ConwayHardForkEvent era Source #
NFData (ConwayHardForkEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork Methods rnf ∷ ConwayHardForkEvent era → () Source #
Eq (ConwayHardForkEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork Methods (==) ∷ ConwayHardForkEvent era → ConwayHardForkEvent era → Bool Source # (/=) ∷ ConwayHardForkEvent era → ConwayHardForkEvent era → Bool Source #
type Rep (ConwayHardForkEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Rep (ConwayHardForkEvent era) = D1 ('MetaData "ConwayHardForkEvent" "Cardano.Ledger.Conway.Rules.HardFork" "cardano-ledger-conway-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ConwayHardForkEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))

data ConwayLEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "MEMPOOL" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "MEMPOOL" era) ~ LedgerState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "MEMPOOL" era) ~ LedgerEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "MEMPOOL" era) ~ Tx era) ⇒ STS (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type State (ConwayLEDGER era) Source # type Signal (ConwayLEDGER era) Source # type Environment (ConwayLEDGER era) Source # type BaseM (ConwayLEDGER era) ∷ Type → Type Source # type Event (ConwayLEDGER era) Source # type PredicateFailure (ConwayLEDGER era) Source # Methods initialRules ∷ [InitialRule (ConwayLEDGER era)] Source # transitionRules ∷ [TransitionRule (ConwayLEDGER era)] Source # assertions ∷ [Assertion (ConwayLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayLEDGER era) → String Source #
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #
(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #
(ConwayEraTxCert era, ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
(Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "MEMPOOL" era) (ConwayLEDGER 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, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "MEMPOOL" era) ~ LedgerEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "MEMPOOL" era) ~ Tx era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "MEMPOOL" era) ~ LedgerState era, EraRule "GOV" era ~ ConwayGOV era, PredicateFailure (EraRule "LEDGER" era) ~ ConwayLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era) ⇒ Embed (ConwayLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ConwayLEDGER era) → Event (ShelleyLEDGERS era) Source #
(EraGov era, EraTx era, EraRule "MEMPOOL" era ~ ConwayMEMPOOL era, PredicateFailure (EraRule "MEMPOOL" era) ~ ConwayMempoolPredFailure era, Event (EraRule "MEMPOOL" era) ~ ConwayMempoolEvent era) ⇒ Embed (ConwayMEMPOOL era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayMEMPOOL era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayMEMPOOL era) → Event (ConwayLEDGER era) Source #
(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW 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) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type BaseM (ConwayLEDGER era) = ShelleyBase
type Environment (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Environment (ConwayLEDGER era) = LedgerEnv era
type Event (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Event (ConwayLEDGER era) = ConwayLedgerEvent era
type PredicateFailure (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type Signal (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Signal (ConwayLEDGER era) = Tx era
type State (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (ConwayLEDGER era) = LedgerState 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 (EraCrypto era)))
ConwayTreasuryValueMismatch !(Mismatch 'RelEQ Coin)
ConwayTxRefScriptsSizeTooBig !(Mismatch 'RelLTEQ Int)
ConwayMempoolFailure Text

Instances

Instances details

InjectRuleFailure "BBODY" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type Rep (ConwayLedgerPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayLedgerPredFailure era → Rep (ConwayLedgerPredFailure era) x Source # to ∷ Rep (ConwayLedgerPredFailure era) x → ConwayLedgerPredFailure era Source #
(Era era, Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era))) ⇒ Show (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods showsPrec ∷ Int → ConwayLedgerPredFailure era → ShowS Source # show ∷ ConwayLedgerPredFailure era → String Source # showList ∷ [ConwayLedgerPredFailure era] → ShowS Source #
(Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ DecCBOR (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods decCBOR ∷ Decoder s (ConwayLedgerPredFailure era) Source # dropCBOR ∷ Proxy (ConwayLedgerPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayLedgerPredFailure era) → Text Source #
(Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ EncCBOR (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods encCBOR ∷ ConwayLedgerPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayLedgerPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayLedgerPredFailure era] → Size Source #
(Era era, NFData (PredicateFailure (EraRule "UTXOW" era)), NFData (PredicateFailure (EraRule "CERTS" era)), NFData (PredicateFailure (EraRule "GOV" era))) ⇒ NFData (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods rnf ∷ ConwayLedgerPredFailure era → () Source #
(Era era, Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era))) ⇒ Eq (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods (==) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool Source # (/=) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool Source #
(Era era, NoThunks (PredicateFailure (EraRule "UTXOW" era)), NoThunks (PredicateFailure (EraRule "CERTS" era)), NoThunks (PredicateFailure (EraRule "GOV" era))) ⇒ NoThunks (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods noThunks ∷ Context → ConwayLedgerPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayLedgerPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayLedgerPredFailure era) → String Source #
type Rep (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Rep (ConwayLedgerPredFailure era) = D1 ('MetaData "ConwayLedgerPredFailure" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.18.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 (EraCrypto era))))) :+: C1 ('MetaCons "ConwayTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin)))) :+: (C1 ('MetaCons "ConwayTxRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Int))) :+: C1 ('MetaCons "ConwayMempoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

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

Instances details

Generic (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type Rep (ConwayLedgerEvent era) ∷ Type → Type Source # Methods from ∷ ConwayLedgerEvent era → Rep (ConwayLedgerEvent era) x Source # to ∷ Rep (ConwayLedgerEvent era) x → ConwayLedgerEvent era Source #
(NFData (Event (EraRule "CERTS" era)), NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "GOV" era)), NFData (Event (EraRule "MEMPOOL" era))) ⇒ NFData (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods rnf ∷ ConwayLedgerEvent era → () Source #
(Eq (Event (EraRule "CERTS" era)), Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "GOV" era)), Eq (Event (EraRule "MEMPOOL" era))) ⇒ Eq (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods (==) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool Source # (/=) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool Source #
type Rep (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Rep (ConwayLedgerEvent era) = D1 ('MetaData "ConwayLedgerEvent" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "CertsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERTS" era))))) :+: (C1 ('MetaCons "GovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOV" era)))) :+: C1 ('MetaCons "MempoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MEMPOOL" era))))))

maxRefScriptSizePerTx ∷ Int Source #

In the next era this will become a proper protocol parameter. For now this is a hard coded limit on the total number of bytes of reference scripts that a transaction can use.

data ConwayMEMPOOL era Source #

Instances

Instances details

(EraTx era, EraGov era) ⇒ STS (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Associated Types type State (ConwayMEMPOOL era) Source # type Signal (ConwayMEMPOOL era) Source # type Environment (ConwayMEMPOOL era) Source # type BaseM (ConwayMEMPOOL era) ∷ Type → Type Source # type Event (ConwayMEMPOOL era) Source # type PredicateFailure (ConwayMEMPOOL era) Source # Methods initialRules ∷ [InitialRule (ConwayMEMPOOL era)] Source # transitionRules ∷ [TransitionRule (ConwayMEMPOOL era)] Source # assertions ∷ [Assertion (ConwayMEMPOOL era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayMEMPOOL era) → String Source #
(EraGov era, EraTx era, EraRule "MEMPOOL" era ~ ConwayMEMPOOL era, PredicateFailure (EraRule "MEMPOOL" era) ~ ConwayMempoolPredFailure era, Event (EraRule "MEMPOOL" era) ~ ConwayMempoolEvent era) ⇒ Embed (ConwayMEMPOOL era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayMEMPOOL era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayMEMPOOL era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type BaseM (ConwayMEMPOOL era) = ShelleyBase
type Environment (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Environment (ConwayMEMPOOL era) = LedgerEnv era
type Event (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Event (ConwayMEMPOOL era) = ConwayMempoolEvent era
type PredicateFailure (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayMempoolPredFailure era
type Signal (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Signal (ConwayMEMPOOL era) = Tx era
type State (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type State (ConwayMEMPOOL era) = LedgerState era

newtype ConwayMempoolEvent era Source #

Constructors

ConwayMempoolEvent Text

Instances

Instances details

Generic (ConwayMempoolEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Associated Types type Rep (ConwayMempoolEvent era) ∷ Type → Type Source # Methods from ∷ ConwayMempoolEvent era → Rep (ConwayMempoolEvent era) x Source # to ∷ Rep (ConwayMempoolEvent era) x → ConwayMempoolEvent era Source #
NFData (ConwayMempoolEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods rnf ∷ ConwayMempoolEvent era → () Source #
Eq (ConwayMempoolEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods (==) ∷ ConwayMempoolEvent era → ConwayMempoolEvent era → Bool Source # (/=) ∷ ConwayMempoolEvent era → ConwayMempoolEvent era → Bool Source #
type Rep (ConwayMempoolEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Rep (ConwayMempoolEvent era) = D1 ('MetaData "ConwayMempoolEvent" "Cardano.Ledger.Conway.Rules.Mempool" "cardano-ledger-conway-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ConwayMempoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype ConwayMempoolPredFailure era Source #

Constructors

ConwayMempoolPredFailure Text

Instances

Instances details

InjectRuleFailure "LEDGER" ConwayMempoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayMempoolPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods injectFailure ∷ ConwayMempoolPredFailure (ConwayEra c) → EraRuleFailure "MEMPOOL" (ConwayEra c) Source #
Generic (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Associated Types type Rep (ConwayMempoolPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayMempoolPredFailure era → Rep (ConwayMempoolPredFailure era) x Source # to ∷ Rep (ConwayMempoolPredFailure era) x → ConwayMempoolPredFailure era Source #
Show (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods showsPrec ∷ Int → ConwayMempoolPredFailure era → ShowS Source # show ∷ ConwayMempoolPredFailure era → String Source # showList ∷ [ConwayMempoolPredFailure era] → ShowS Source #
Typeable era ⇒ FromCBOR (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods fromCBOR ∷ Decoder s (ConwayMempoolPredFailure era) Source # label ∷ Proxy (ConwayMempoolPredFailure era) → Text Source #
Typeable era ⇒ ToCBOR (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods toCBOR ∷ ConwayMempoolPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayMempoolPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayMempoolPredFailure era] → Size Source #
Typeable era ⇒ DecCBOR (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods decCBOR ∷ Decoder s (ConwayMempoolPredFailure era) Source # dropCBOR ∷ Proxy (ConwayMempoolPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayMempoolPredFailure era) → Text Source #
Typeable era ⇒ EncCBOR (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods encCBOR ∷ ConwayMempoolPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayMempoolPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayMempoolPredFailure era] → Size Source #
NFData (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods rnf ∷ ConwayMempoolPredFailure era → () Source #
Eq (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods (==) ∷ ConwayMempoolPredFailure era → ConwayMempoolPredFailure era → Bool Source # (/=) ∷ ConwayMempoolPredFailure era → ConwayMempoolPredFailure era → Bool Source #
NoThunks (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods noThunks ∷ Context → ConwayMempoolPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayMempoolPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayMempoolPredFailure era) → String Source #
type Rep (ConwayMempoolPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Rep (ConwayMempoolPredFailure era) = D1 ('MetaData "ConwayMempoolPredFailure" "Cardano.Ledger.Conway.Rules.Mempool" "cardano-ledger-conway-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ConwayMempoolPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ConwayNEWEPOCH era Source #

Instances

Instances details

(EraTxOut era, ConwayEraGov era, Embed (EraRule "EPOCH" era) (ConwayNEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), 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))) ⇒ STS (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type State (ConwayNEWEPOCH era) Source # type Signal (ConwayNEWEPOCH era) Source # type Environment (ConwayNEWEPOCH era) Source # type BaseM (ConwayNEWEPOCH era) ∷ Type → Type Source # type Event (ConwayNEWEPOCH era) Source # type PredicateFailure (ConwayNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ConwayNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ConwayNEWEPOCH era)] Source # assertions ∷ [Assertion (ConwayNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayNEWEPOCH era) → String Source #
(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source # wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #
(STS (ConwayNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ConwayNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Embed (ConwayNEWEPOCH era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ConwayNEWEPOCH era) → Event (ShelleyTICK era) Source #
type BaseM (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type BaseM (ConwayNEWEPOCH era) = ShelleyBase
type Environment (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Environment (ConwayNEWEPOCH era) = ()
type Event (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Event (ConwayNEWEPOCH era) = ConwayNewEpochEvent era
type PredicateFailure (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type Signal (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Signal (ConwayNEWEPOCH era) = EpochNo
type State (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (ConwayNEWEPOCH era) = NewEpochState era

newtype ConwayNewEpochPredFailure era Source #

Constructors

CorruptRewardUpdate (RewardUpdate (EraCrypto era))

Instances

Instances details

Generic (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type Rep (ConwayNewEpochPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayNewEpochPredFailure era → Rep (ConwayNewEpochPredFailure era) x Source # to ∷ Rep (ConwayNewEpochPredFailure era) x → ConwayNewEpochPredFailure era Source #
(Show (PredicateFailure (EraRule "EPOCH" era)), Show (PredicateFailure (EraRule "RATIFY" era))) ⇒ Show (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods showsPrec ∷ Int → ConwayNewEpochPredFailure era → ShowS Source # show ∷ ConwayNewEpochPredFailure era → String Source # showList ∷ [ConwayNewEpochPredFailure era] → ShowS Source #
NFData (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods rnf ∷ ConwayNewEpochPredFailure era → () Source #
Eq (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods (==) ∷ ConwayNewEpochPredFailure era → ConwayNewEpochPredFailure era → Bool Source # (/=) ∷ ConwayNewEpochPredFailure era → ConwayNewEpochPredFailure era → Bool Source #
type Rep (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Rep (ConwayNewEpochPredFailure era) = D1 ('MetaData "ConwayNewEpochPredFailure" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.18.0.0-inplace" 'True) (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RewardUpdate (EraCrypto era)))))

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

Instances details

Generic (ConwayNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type Rep (ConwayNewEpochEvent era) ∷ Type → Type Source # Methods from ∷ ConwayNewEpochEvent era → Rep (ConwayNewEpochEvent era) x Source # to ∷ Rep (ConwayNewEpochEvent era) x → ConwayNewEpochEvent era Source #
(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ConwayNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods rnf ∷ ConwayNewEpochEvent era → () Source #
(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ConwayNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods (==) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool Source # (/=) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool Source #
type Rep (ConwayNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Rep (ConwayNewEpochEvent era) = D1 ('MetaData "ConwayNewEpochEvent" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.18.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 (EraCrypto era)) (Set (Reward (EraCrypto era))))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking (EraCrypto era))))))) :+: (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 (EraCrypto era)) (Set (Reward (EraCrypto era)))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "EPOCH" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AdaPots)))))

data ConwayTICKF era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf Associated Types type State (ConwayTICKF era) Source # type Signal (ConwayTICKF era) Source # type Environment (ConwayTICKF era) Source # type BaseM (ConwayTICKF era) ∷ Type → Type Source # type Event (ConwayTICKF era) Source # type PredicateFailure (ConwayTICKF era) Source # Methods initialRules ∷ [InitialRule (ConwayTICKF era)] Source # transitionRules ∷ [TransitionRule (ConwayTICKF era)] Source # assertions ∷ [Assertion (ConwayTICKF era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayTICKF era) → String Source #
type BaseM (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type BaseM (ConwayTICKF era) = ShelleyBase
type Environment (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Environment (ConwayTICKF era) = ()
type Event (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Event (ConwayTICKF era) = ConwayTickfEvent era
type PredicateFailure (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type Signal (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Signal (ConwayTICKF era) = SlotNo
type State (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type State (ConwayTICKF era) = NewEpochState era

data ConwayTickfPredFailure era Source #

Instances

Instances details

Generic (ConwayTickfPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf Associated Types type Rep (ConwayTickfPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayTickfPredFailure era → Rep (ConwayTickfPredFailure era) x Source # to ∷ Rep (ConwayTickfPredFailure era) x → ConwayTickfPredFailure era Source #
Era era ⇒ Show (ConwayTickfPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf Methods showsPrec ∷ Int → ConwayTickfPredFailure era → ShowS Source # show ∷ ConwayTickfPredFailure era → String Source # showList ∷ [ConwayTickfPredFailure era] → ShowS Source #
Era era ⇒ Eq (ConwayTickfPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf Methods (==) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool Source # (/=) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool Source #
NoThunks (ConwayTickfPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf Methods noThunks ∷ Context → ConwayTickfPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayTickfPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayTickfPredFailure era) → String Source #
type Rep (ConwayTickfPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Rep (ConwayTickfPredFailure era) = D1 ('MetaData "ConwayTickfPredFailure" "Cardano.Ledger.Conway.Rules.Tickf" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (V1 ∷ Type → Type)

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

rsEnactState ∷ !(EnactState era)
This is the currently active EnactState. It contains all the changes that were applied to it at the last epoch boundary by all the proposals that were enacted.
rsEnacted ∷ !(Seq (GovActionState era))
Governance actions that are going to be enacted at the next epoch boundary.
rsExpired ∷ !(Set (GovActionId (EraCrypto era)))
Governance actions that are going to be removed at the next epoch boundary, either due to expiring or because they would become invalid after another governance action gets enacted or expired before it
rsDelayed ∷ !Bool
This flag is set to true if one of the proposals that was ratified at the last epoch boundary was a delaying action. This means that no other proposals will be ratified this epoch and each active proposal that has not become invalid will have its expiry date extended by one epoch.
This flag is reset at each epoch boundary before the RATIFY rule gets called, but it might immediately be set to True again after the RATIFY rule has finished execution.

Instances

Instances details

EraPParams era ⇒ ToJSON (RatifyState era) Source #
Instance details 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 #
Generic (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types type Rep (RatifyState era) ∷ Type → Type Source # Methods from ∷ RatifyState era → Rep (RatifyState era) x Source # to ∷ Rep (RatifyState era) x → RatifyState era Source #
EraPParams era ⇒ Show (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods showsPrec ∷ Int → RatifyState era → ShowS Source # show ∷ RatifyState era → String Source # showList ∷ [RatifyState era] → ShowS Source #
EraPParams era ⇒ DecCBOR (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods decCBOR ∷ Decoder s (RatifyState era) Source # dropCBOR ∷ Proxy (RatifyState era) → Decoder s () Source # label ∷ Proxy (RatifyState era) → Text Source #
EraPParams era ⇒ DecShareCBOR (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Associated Types type Share (RatifyState era) Source # Methods getShare ∷ RatifyState era → Share (RatifyState era) Source # decShareCBOR ∷ Share (RatifyState era) → Decoder s (RatifyState era) Source # decSharePlusCBOR ∷ StateT (Share (RatifyState era)) (Decoder s) (RatifyState era) Source #
EraPParams era ⇒ EncCBOR (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods encCBOR ∷ RatifyState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RatifyState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RatifyState era] → Size Source #
EraPParams era ⇒ Default (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods def ∷ RatifyState era Source #
EraPParams era ⇒ NFData (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods rnf ∷ RatifyState era → () Source #
EraPParams era ⇒ Eq (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods (==) ∷ RatifyState era → RatifyState era → Bool Source # (/=) ∷ RatifyState era → RatifyState era → Bool Source #
EraPParams era ⇒ NoThunks (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal Methods noThunks ∷ Context → RatifyState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RatifyState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RatifyState era) → String Source #
EraPParams era ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods rnf ∷ DRepPulser era Identity (RatifyState era) → () Source #
EraPParams era ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods (==) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool Source # (/=) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool Source #
EraPParams era ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source #
Instance details 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 Rep (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.18.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 (EraCrypto era)))) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))
type Share (RatifyState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Share (RatifyState era) = ()

committeeAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

committeeAcceptedRatio ∷ ∀ era. Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo → Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote → CommitteeState era → EpochNo → Rational Source #

spoAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

spoAcceptedRatio ∷ ∀ era. RatifyEnv era → GovActionState era → ProtVer → Rational Source #

Final ratio for totalAcceptedStakePoolsRatio we want during the bootstrap period is: t = y / (s - a) Where: * y - total delegated stake that voted Yes * a - total delegated stake that voted Abstain * s - total delegated stake

For HardForkInitiation all SPOs that didn't vote are considered as No votes. Whereas, for all other GovActions, SPOs that didn't vote are considered as Abstain votes.

No votes are not counted. After the bootstrap period if an SPO didn't vote, it will be considered as a No vote by default. The only exceptions are when a pool delegated to an AlwaysNoConfidence or an AlwaysAbstain DRep. In those cases, behaviour is as expected: vote Yes on NoConfidence proposals in case of the former and and vote Abstain by default in case of the latter. For HardForkInitiation, behaviour is the same as during the bootstrap period: if an SPO didn't vote, their vote will always count as No.

dRepAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

dRepAcceptedRatio ∷ ∀ era. RatifyEnv era → Map (Credential 'DRepRole (EraCrypto era)) Vote → GovAction era → Rational Source #

acceptedByEveryone ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

prevActionAsExpected ∷ GovActionState era → GovRelation StrictMaybe era → Bool Source #

Check that the previous governance action id specified in the proposal does match the last one of the same purpose that was enacted.

validCommitteeTerm ∷ ConwayEraPParams era ⇒ GovAction era → PParams era → EpochNo → Bool Source #

withdrawalCanWithdraw ∷ GovAction era → Coin → Bool Source #

data ConwayGOV era Source #

Instances

Instances details

(ConwayEraTxCert era, ConwayEraPParams era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ STS (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type State (ConwayGOV era) Source # type Signal (ConwayGOV era) Source # type Environment (ConwayGOV era) Source # type BaseM (ConwayGOV era) ∷ Type → Type Source # type Event (ConwayGOV era) Source # type PredicateFailure (ConwayGOV era) Source # Methods initialRules ∷ [InitialRule (ConwayGOV era)] Source # transitionRules ∷ [TransitionRule (ConwayGOV era)] Source # assertions ∷ [Assertion (ConwayGOV era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayGOV era) → String Source #
(ConwayEraTxCert era, ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type BaseM (ConwayGOV era) = ShelleyBase
type Environment (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Environment (ConwayGOV era) = GovEnv era
type Event (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Event (ConwayGOV era) = ConwayGovEvent era
type PredicateFailure (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type Signal (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Signal (ConwayGOV era) = GovSignal era
type State (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type State (ConwayGOV era) = Proposals era

data GovEnv era Source #

Constructors

GovEnv
Fields geTxId ∷ !(TxId (EraCrypto era)) geEpoch ∷ !EpochNo gePParams ∷ !(PParams era) gePPolicy ∷ !(StrictMaybe (ScriptHash (EraCrypto era))) geCertState ∷ !(CertState era)

Instances

Instances details

Generic (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (GovEnv era) ∷ Type → Type Source # Methods from ∷ GovEnv era → Rep (GovEnv era) x Source # to ∷ Rep (GovEnv era) x → GovEnv era Source #
(Show (PParams era), Era era) ⇒ Show (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods showsPrec ∷ Int → GovEnv era → ShowS Source # show ∷ GovEnv era → String Source # showList ∷ [GovEnv era] → ShowS Source #
EraPParams era ⇒ EncCBOR (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods encCBOR ∷ GovEnv era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (GovEnv era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovEnv era] → Size Source #
(NFData (PParams era), Era era) ⇒ NFData (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ GovEnv era → () Source #
Eq (PParams era) ⇒ Eq (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ GovEnv era → GovEnv era → Bool Source # (/=) ∷ GovEnv era → GovEnv era → Bool Source #
type Rep (GovEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (GovEnv era) = D1 ('MetaData "GovEnv" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "GovEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "geTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :: S1 ('MetaSel ('Just "geEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :: (S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: (S1 ('MetaSel ('Just "gePPolicy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))) :: S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era))))))

data GovSignal era Source #

Constructors

GovSignal
Fields gsVotingProcedures ∷ !(VotingProcedures era) gsProposalProcedures ∷ !(OSet (ProposalProcedure era)) gsCertificates ∷ !(StrictSeq (TxCert era))

Instances

Instances details

Generic (GovSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (GovSignal era) ∷ Type → Type Source # Methods from ∷ GovSignal era → Rep (GovSignal era) x Source # to ∷ Rep (GovSignal era) x → GovSignal era Source #
(EraPParams era, Show (TxCert era)) ⇒ Show (GovSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods showsPrec ∷ Int → GovSignal era → ShowS Source # show ∷ GovSignal era → String Source # showList ∷ [GovSignal era] → ShowS Source #
(EraPParams era, EraTxCert era) ⇒ EncCBOR (GovSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods encCBOR ∷ GovSignal era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (GovSignal era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovSignal era] → Size Source #
(EraPParams era, NFData (TxCert era)) ⇒ NFData (GovSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ GovSignal era → () Source #
(EraPParams era, Eq (TxCert era)) ⇒ Eq (GovSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ GovSignal era → GovSignal era → Bool Source # (/=) ∷ GovSignal era → GovSignal era → Bool Source #
type Rep (GovSignal era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.18.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 (EraCrypto era)) !(Proposals era)
GovRemovedVotes
Fields !(TxId (EraCrypto era)) !(Set (Voter (EraCrypto era), GovActionId (EraCrypto era))) Votes that were replaced in this tx. !(Set (Credential 'DRepRole (EraCrypto era))) Any votes from these DReps in this or in previous txs are removed

Instances

Instances details

Generic (ConwayGovEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (ConwayGovEvent era) ∷ Type → Type Source # Methods from ∷ ConwayGovEvent era → Rep (ConwayGovEvent era) x Source # to ∷ Rep (ConwayGovEvent era) x → ConwayGovEvent era Source #
EraPParams era ⇒ NFData (ConwayGovEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovEvent era → () Source #
EraPParams era ⇒ Eq (ConwayGovEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool Source # (/=) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool Source #
type Rep (ConwayGovEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (ConwayGovEvent era) = D1 ('MetaData "ConwayGovEvent" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :: 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 (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Voter (EraCrypto era), GovActionId (EraCrypto era)))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'DRepRole (EraCrypto era)))))))

data ConwayGovPredFailure era Source #

Constructors

GovActionsDoNotExist (NonEmpty (GovActionId (EraCrypto era)))
MalformedProposal (GovAction era)
ProposalProcedureNetworkIdMismatch (RewardAccount (EraCrypto era)) Network
TreasuryWithdrawalsNetworkIdMismatch (Set (RewardAccount (EraCrypto era))) Network
ProposalDepositIncorrect !(Mismatch 'RelEQ Coin)
DisallowedVoters !(NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))	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 (Set (Credential 'ColdCommitteeRole (EraCrypto era))) Credentials that are mentioned as members to be both removed and added
ExpirationEpochTooSmall
Fields (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo) Members for which the expiration epoch has already been reached
InvalidPrevGovActionId (ProposalProcedure era)
VotingOnExpiredGovAction (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))
ProposalCantFollow
Fields (StrictMaybe (GovPurposeId 'HardForkPurpose era)) The PrevGovActionId of the HardForkInitiation that fails !(Mismatch 'RelGT ProtVer) Its protocol version and the protocal version of the previous gov-action pointed to by the proposal
InvalidPolicyHash
Fields (StrictMaybe (ScriptHash (EraCrypto era))) The policy script hash in the proposal (StrictMaybe (ScriptHash (EraCrypto era))) The policy script hash of the current constitution
DisallowedProposalDuringBootstrap (ProposalProcedure era)
DisallowedVotesDuringBootstrap (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))
VotersDoNotExist (NonEmpty (Voter (EraCrypto era)))	Predicate failure for votes by entities that are not present in the ledger state
ZeroTreasuryWithdrawals (GovAction era)	Treasury withdrawals that sum up to zero are not allowed
ProposalReturnAccountDoesNotExist (RewardAccount (EraCrypto era))	Proposals that have an invalid reward account for returns of the deposit
TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty (RewardAccount (EraCrypto era)))	Treasury withdrawal proposals to an invalid reward account

Instances

Instances details

InjectRuleFailure "BBODY" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "GOV" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Associated Types type Rep (ConwayGovPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayGovPredFailure era → Rep (ConwayGovPredFailure era) x Source # to ∷ Rep (ConwayGovPredFailure era) x → ConwayGovPredFailure era Source #
EraPParams era ⇒ Show (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods showsPrec ∷ Int → ConwayGovPredFailure era → ShowS Source # show ∷ ConwayGovPredFailure era → String Source # showList ∷ [ConwayGovPredFailure era] → ShowS Source #
EraPParams era ⇒ FromCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods fromCBOR ∷ Decoder s (ConwayGovPredFailure era) Source # label ∷ Proxy (ConwayGovPredFailure era) → Text Source #
EraPParams era ⇒ ToCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods toCBOR ∷ ConwayGovPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovPredFailure era] → Size Source #
EraPParams era ⇒ DecCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods decCBOR ∷ Decoder s (ConwayGovPredFailure era) Source # dropCBOR ∷ Proxy (ConwayGovPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayGovPredFailure era) → Text Source #
EraPParams era ⇒ EncCBOR (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods encCBOR ∷ ConwayGovPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovPredFailure era] → Size Source #
EraPParams era ⇒ NFData (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods rnf ∷ ConwayGovPredFailure era → () Source #
EraPParams era ⇒ Eq (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods (==) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool Source # (/=) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool Source #
EraPParams era ⇒ NoThunks (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods noThunks ∷ Context → ConwayGovPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayGovPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayGovPredFailure era) → String Source #
type Rep (ConwayGovPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Rep (ConwayGovPredFailure era) = D1 ('MetaData "ConwayGovPredFailure" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((((C1 ('MetaCons "GovActionsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (GovActionId (EraCrypto era))))) :+: 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 (RewardAccount (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons "TreasuryWithdrawalsNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (RewardAccount (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons "ProposalDepositIncorrect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "DisallowedVoters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Voter (EraCrypto era), GovActionId (EraCrypto era)))))) :+: (C1 ('MetaCons "ConflictingCommitteeUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'ColdCommitteeRole (EraCrypto era))))) :+: (C1 ('MetaCons "ExpirationEpochTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) 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 (EraCrypto era), GovActionId (EraCrypto era))))) :+: C1 ('MetaCons "ProposalCantFollow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGT ProtVer)))) :+: (C1 ('MetaCons "InvalidPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era))))) :+: 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 (EraCrypto era), GovActionId (EraCrypto era))))) :+: C1 ('MetaCons "VotersDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter (EraCrypto era)))))) :+: (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 (RewardAccount (EraCrypto era)))) :+: C1 ('MetaCons "TreasuryWithdrawalReturnAccountsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (RewardAccount (EraCrypto era))))))))))

allegraToConwayUtxoPredFailure ∷ ∀ era. EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era Source #

babbageToConwayUtxoPredFailure ∷ ∀ era. BabbageUtxoPredFailure era → ConwayUtxoPredFailure era Source #

alonzoToConwayUtxoPredFailure ∷ ∀ era. AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era Source #

data ConwayUtxoPredFailure era Source #

Predicate failure for the Conway Era

Constructors

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))	Subtransition Failures
BadInputsUTxO !(Set (TxIn (EraCrypto era)))	The bad transaction inputs
OutsideValidityIntervalUTxO
Fields !ValidityInterval transaction's validity interval !SlotNo current slot
MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer)
InputSetEmptyUTxO
FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin)
ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era))
WrongNetwork	the set of addresses with incorrect network IDs
Fields !Network the expected network id !(Set (Addr (EraCrypto era))) the set of addresses with incorrect network IDs
WrongNetworkWithdrawal
Fields !Network the expected network id !(Set (RewardAccount (EraCrypto era))) the set of reward addresses with incorrect network IDs
OutputTooSmallUTxO ![TxOut era]	list of supplied transaction outputs that are too small
OutputBootAddrAttrsTooBig ![TxOut era]	list of supplied bad transaction outputs
OutputTooBigUTxO ![(Int, Int, TxOut era)]	list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut)
InsufficientCollateral
Fields !DeltaCoin balance computed !Coin the required collateral for the given fee
ScriptsNotPaidUTxO !(UTxO era)	The UTxO entries which have the wrong kind of script
ExUnitsTooBigUTxO !(Mismatch 'RelLTEQ ExUnits)
CollateralContainsNonADA !(Value era)	The inputs marked for use as fees contain non-ADA tokens
WrongNetworkInTxBody !(Mismatch 'RelEQ Network)	Wrong Network ID in body
OutsideForecast !SlotNo	slot number outside consensus forecast range
TooManyCollateralInputs !(Mismatch 'RelLTEQ Natural)	There are too many collateral inputs
NoCollateralInputs
IncorrectTotalCollateralField	The collateral is not equivalent to the total collateral asserted by the transaction
Fields !DeltaCoin collateral provided !Coin collateral amount declared in transaction body
BabbageOutputTooSmallUTxO ![(TxOut era, Coin)]	list of supplied transaction outputs that are too small, together with the minimum value for the given output.
BabbageNonDisjointRefInputs !(NonEmpty (TxIn (EraCrypto era)))	TxIns that appear in both inputs and reference inputs

Instances

Instances details

InjectRuleFailure "BBODY" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Generic (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Associated Types type Rep (ConwayUtxoPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayUtxoPredFailure era → Rep (ConwayUtxoPredFailure era) x Source # to ∷ Rep (ConwayUtxoPredFailure era) x → ConwayUtxoPredFailure era Source #
(Era era, Show (Value era), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (Script era), Show (TxIn (EraCrypto era))) ⇒ Show (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods showsPrec ∷ Int → ConwayUtxoPredFailure era → ShowS Source # show ∷ ConwayUtxoPredFailure era → String Source # showList ∷ [ConwayUtxoPredFailure era] → ShowS Source #
(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ DecCBOR (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods decCBOR ∷ Decoder s (ConwayUtxoPredFailure era) Source # dropCBOR ∷ Proxy (ConwayUtxoPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayUtxoPredFailure era) → Text Source #
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ EncCBOR (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods encCBOR ∷ ConwayUtxoPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxoPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxoPredFailure era] → Size Source #
(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) ⇒ NFData (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods rnf ∷ ConwayUtxoPredFailure era → () Source #
(Era era, Eq (Value era), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (Script era), Eq (TxIn (EraCrypto era))) ⇒ Eq (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods (==) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool Source # (/=) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool Source #
NoThunks (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods noThunks ∷ Context → ConwayUtxoPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayUtxoPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayUtxoPredFailure era) → String Source #
type Rep (ConwayUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Rep (ConwayUtxoPredFailure era) = D1 ('MetaData "ConwayUtxoPredFailure" "Cardano.Ledger.Conway.Rules.Utxo" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))) :+: C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Integer))) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Addr (EraCrypto era))))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (RewardAccount (EraCrypto era))))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Int, Int, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Network)))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (TxIn (EraCrypto era))))))))))

data ConwayUTXOS era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type State (ConwayUTXOS era) Source # type Signal (ConwayUTXOS era) Source # type Environment (ConwayUTXOS era) Source # type BaseM (ConwayUTXOS era) ∷ Type → Type Source # type Event (ConwayUTXOS era) Source # type PredicateFailure (ConwayUTXOS era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOS era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOS era)] Source # assertions ∷ [Assertion (ConwayUTXOS era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOS era) → String Source #
(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ Embed (ConwayUTXOS era) (BabbageUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (BabbageUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (BabbageUTXO era) Source #
type BaseM (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type BaseM (ConwayUTXOS era) = ShelleyBase
type Environment (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Environment (ConwayUTXOS era) = UtxoEnv era
type Event (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Event (ConwayUTXOS era) = ConwayUtxosEvent era
type PredicateFailure (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type Signal (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Signal (ConwayUTXOS era) = AlonzoTx era
type State (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type State (ConwayUTXOS era) = UTxOState era

data ConwayUtxosPredFailure era Source #

Constructors

ValidationTagMismatch IsValid TagMismatchDescription	The `isValid` tag on the transaction is incorrect. The tag given here is that provided on the transaction (whereas evaluation of the scripts gives the opposite.). The Text tries to explain why it failed.
CollectErrors [CollectError era]	We could not find all the necessary inputs for a Plutus Script. Previous PredicateFailure tests should make this impossible, but the consequences of not detecting this means scripts get dropped, so things might validate that shouldn't. So we double check in the function collectTwoPhaseScriptInputs, it should find data for every Script.

Instances

Instances details

InjectRuleFailure "BBODY" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Generic (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type Rep (ConwayUtxosPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayUtxosPredFailure era → Rep (ConwayUtxosPredFailure era) x Source # to ∷ Rep (ConwayUtxosPredFailure era) x → ConwayUtxosPredFailure era Source #
(ConwayEraScript era, Show (TxCert era), Show (ContextError era), Show (UTxOState era)) ⇒ Show (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods showsPrec ∷ Int → ConwayUtxosPredFailure era → ShowS Source # show ∷ ConwayUtxosPredFailure era → String Source # showList ∷ [ConwayUtxosPredFailure era] → ShowS Source #
(EraTxCert era, ConwayEraScript era, DecCBOR (ContextError era)) ⇒ DecCBOR (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods decCBOR ∷ Decoder s (ConwayUtxosPredFailure era) Source # dropCBOR ∷ Proxy (ConwayUtxosPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayUtxosPredFailure era) → Text Source #
(EraTxCert era, ConwayEraScript era, EncCBOR (ContextError era)) ⇒ EncCBOR (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods encCBOR ∷ ConwayUtxosPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxosPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxosPredFailure era] → Size Source #
(ConwayEraScript era, NFData (TxCert era), NFData (ContextError era), NFData (UTxOState era)) ⇒ NFData (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods rnf ∷ ConwayUtxosPredFailure era → () Source #
(ConwayEraScript era, Eq (TxCert era), Eq (ContextError era), Eq (UTxOState era)) ⇒ Eq (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods (==) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool Source # (/=) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool Source #
(ConwayEraScript era, NoThunks (TxCert era), NoThunks (ContextError era), NoThunks (UTxOState era)) ⇒ NoThunks (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods noThunks ∷ Context → ConwayUtxosPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayUtxosPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayUtxosPredFailure era) → String Source #
type Rep (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Rep (ConwayUtxosPredFailure era) = D1 ('MetaData "ConwayUtxosPredFailure" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.18.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 [CollectError era])))

data ConwayUtxosEvent era Source #

Constructors

TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin
SuccessfulPlutusScriptsEvent (NonEmpty (PlutusWithContext (EraCrypto era)))
FailedPlutusScriptsEvent (NonEmpty (PlutusWithContext (EraCrypto era)))
TxUTxODiff	The UTxOs consumed and created by a signal tx
Fields (UTxO era) UTxO consumed (UTxO era) UTxO created

Instances

Instances details

InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #
Generic (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type Rep (ConwayUtxosEvent era) ∷ Type → Type Source # Methods from ∷ ConwayUtxosEvent era → Rep (ConwayUtxosEvent era) x Source # to ∷ Rep (ConwayUtxosEvent era) x → ConwayUtxosEvent era Source #
(Era era, NFData (TxOut era)) ⇒ NFData (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods rnf ∷ ConwayUtxosEvent era → () Source #
(Era era, Eq (TxOut era)) ⇒ Eq (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods (==) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool Source # (/=) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool Source #
type Rep (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Rep (ConwayUtxosEvent era) = D1 ('MetaData "ConwayUtxosEvent" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash (EraCrypto era) EraIndependentTxBody)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusWithContext (EraCrypto era)))))) :+: (C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusWithContext (EraCrypto era))))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

alonzoToConwayUtxowPredFailure ∷ ∀ era. AlonzoUtxowPredFailure era → ConwayUtxowPredFailure era Source #

babbageToConwayUtxowPredFailure ∷ ∀ era. BabbageUtxowPredFailure era → ConwayUtxowPredFailure era Source #

data ConwayUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types type State (ConwayUTXOW era) Source # type Signal (ConwayUTXOW era) Source # type Environment (ConwayUTXOW era) Source # type BaseM (ConwayUTXOW era) ∷ Type → Type Source # type Event (ConwayUTXOW era) Source # type PredicateFailure (ConwayUTXOW era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOW era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOW era)] Source # assertions ∷ [Assertion (ConwayUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOW era) → String Source #
(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW 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) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type BaseM (ConwayUTXOW era) = ShelleyBase
type Environment (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Environment (ConwayUTXOW era) = UtxoEnv era
type Event (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Event (ConwayUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type Signal (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Signal (ConwayUTXOW era) = Tx era
type State (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (ConwayUTXOW era) = UTxOState era

data ConwayUtxowPredFailure era Source #

Predicate failure type for the Conway Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era))
InvalidWitnessesUTXOW ![VKey 'Witness (EraCrypto era)]
MissingVKeyWitnessesUTXOW	witnesses which failed in verifiedWits function
Fields !(Set (KeyHash 'Witness (EraCrypto era))) witnesses which were needed and not supplied
MissingScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))	missing scripts
ScriptWitnessNotValidatingUTXOW !(Set (ScriptHash (EraCrypto era)))	failed scripts
MissingTxBodyMetadataHash !(AuxiliaryDataHash (EraCrypto era))	hash of the full metadata
MissingTxMetadata !(AuxiliaryDataHash (EraCrypto era))	hash of the metadata included in the transaction body
ConflictingMetadataHash !(Mismatch 'RelEQ (AuxiliaryDataHash (EraCrypto era)))
InvalidMetadata	Contains out of range values (string`s too long)
ExtraneousScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))	extraneous scripts
MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]
MissingRequiredDatums
Fields !(Set (DataHash (EraCrypto era))) Set of missing data hashes !(Set (DataHash (EraCrypto era))) Set of received data hashes
NotAllowedSupplementalDatums
Fields !(Set (DataHash (EraCrypto era))) Set of unallowed data hashes. !(Set (DataHash (EraCrypto era))) Set of acceptable supplemental data hashes
PPViewHashesDontMatch !(Mismatch 'RelEQ (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))
UnspendableUTxONoDatumHash (Set (TxIn (EraCrypto era)))	Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't
ExtraRedeemers ![PlutusPurpose AsIx era]	List of redeemers not needed
MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era)))	Embed UTXO rule failures
MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era)))	the set of malformed script witnesses

Instances

Instances details

InjectRuleFailure "BBODY" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Generic (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Associated Types type Rep (ConwayUtxowPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayUtxowPredFailure era → Rep (ConwayUtxowPredFailure era) x Source # to ∷ Rep (ConwayUtxowPredFailure era) x → ConwayUtxowPredFailure era Source #
(ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods showsPrec ∷ Int → ConwayUtxowPredFailure era → ShowS Source # show ∷ ConwayUtxowPredFailure era → String Source # showList ∷ [ConwayUtxowPredFailure era] → ShowS Source #
(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ DecCBOR (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods decCBOR ∷ Decoder s (ConwayUtxowPredFailure era) Source # dropCBOR ∷ Proxy (ConwayUtxowPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayUtxowPredFailure era) → Text Source #
(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods encCBOR ∷ ConwayUtxowPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxowPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxowPredFailure era] → Size Source #
(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era)), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods rnf ∷ ConwayUtxowPredFailure era → () Source #
(ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods (==) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool Source # (/=) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool Source #
NoThunks (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods noThunks ∷ Context → ConwayUtxowPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayUtxowPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayUtxowPredFailure era) → String Source #
type Rep (ConwayUtxowPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Rep (ConwayUtxowPredFailure era) = D1 ('MetaData "ConwayUtxowPredFailure" "Cardano.Ledger.Conway.Rules.Utxow" "cardano-ledger-conway-1.18.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 'SourceStrict 'DecidedStrict) (Rec0 [VKey 'Witness (EraCrypto era)]))) :+: (C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness (EraCrypto era))))) :+: C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era))))) :+: (C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (AuxiliaryDataHash (EraCrypto era))))) :+: C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))))) :+: C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (TxIn (EraCrypto era)))))) :+: (C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PlutusPurpose AsIx era])) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))))))))

shelleyToConwayUtxowPredFailure ∷ ShelleyUtxowPredFailure era → ConwayUtxowPredFailure era Source #

Orphan instances

InjectRuleEvent "TICK" ConwayEpochEvent (ConwayEra c) Source #
Instance details Methods injectEvent ∷ ConwayEpochEvent (ConwayEra c) → EraRuleEvent "TICK" (ConwayEra c) Source #

IncorrectDepositDELEG Coin
StakeKeyRegisteredDELEG (Credential 'Staking (EraCrypto era))
StakeKeyNotRegisteredDELEG (Credential 'Staking (EraCrypto era))
StakeKeyHasNonZeroRewardAccountBalanceDELEG Coin
DelegateeDRepNotRegisteredDELEG (Credential 'DRepRole (EraCrypto era))
DelegateeStakePoolNotRegisteredDELEG (KeyHash 'StakePool (EraCrypto era))