| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules
Synopsis
- type family State a
- type family State a
- data BbodySignal era = EraBlockHeader h era ⇒ BbodySignal (Block h era)
- data BBODY era
- data ShelleyBbodyState era = BbodyState !(State (EraRule "LEDGERS" era)) !BlocksMade
- data BbodyEnv era = BbodyEnv {}
- data ShelleyBbodyPredFailure era
- = WrongBlockBodySizeBBODY (Mismatch 'RelEQ Int)
- | InvalidBodyHashBBODY (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))
- | LedgersFailure (PredicateFailure (EraRule "LEDGERS" era))
- newtype ShelleyBbodyEvent era = LedgersEvent (Event (EraRule "LEDGERS" era))
- validateBlockBodySize ∷ (EraBlockHeader h era, EraBlockBody era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era) ⇒ Block h era → ProtVer → Rule (EraRule "BBODY" era) 'Transition ()
- validateBlockBodyHash ∷ (EraBlockHeader h era, EraBlockBody era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era) ⇒ Block h era → Rule (EraRule "BBODY" era) 'Transition ()
- data DelegEnv era = DelegEnv {}
- data DELEG era
- data ShelleyDelegPredFailure era
- = StakeKeyAlreadyRegisteredDELEG (Credential 'Staking)
- | StakeKeyNotRegisteredDELEG (Credential 'Staking)
- | StakeKeyNonZeroAccountBalanceDELEG Coin
- | StakeDelegationImpossibleDELEG (Credential 'Staking)
- | WrongCertificateTypeDELEG
- | GenesisKeyNotInMappingDELEG (KeyHash 'GenesisRole)
- | DuplicateGenesisDelegateDELEG (KeyHash 'GenesisDelegate)
- | InsufficientForInstantaneousRewardsDELEG MIRPot (Mismatch 'RelLTEQ Coin)
- | MIRCertificateTooLateinEpochDELEG (Mismatch 'RelLT SlotNo)
- | DuplicateGenesisVRFDELEG (VRFVerKeyHash 'GenDelegVRF)
- | MIRTransferNotCurrentlyAllowed
- | MIRNegativesNotCurrentlyAllowed
- | InsufficientForTransferDELEG MIRPot (Mismatch 'RelLTEQ Coin)
- | MIRProducesNegativeUpdate
- | MIRNegativeTransfer MIRPot Coin
- | DelegateeNotRegisteredDELEG (KeyHash 'StakePool)
- newtype ShelleyDelegEvent era = DelegNewEpoch EpochNo
- data DelegsEnv era = DelegsEnv {
- delegsSlotNo ∷ SlotNo
- delegsEpochNo ∷ EpochNo
- delegsIx ∷ TxIx
- delegspp ∷ PParams era
- delegsTx ∷ Tx 'TopTx era
- delegsAccount ∷ ChainAccountState
- data DELEGS era
- newtype ShelleyDelegsPredFailure era = DelplFailure (PredicateFailure (EraRule "DELPL" era))
- newtype ShelleyDelegsEvent era = DelplEvent (Event (EraRule "DELPL" era))
- data DelplEnv era = DelplEnv {}
- data DELPL era
- data ShelleyDelplPredFailure era
- = PoolFailure (PredicateFailure (EraRule "POOL" era))
- | DelegFailure (PredicateFailure (EraRule "DELEG" era))
- data ShelleyDelplEvent era
- data LedgerEnv era = LedgerEnv {}
- data ShelleyLedgerPredFailure era
- = UtxowFailure (PredicateFailure (EraRule "UTXOW" era))
- | DelegsFailure (PredicateFailure (EraRule "DELEGS" era))
- | ShelleyWithdrawalsMissingAccounts Withdrawals
- | ShelleyIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin))
- ledgerPpL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → LedgerEnv era → f (LedgerEnv era)
- data LEDGER era
- ledgerSlotNoL ∷ ∀ era f. Functor f ⇒ (SlotNo → f SlotNo) → LedgerEnv era → f (LedgerEnv era)
- ledgerEpochNoL ∷ ∀ era f. Functor f ⇒ (Maybe EpochNo → f (Maybe EpochNo)) → LedgerEnv era → f (LedgerEnv era)
- ledgerIxL ∷ ∀ era f. Functor f ⇒ (TxIx → f TxIx) → LedgerEnv era → f (LedgerEnv era)
- ledgerAccountL ∷ ∀ era f. Functor f ⇒ (ChainAccountState → f ChainAccountState) → LedgerEnv era → f (LedgerEnv era)
- data ShelleyLedgerEvent era
- = UtxowEvent (Event (EraRule "UTXOW" era))
- | DelegsEvent (Event (EraRule "DELEGS" era))
- renderDepositEqualsObligationViolation ∷ (EraTx era, EraGov era, EraCertState era, Environment t ~ LedgerEnv era, Signal t ~ StAnnTx 'TopTx era, State t ~ LedgerState era) ⇒ AssertionViolation t → String
- shelleyLedgerAssertions ∷ (EraGov era, EraCertState era, State (rule era) ~ LedgerState era) ⇒ [Assertion (rule era)]
- testIncompleteAndMissingWithdrawals ∷ ∀ era sts (ctx ∷ RuleType). (EraAccounts era, STS sts, BaseM sts ~ ShelleyBase, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, sts ~ EraRule "LEDGER" era) ⇒ Accounts era → Withdrawals → Rule sts ctx ()
- data ShelleyLedgersEnv era = LedgersEnv {}
- data LEDGERS era
- newtype ShelleyLedgersPredFailure era = LedgerFailure (PredicateFailure (EraRule "LEDGER" era))
- newtype ShelleyLedgersEvent era = LedgerEvent (Event (EraRule "LEDGER" era))
- data PoolEnv era = PoolEnv EpochNo (PParams era)
- data POOL era
- data ShelleyPoolPredFailure era
- = StakePoolNotRegisteredOnKeyPOOL (KeyHash 'StakePool)
- | StakePoolRetirementWrongEpochPOOL (Mismatch 'RelGT EpochNo) (Mismatch 'RelLTEQ EpochNo)
- | StakePoolCostTooLowPOOL (Mismatch 'RelGTEQ Coin)
- | WrongNetworkPOOL (Mismatch 'RelEQ Network) (KeyHash 'StakePool)
- | PoolMedataHashTooBig (KeyHash 'StakePool) Int
- | VRFKeyHashAlreadyRegistered (KeyHash 'StakePool) (VRFVerKeyHash 'StakePoolVRF)
- data PoolEvent era
- poolTransition ∷ ∀ (rule ∷ Symbol) era. (EraPParams era, Signal (EraRule rule era) ~ PoolCert, Environment (EraRule rule era) ~ PoolEnv era, State (EraRule rule era) ~ PState era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, InjectRuleFailure rule ShelleyPoolPredFailure era, InjectRuleEvent rule PoolEvent era) ⇒ TransitionRule (EraRule rule era)
- data ShelleyGovState era = ShelleyGovState {
- sgsCurProposals ∷ !(ProposedPPUpdates era)
- sgsFutureProposals ∷ !(ProposedPPUpdates era)
- sgsCurPParams ∷ !(PParams era)
- sgsPrevPParams ∷ !(PParams era)
- sgsFuturePParams ∷ !(FuturePParams era)
- data PpupEnv era = PPUPEnv SlotNo (PParams era) GenDelegs
- data PPUP era
- data ShelleyPpupPredFailure era
- votedFuturePParams ∷ EraPParams era ⇒ ProposedPPUpdates era → PParams era → Word64 → Maybe (PParams era)
- newtype PpupEvent era = PpupNewEpoch EpochNo
- data VotingPeriod
- data UtxoEnv era = UtxoEnv {}
- data UTXO era
- data ShelleyUtxoPredFailure era
- = BadInputsUTxO (NonEmptySet TxIn)
- | ExpiredUTxO (Mismatch 'RelLTEQ SlotNo)
- | MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32)
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin)
- | ValueNotConservedUTxO (Mismatch 'RelEQ (Value era))
- | WrongNetwork Network (NonEmptySet Addr)
- | WrongNetworkWithdrawal Network (NonEmptySet AccountAddress)
- | OutputTooSmallUTxO (NonEmpty (TxOut era))
- | UpdateFailure (EraRuleFailure "PPUP" era)
- | OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))
- data UtxoEvent era
- = TotalDeposits (SafeHash EraIndependentTxBody) Coin
- | UpdateEvent (Event (EraRule "PPUP" era))
- | TxUTxODiff (UTxO era) (UTxO era)
- validSizeComputationCheck ∷ (EraTx era, SafeToHash (TxWits era), Signal (rule era) ~ StAnnTx 'TopTx era) ⇒ Assertion (rule era)
- updateUTxOState ∷ (EraTxBody era, EraStake era, EraCertState era, Monad m) ⇒ PParams era → UTxOState era → TxBody 'TopTx era → CertState era → GovState era → (Coin → m ()) → (UTxO era → UTxO era → m ()) → m (UTxOState era)
- updateUTxOStateNoFees ∷ ∀ era m (l ∷ TxLevel). (EraTxBody era, EraStake era, EraCertState era, Monad m) ⇒ PParams era → UTxOState era → TxBody l era → CertState era → GovState era → (Coin → m ()) → (UTxO era → UTxO era → m ()) → m (UTxOState era)
- validateInputSetEmptyUTxO ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ TxBody t era → Test (ShelleyUtxoPredFailure era)
- validateFeeTooSmallUTxO ∷ EraUTxO era ⇒ PParams era → Tx 'TopTx era → UTxO era → Test (ShelleyUtxoPredFailure era)
- validateBadInputsUTxO ∷ UTxO era → Set TxIn → Test (ShelleyUtxoPredFailure era)
- validateWrongNetwork ∷ (EraTxOut era, Foldable f) ⇒ Network → f (TxOut era) → Test (ShelleyUtxoPredFailure era)
- validateWrongNetworkWithdrawal ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ Network → TxBody t era → Test (ShelleyUtxoPredFailure era)
- validateOutputBootAddrAttrsTooBig ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Test (ShelleyUtxoPredFailure era)
- validateMaxTxSizeUTxO ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ PParams era → Tx l era → Test (ShelleyUtxoPredFailure era)
- validateValueNotConservedUTxO ∷ (EraUTxO era, EraCertState era) ⇒ PParams era → UTxO era → CertState era → TxBody 'TopTx era → Test (ShelleyUtxoPredFailure era)
- utxoEnvSlotL ∷ ∀ era f. Functor f ⇒ (SlotNo → f SlotNo) → UtxoEnv era → f (UtxoEnv era)
- utxoEnvPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → UtxoEnv era → f (UtxoEnv era)
- utxoEnvCertStateL ∷ ∀ era f. Functor f ⇒ (CertState era → f (CertState era)) → UtxoEnv era → f (UtxoEnv era)
- data UTXOW era
- data ShelleyUtxowPredFailure era
- = InvalidWitnessesUTXOW (NonEmpty (VKey 'Witness))
- | MissingVKeyWitnessesUTXOW (NonEmptySet (KeyHash 'Witness))
- | MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash)
- | ScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash)
- | UtxoFailure (PredicateFailure (EraRule "UTXO" era))
- | MIRInsufficientGenesisSigsUTXOW (Set (KeyHash 'Witness))
- | MissingTxBodyMetadataHash TxAuxDataHash
- | MissingTxMetadata TxAuxDataHash
- | ConflictingMetadataHash (Mismatch 'RelEQ TxAuxDataHash)
- | InvalidMetadata
- | ExtraneousScriptWitnessesUTXOW (NonEmptySet ScriptHash)
- newtype ShelleyUtxowEvent era = UtxoEvent (Event (EraRule "UTXO" era))
- transitionRulesUTXOW ∷ (EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, STS (EraRule "UTXOW" era), EraCertState era) ⇒ TransitionRule (EraRule "UTXOW" era)
- validateFailedNativeScripts ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ ScriptsProvided era → Tx l era → Test (ShelleyUtxowPredFailure era)
- validateMissingScripts ∷ ShelleyScriptsNeeded era → ScriptsProvided era → Test (ShelleyUtxowPredFailure era)
- validateVerifiedWits ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ Tx l era → Test (ShelleyUtxowPredFailure era)
- validateMetadata ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ PParams era → Tx l era → Test (ShelleyUtxowPredFailure era)
- validateMIRInsufficientGenesisSigs ∷ (EraTx era, ShelleyEraTxBody era) ⇒ GenDelegs → Word64 → Set (KeyHash 'Witness) → Tx 'TopTx era → Test (ShelleyUtxowPredFailure era)
- validateNeededWitnesses ∷ ∀ era (t ∷ TxLevel). EraUTxO era ⇒ Set (KeyHash 'Witness) → CertState era → UTxO era → TxBody t era → Test (ShelleyUtxowPredFailure era)
- data EPOCH era
- data ShelleyEpochEvent era
- data NEWEPOCH era
- data ShelleyNewEpochEvent era
- = DeltaRewardEvent (Event (EraRule "RUPD" era))
- | RestrainedRewards EpochNo (Map (Credential 'Staking) (Set Reward)) (Set (Credential 'Staking))
- | TotalRewardEvent EpochNo (Map (Credential 'Staking) (Set Reward))
- | EpochEvent (Event (EraRule "EPOCH" era))
- | MirEvent (Event (EraRule "MIR" era))
- | TotalAdaPotsEvent AdaPots
- updateRewards ∷ (EraGov era, EraCertState era) ⇒ EpochState era → EpochNo → RewardUpdate → Rule (NEWEPOCH era) 'Transition (EpochState era)
- data RUPD era
- data RupdEvent = RupdEvent !EpochNo !(Map (Credential 'Staking) (Set Reward))
- data RupdEnv era = RupdEnv BlocksMade (EpochState era)
- data SnapEnv era = SnapEnv (LedgerState era) (PParams era)
- data SNAP era
- newtype SnapEvent era = StakeDistEvent (Map (Credential 'Staking) (Coin, KeyHash 'StakePool))
- type family State a
- type family State a
- data TICK era
- data TICKF era
- data ShelleyTickEvent era
- = TickNewEpochEvent (Event (EraRule "NEWEPOCH" era))
- | TickRupdEvent (Event (EraRule "RUPD" era))
- adoptGenesisDelegs ∷ EraCertState era ⇒ EpochState era → SlotNo → EpochState era
- validatingTickTransition ∷ ∀ tick era. (EraGov era, EraCertState era, Embed (EraRule "NEWEPOCH" era) (tick era), STS (tick era), State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ NewEpochState era → SlotNo → TransitionRule (tick era)
- validatingTickTransitionFORECAST ∷ (State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (tick era), STS (tick era), GovState era ~ ShelleyGovState era, EraGov era, EraCertState era) ⇒ NewEpochState era → SlotNo → TransitionRule (tick era)
- solidifyNextEpochPParams ∷ EraGov era ⇒ NewEpochState era → SlotNo → ShelleyBase (EpochNo, NewEpochState era)
- data UPEC era
- data UpecState era = UpecState {
- usCurPParams ∷ !(PParams era)
- usGovState ∷ !(ShelleyGovState era)
- data MIR era
- data ShelleyMirEvent era
- emptyInstantaneousRewards ∷ InstantaneousRewards
- data NEWPP era
- data ShelleyNewppState era = NewppState (PParams era) (ShelleyGovState era)
- data NewppEnv era = NewppEnv {
- neCertState ∷ CertState era
- neUTxOState ∷ UTxOState era
- data ShelleyPoolreapEvent era = RetiredPools {
- refundPools ∷ Map (Credential 'Staking) (Map (KeyHash 'StakePool) (CompactForm Coin))
- unclaimedPools ∷ Map (Credential 'Staking) (Map (KeyHash 'StakePool) (CompactForm Coin))
- epochNo ∷ EpochNo
- data POOLREAP era
- data ShelleyPoolreapState era = PoolreapState {}
- prCertStateL ∷ ∀ era f. Functor f ⇒ (CertState era → f (CertState era)) → ShelleyPoolreapState era → f (ShelleyPoolreapState era)
- prChainAccountStateL ∷ ∀ era f. Functor f ⇒ (ChainAccountState → f ChainAccountState) → ShelleyPoolreapState era → f (ShelleyPoolreapState era)
- prUTxOStateL ∷ ∀ era f. Functor f ⇒ (UTxOState era → f (UTxOState era)) → ShelleyPoolreapState era → f (ShelleyPoolreapState era)
Block
Type of the state which the system transitions between.
Instances
Type of the state which the system transitions between.
Instances
data BbodySignal era Source #
Constructors
| EraBlockHeader h era ⇒ BbodySignal (Block h era) |
Instances
data ShelleyBbodyState era Source #
Constructors
| BbodyState !(State (EraRule "LEDGERS" era)) !BlocksMade |
Instances
| Generic (ShelleyBbodyState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Associated Types
Methods from ∷ ShelleyBbodyState era → Rep (ShelleyBbodyState era) x # to ∷ Rep (ShelleyBbodyState era) x → ShelleyBbodyState era # | |||||
| Show (State (EraRule "LEDGERS" era)) ⇒ Show (ShelleyBbodyState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods showsPrec ∷ Int → ShelleyBbodyState era → ShowS # show ∷ ShelleyBbodyState era → String # showList ∷ [ShelleyBbodyState era] → ShowS # | |||||
| Eq (State (EraRule "LEDGERS" era)) ⇒ Eq (ShelleyBbodyState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods (==) ∷ ShelleyBbodyState era → ShelleyBbodyState era → Bool # (/=) ∷ ShelleyBbodyState era → ShelleyBbodyState era → Bool # | |||||
| type Rep (ShelleyBbodyState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody type Rep (ShelleyBbodyState era) = D1 ('MetaData "ShelleyBbodyState" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "BbodyState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (State (EraRule "LEDGERS" era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlocksMade))) | |||||
Constructors
| BbodyEnv | |
Fields
| |
data ShelleyBbodyPredFailure era Source #
Constructors
| WrongBlockBodySizeBBODY (Mismatch 'RelEQ Int) |
|
| InvalidBodyHashBBODY (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody)) |
|
| LedgersFailure (PredicateFailure (EraRule "LEDGERS" era)) |
Instances
| InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ DecCBOR (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ EncCBOR (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods encCBOR ∷ ShelleyBbodyPredFailure era → Encoding Source # | |||||
| NFData (PredicateFailure (EraRule "LEDGERS" era)) ⇒ NFData (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods rnf ∷ ShelleyBbodyPredFailure era → () # | |||||
| Generic (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Associated Types
Methods from ∷ ShelleyBbodyPredFailure era → Rep (ShelleyBbodyPredFailure era) x # to ∷ Rep (ShelleyBbodyPredFailure era) x → ShelleyBbodyPredFailure era # | |||||
| (Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods showsPrec ∷ Int → ShelleyBbodyPredFailure era → ShowS # show ∷ ShelleyBbodyPredFailure era → String # showList ∷ [ShelleyBbodyPredFailure era] → ShowS # | |||||
| (Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods (==) ∷ ShelleyBbodyPredFailure era → ShelleyBbodyPredFailure era → Bool # (/=) ∷ ShelleyBbodyPredFailure era → ShelleyBbodyPredFailure era → Bool # | |||||
| type Rep (ShelleyBbodyPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody type Rep (ShelleyBbodyPredFailure era) = D1 ('MetaData "ShelleyBbodyPredFailure" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Int))) :+: (C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody)))) :+: C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))))) | |||||
newtype ShelleyBbodyEvent era Source #
Constructors
| LedgersEvent (Event (EraRule "LEDGERS" era)) |
Instances
| Generic (ShelleyBbodyEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Associated Types
Methods from ∷ ShelleyBbodyEvent era → Rep (ShelleyBbodyEvent era) x # to ∷ Rep (ShelleyBbodyEvent era) x → ShelleyBbodyEvent era # | |||||
| Eq (Event (EraRule "LEDGERS" era)) ⇒ Eq (ShelleyBbodyEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods (==) ∷ ShelleyBbodyEvent era → ShelleyBbodyEvent era → Bool # (/=) ∷ ShelleyBbodyEvent era → ShelleyBbodyEvent era → Bool # | |||||
| type Rep (ShelleyBbodyEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody type Rep (ShelleyBbodyEvent era) = D1 ('MetaData "ShelleyBbodyEvent" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "LedgersEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "LEDGERS" era))))) | |||||
validateBlockBodySize ∷ (EraBlockHeader h era, EraBlockBody era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era) ⇒ Block h era → ProtVer → Rule (EraRule "BBODY" era) 'Transition () Source #
Validate that actual block body size matches claimed size in block header.
validateBlockBodyHash ∷ (EraBlockHeader h era, EraBlockBody era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era) ⇒ Block h era → Rule (EraRule "BBODY" era) 'Transition () Source #
Validate that actual block body hash matches claimed hash in block header.
Constructors
| DelegEnv | |
Fields
| |
Instances
| NFData (PParams era) ⇒ NFData (DelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||
| Generic (DelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types
| |||||
| Show (PParams era) ⇒ Show (DelegEnv era) Source # | |||||
| Eq (PParams era) ⇒ Eq (DelegEnv era) Source # | |||||
| type Rep (DelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg type Rep (DelegEnv era) = D1 ('MetaData "DelegEnv" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DelegEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "slotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "deCurEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ptr_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ptr) :*: (S1 ('MetaSel ('Just "deChainAccountState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState) :*: S1 ('MetaSel ('Just "ppDE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)))))) | |||||
Instances
| (EraCertState era, EraPParams era, ShelleyEraAccounts era, ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ STS (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types
Methods initialRules ∷ [InitialRule (DELEG era)] Source # transitionRules ∷ [TransitionRule (DELEG era)] Source # assertions ∷ [Assertion (DELEG era)] Source # renderAssertionViolation ∷ AssertionViolation (DELEG era) → String Source # | |||||||||||||||||||||||||
| (ShelleyEraAccounts era, ShelleyEraTxCert era, EraCertState era, EraPParams era, AtMostEra "Babbage" era, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (DELEG era) (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (DELEG era) → PredicateFailure (DELPL era) Source # | |||||||||||||||||||||||||
| type BaseM (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type Environment (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type Event (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type PredicateFailure (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type Signal (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type State (DELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
data ShelleyDelegPredFailure era Source #
Constructors
| StakeKeyAlreadyRegisteredDELEG (Credential 'Staking) | |
| StakeKeyNotRegisteredDELEG (Credential 'Staking) | |
| StakeKeyNonZeroAccountBalanceDELEG Coin | |
| StakeDelegationImpossibleDELEG (Credential 'Staking) | |
| WrongCertificateTypeDELEG | |
| GenesisKeyNotInMappingDELEG (KeyHash 'GenesisRole) | |
| DuplicateGenesisDelegateDELEG (KeyHash 'GenesisDelegate) | |
| InsufficientForInstantaneousRewardsDELEG MIRPot (Mismatch 'RelLTEQ Coin) | |
| MIRCertificateTooLateinEpochDELEG (Mismatch 'RelLT SlotNo) | |
| DuplicateGenesisVRFDELEG (VRFVerKeyHash 'GenDelegVRF) | |
| MIRTransferNotCurrentlyAllowed | |
| MIRNegativesNotCurrentlyAllowed | |
| InsufficientForTransferDELEG MIRPot (Mismatch 'RelLTEQ Coin) | |
| MIRProducesNegativeUpdate | |
| MIRNegativeTransfer MIRPot Coin | |
| DelegateeNotRegisteredDELEG (KeyHash 'StakePool) | Target pool which is not registered |
Instances
| InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source # | |||||
| InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source # | |||||
| InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| (Era era, Typeable (Script era)) ⇒ DecCBOR (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||
| Era era ⇒ EncCBOR (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods encCBOR ∷ ShelleyDelegPredFailure era → Encoding Source # | |||||
| NFData (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods rnf ∷ ShelleyDelegPredFailure era → () # | |||||
| Generic (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types
Methods from ∷ ShelleyDelegPredFailure era → Rep (ShelleyDelegPredFailure era) x # to ∷ Rep (ShelleyDelegPredFailure era) x → ShelleyDelegPredFailure era # | |||||
| Show (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods showsPrec ∷ Int → ShelleyDelegPredFailure era → ShowS # show ∷ ShelleyDelegPredFailure era → String # showList ∷ [ShelleyDelegPredFailure era] → ShowS # | |||||
| Eq (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods (==) ∷ ShelleyDelegPredFailure era → ShelleyDelegPredFailure era → Bool # (/=) ∷ ShelleyDelegPredFailure era → ShelleyDelegPredFailure era → Bool # | |||||
| type Rep (ShelleyDelegPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg type Rep (ShelleyDelegPredFailure era) = D1 ('MetaData "ShelleyDelegPredFailure" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) ((((C1 ('MetaCons "StakeKeyAlreadyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking)))) :+: (C1 ('MetaCons "StakeKeyNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "StakeDelegationImpossibleDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))))) :+: ((C1 ('MetaCons "WrongCertificateTypeDELEG" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GenesisKeyNotInMappingDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisRole)))) :+: (C1 ('MetaCons "DuplicateGenesisDelegateDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisDelegate))) :+: C1 ('MetaCons "InsufficientForInstantaneousRewardsDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Coin)))))) :+: (((C1 ('MetaCons "MIRCertificateTooLateinEpochDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLT SlotNo))) :+: C1 ('MetaCons "DuplicateGenesisVRFDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'GenDelegVRF)))) :+: (C1 ('MetaCons "MIRTransferNotCurrentlyAllowed" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MIRNegativesNotCurrentlyAllowed" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "InsufficientForTransferDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Coin))) :+: C1 ('MetaCons "MIRProducesNegativeUpdate" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MIRNegativeTransfer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "DelegateeNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))))) | |||||
newtype ShelleyDelegEvent era Source #
Constructors
| DelegNewEpoch EpochNo |
Instances
| NFData (ShelleyDelegEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods rnf ∷ ShelleyDelegEvent era → () # | |||||
| Generic (ShelleyDelegEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types
Methods from ∷ ShelleyDelegEvent era → Rep (ShelleyDelegEvent era) x # to ∷ Rep (ShelleyDelegEvent era) x → ShelleyDelegEvent era # | |||||
| Eq (ShelleyDelegEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods (==) ∷ ShelleyDelegEvent era → ShelleyDelegEvent era → Bool # (/=) ∷ ShelleyDelegEvent era → ShelleyDelegEvent era → Bool # | |||||
| type Rep (ShelleyDelegEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg type Rep (ShelleyDelegEvent era) = D1 ('MetaData "ShelleyDelegEvent" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "DelegNewEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo))) | |||||
Constructors
| DelegsEnv | |
Fields
| |
Instances
| (EraTx era, EraCertState era, ShelleyEraTxBody era, Embed (EraRule "DELPL" era) (DELEGS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, EraRule "DELEGS" era ~ DELEGS era) ⇒ STS (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Associated Types
Methods initialRules ∷ [InitialRule (DELEGS era)] Source # transitionRules ∷ [TransitionRule (DELEGS era)] Source # assertions ∷ [Assertion (DELEGS era)] Source # renderAssertionViolation ∷ AssertionViolation (DELEGS era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (DELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (DELEGS era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (DELEGS era) → PredicateFailure (LEDGER era) Source # wrapEvent ∷ Event (DELEGS era) → Event (LEDGER era) Source # | |||||||||||||||||||||||||
| (Era era, STS (DELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (DELPL era) (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed ∷ PredicateFailure (DELPL era) → PredicateFailure (DELEGS era) Source # | |||||||||||||||||||||||||
| type BaseM (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type Environment (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type Event (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type PredicateFailure (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type Signal (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type State (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
newtype ShelleyDelegsPredFailure era Source #
Constructors
| DelplFailure (PredicateFailure (EraRule "DELPL" era)) | Subtransition Failures |
Instances
| InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "DELPL" era)), Typeable (Script era)) ⇒ DecCBOR (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "DELPL" era))) ⇒ EncCBOR (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods encCBOR ∷ ShelleyDelegsPredFailure era → Encoding Source # | |||||
| NFData (PredicateFailure (EraRule "DELPL" era)) ⇒ NFData (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods rnf ∷ ShelleyDelegsPredFailure era → () # | |||||
| Generic (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Associated Types
Methods from ∷ ShelleyDelegsPredFailure era → Rep (ShelleyDelegsPredFailure era) x # to ∷ Rep (ShelleyDelegsPredFailure era) x → ShelleyDelegsPredFailure era # | |||||
| Show (PredicateFailure (EraRule "DELPL" era)) ⇒ Show (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods showsPrec ∷ Int → ShelleyDelegsPredFailure era → ShowS # show ∷ ShelleyDelegsPredFailure era → String # showList ∷ [ShelleyDelegsPredFailure era] → ShowS # | |||||
| Eq (PredicateFailure (EraRule "DELPL" era)) ⇒ Eq (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods (==) ∷ ShelleyDelegsPredFailure era → ShelleyDelegsPredFailure era → Bool # (/=) ∷ ShelleyDelegsPredFailure era → ShelleyDelegsPredFailure era → Bool # | |||||
| type Rep (ShelleyDelegsPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs type Rep (ShelleyDelegsPredFailure era) = D1 ('MetaData "ShelleyDelegsPredFailure" "Cardano.Ledger.Shelley.Rules.Delegs" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "DelplFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELPL" era))))) | |||||
newtype ShelleyDelegsEvent era Source #
Constructors
| DelplEvent (Event (EraRule "DELPL" era)) |
Instances
| NFData (Event (EraRule "DELPL" era)) ⇒ NFData (ShelleyDelegsEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods rnf ∷ ShelleyDelegsEvent era → () # | |||||
| Generic (ShelleyDelegsEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Associated Types
Methods from ∷ ShelleyDelegsEvent era → Rep (ShelleyDelegsEvent era) x # to ∷ Rep (ShelleyDelegsEvent era) x → ShelleyDelegsEvent era # | |||||
| Eq (Event (EraRule "DELPL" era)) ⇒ Eq (ShelleyDelegsEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods (==) ∷ ShelleyDelegsEvent era → ShelleyDelegsEvent era → Bool # (/=) ∷ ShelleyDelegsEvent era → ShelleyDelegsEvent era → Bool # | |||||
| type Rep (ShelleyDelegsEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs type Rep (ShelleyDelegsEvent era) = D1 ('MetaData "ShelleyDelegsEvent" "Cardano.Ledger.Shelley.Rules.Delegs" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "DelplEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELPL" era))))) | |||||
Constructors
| DelplEnv | |
Fields
| |
Instances
| (Era era, EraCertState era, Embed (EraRule "DELEG" era) (DELPL era), Environment (EraRule "DELEG" era) ~ DelegEnv era, State (EraRule "DELEG" era) ~ CertState era, Embed (EraRule "POOL" era) (DELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, State (EraRule "POOL" era) ~ PState era, Signal (EraRule "DELEG" era) ~ TxCert era, Embed (EraRule "POOL" era) (DELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, Signal (EraRule "POOL" era) ~ PoolCert, TxCert era ~ ShelleyTxCert era) ⇒ STS (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types
Methods initialRules ∷ [InitialRule (DELPL era)] Source # transitionRules ∷ [TransitionRule (DELPL era)] Source # assertions ∷ [Assertion (DELPL era)] Source # renderAssertionViolation ∷ AssertionViolation (DELPL era) → String Source # | |||||||||||||||||||||||||
| (ShelleyEraAccounts era, ShelleyEraTxCert era, EraCertState era, EraPParams era, AtMostEra "Babbage" era, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (DELEG era) (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (DELEG era) → PredicateFailure (DELPL era) Source # | |||||||||||||||||||||||||
| (Era era, STS (DELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (DELPL era) (DELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed ∷ PredicateFailure (DELPL era) → PredicateFailure (DELEGS era) Source # | |||||||||||||||||||||||||
| (Era era, STS (POOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (POOL era) (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (POOL era) → PredicateFailure (DELPL era) Source # | |||||||||||||||||||||||||
| type BaseM (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type Environment (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type Event (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type PredicateFailure (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type Signal (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type State (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
data ShelleyDelplPredFailure era Source #
Constructors
| PoolFailure (PredicateFailure (EraRule "POOL" era)) | |
| DelegFailure (PredicateFailure (EraRule "DELEG" era)) |
Instances
| InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source # | |||||
| InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "DELEG" era)), Typeable (Script era)) ⇒ DecCBOR (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "DELEG" era))) ⇒ EncCBOR (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods encCBOR ∷ ShelleyDelplPredFailure era → Encoding Source # | |||||
| (NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era))) ⇒ NFData (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods rnf ∷ ShelleyDelplPredFailure era → () # | |||||
| Generic (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types
Methods from ∷ ShelleyDelplPredFailure era → Rep (ShelleyDelplPredFailure era) x # to ∷ Rep (ShelleyDelplPredFailure era) x → ShelleyDelplPredFailure era # | |||||
| (Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era))) ⇒ Show (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods showsPrec ∷ Int → ShelleyDelplPredFailure era → ShowS # show ∷ ShelleyDelplPredFailure era → String # showList ∷ [ShelleyDelplPredFailure era] → ShowS # | |||||
| (Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era))) ⇒ Eq (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods (==) ∷ ShelleyDelplPredFailure era → ShelleyDelplPredFailure era → Bool # (/=) ∷ ShelleyDelplPredFailure era → ShelleyDelplPredFailure era → Bool # | |||||
| type Rep (ShelleyDelplPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl type Rep (ShelleyDelplPredFailure era) = D1 ('MetaData "ShelleyDelplPredFailure" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era))))) | |||||
data ShelleyDelplEvent era Source #
Instances
| (NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ShelleyDelplEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods rnf ∷ ShelleyDelplEvent era → () # | |||||
| Generic (ShelleyDelplEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types
Methods from ∷ ShelleyDelplEvent era → Rep (ShelleyDelplEvent era) x # to ∷ Rep (ShelleyDelplEvent era) x → ShelleyDelplEvent era # | |||||
| (Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ShelleyDelplEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods (==) ∷ ShelleyDelplEvent era → ShelleyDelplEvent era → Bool # (/=) ∷ ShelleyDelplEvent era → ShelleyDelplEvent era → Bool # | |||||
| type Rep (ShelleyDelplEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl type Rep (ShelleyDelplEvent era) = D1 ('MetaData "ShelleyDelplEvent" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era))))) | |||||
Constructors
| LedgerEnv | |
Fields | |
Instances
| EraPParams era ⇒ EncCBOR (LedgerEnv era) Source # | |||||
| NFData (PParams era) ⇒ NFData (LedgerEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||
| Generic (LedgerEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types
| |||||
| Show (PParams era) ⇒ Show (LedgerEnv era) Source # | |||||
| Eq (PParams era) ⇒ Eq (LedgerEnv era) Source # | |||||
| type Rep (LedgerEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger type Rep (LedgerEnv era) = D1 ('MetaData "LedgerEnv" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "LedgerEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgerSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgerEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EpochNo))) :*: (S1 ('MetaSel ('Just "ledgerIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIx) :*: (S1 ('MetaSel ('Just "ledgerPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgerAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState))))) | |||||
data ShelleyLedgerPredFailure era Source #
Constructors
| UtxowFailure (PredicateFailure (EraRule "UTXOW" era)) | |
| DelegsFailure (PredicateFailure (EraRule "DELEGS" era)) | |
| ShelleyWithdrawalsMissingAccounts Withdrawals | |
| ShelleyIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin)) |
Instances
| InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| (DecCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ DecCBOR (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||
| (EncCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ EncCBOR (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods encCBOR ∷ ShelleyLedgerPredFailure era → Encoding Source # | |||||
| (NFData (PredicateFailure (EraRule "DELEGS" era)), NFData (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ NFData (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods rnf ∷ ShelleyLedgerPredFailure era → () # | |||||
| Generic (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types
Methods from ∷ ShelleyLedgerPredFailure era → Rep (ShelleyLedgerPredFailure era) x # to ∷ Rep (ShelleyLedgerPredFailure era) x → ShelleyLedgerPredFailure era # | |||||
| (Show (PredicateFailure (EraRule "DELEGS" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ Show (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods showsPrec ∷ Int → ShelleyLedgerPredFailure era → ShowS # show ∷ ShelleyLedgerPredFailure era → String # showList ∷ [ShelleyLedgerPredFailure era] → ShowS # | |||||
| (Eq (PredicateFailure (EraRule "DELEGS" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ Eq (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods (==) ∷ ShelleyLedgerPredFailure era → ShelleyLedgerPredFailure era → Bool # (/=) ∷ ShelleyLedgerPredFailure era → ShelleyLedgerPredFailure era → Bool # | |||||
| type Rep (ShelleyLedgerPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger type Rep (ShelleyLedgerPredFailure era) = D1 ('MetaData "ShelleyLedgerPredFailure" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "DelegsFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEGS" era))))) :+: (C1 ('MetaCons "ShelleyWithdrawalsMissingAccounts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "ShelleyIncompleteWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin)))))) | |||||
ledgerPpL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → LedgerEnv era → f (LedgerEnv era) Source #
Instances
| (EraTx era, EraGov era, EraCertState era, Embed (EraRule "DELEGS" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ STS (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types
Methods initialRules ∷ [InitialRule (LEDGER era)] Source # transitionRules ∷ [TransitionRule (LEDGER era)] Source # assertions ∷ [Assertion (LEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (DELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (DELEGS era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (DELEGS era) → PredicateFailure (LEDGER era) Source # wrapEvent ∷ Event (DELEGS era) → Event (LEDGER era) Source # | |||||||||||||||||||||||||
| (Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (LEDGER era) (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (LEDGERS era) Source # wrapEvent ∷ Event (LEDGER era) → Event (LEDGERS era) Source # | |||||||||||||||||||||||||
| (STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (UTXOW era)) ⇒ Embed (UTXOW era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type Environment (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type Event (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type Signal (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type State (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
ledgerSlotNoL ∷ ∀ era f. Functor f ⇒ (SlotNo → f SlotNo) → LedgerEnv era → f (LedgerEnv era) Source #
ledgerEpochNoL ∷ ∀ era f. Functor f ⇒ (Maybe EpochNo → f (Maybe EpochNo)) → LedgerEnv era → f (LedgerEnv era) Source #
ledgerAccountL ∷ ∀ era f. Functor f ⇒ (ChainAccountState → f ChainAccountState) → LedgerEnv era → f (LedgerEnv era) Source #
data ShelleyLedgerEvent era Source #
Constructors
| UtxowEvent (Event (EraRule "UTXOW" era)) | |
| DelegsEvent (Event (EraRule "DELEGS" era)) |
Instances
| (NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "DELEGS" era))) ⇒ NFData (ShelleyLedgerEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods rnf ∷ ShelleyLedgerEvent era → () # | |||||
| Generic (ShelleyLedgerEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types
Methods from ∷ ShelleyLedgerEvent era → Rep (ShelleyLedgerEvent era) x # to ∷ Rep (ShelleyLedgerEvent era) x → ShelleyLedgerEvent era # | |||||
| (Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "DELEGS" era))) ⇒ Eq (ShelleyLedgerEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods (==) ∷ ShelleyLedgerEvent era → ShelleyLedgerEvent era → Bool # (/=) ∷ ShelleyLedgerEvent era → ShelleyLedgerEvent era → Bool # | |||||
| type Rep (ShelleyLedgerEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger type Rep (ShelleyLedgerEvent era) = D1 ('MetaData "ShelleyLedgerEvent" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "DelegsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEGS" era))))) | |||||
renderDepositEqualsObligationViolation ∷ (EraTx era, EraGov era, EraCertState era, Environment t ~ LedgerEnv era, Signal t ~ StAnnTx 'TopTx era, State t ~ LedgerState era) ⇒ AssertionViolation t → String Source #
shelleyLedgerAssertions ∷ (EraGov era, EraCertState era, State (rule era) ~ LedgerState era) ⇒ [Assertion (rule era)] Source #
testIncompleteAndMissingWithdrawals ∷ ∀ era sts (ctx ∷ RuleType). (EraAccounts era, STS sts, BaseM sts ~ ShelleyBase, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, sts ~ EraRule "LEDGER" era) ⇒ Accounts era → Withdrawals → Rule sts ctx () Source #
data ShelleyLedgersEnv era Source #
Constructors
| LedgersEnv | |
Fields | |
Instances
| EraPParams era ⇒ EncCBOR (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods encCBOR ∷ ShelleyLedgersEnv era → Encoding Source # | |||||
| NFData (PParamsHKD Identity era) ⇒ NFData (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods rnf ∷ ShelleyLedgersEnv era → () # | |||||
| Generic (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types
Methods from ∷ ShelleyLedgersEnv era → Rep (ShelleyLedgersEnv era) x # to ∷ Rep (ShelleyLedgersEnv era) x → ShelleyLedgersEnv era # | |||||
| Show (PParamsHKD Identity era) ⇒ Show (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods showsPrec ∷ Int → ShelleyLedgersEnv era → ShowS # show ∷ ShelleyLedgersEnv era → String # showList ∷ [ShelleyLedgersEnv era] → ShowS # | |||||
| Eq (PParamsHKD Identity era) ⇒ Eq (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods (==) ∷ ShelleyLedgersEnv era → ShelleyLedgersEnv era → Bool # (/=) ∷ ShelleyLedgersEnv era → ShelleyLedgersEnv era → Bool # | |||||
| type Rep (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Rep (ShelleyLedgersEnv era) = D1 ('MetaData "ShelleyLedgersEnv" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "LedgersEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgersSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgersEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ledgersPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgersAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState)))) | |||||
Instances
| (ApplyTx era, EraGov era, EraStake era, Default (CertState era), Embed (EraRule "LEDGER" era) (LEDGERS era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Signal (EraRule "LEDGER" era) ~ StAnnTx 'TopTx era, Default (LedgerState era)) ⇒ STS (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types
Methods initialRules ∷ [InitialRule (LEDGERS era)] Source # transitionRules ∷ [TransitionRule (LEDGERS era)] Source # assertions ∷ [Assertion (LEDGERS era)] Source # renderAssertionViolation ∷ AssertionViolation (LEDGERS era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (LEDGER era) (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (LEDGERS era) Source # wrapEvent ∷ Event (LEDGER era) → Event (LEDGERS era) Source # | |||||||||||||||||||||||||
| type BaseM (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type Environment (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type Event (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type PredicateFailure (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type Signal (LEDGERS era) Source # | |||||||||||||||||||||||||
| type State (LEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
newtype ShelleyLedgersPredFailure era Source #
Constructors
| LedgerFailure (PredicateFailure (EraRule "LEDGER" era)) |
Instances
| InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ DecCBOR (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ EncCBOR (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods encCBOR ∷ ShelleyLedgersPredFailure era → Encoding Source # | |||||
| NFData (PredicateFailure (EraRule "LEDGER" era)) ⇒ NFData (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods rnf ∷ ShelleyLedgersPredFailure era → () # | |||||
| Generic (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types
Methods from ∷ ShelleyLedgersPredFailure era → Rep (ShelleyLedgersPredFailure era) x # to ∷ Rep (ShelleyLedgersPredFailure era) x → ShelleyLedgersPredFailure era # | |||||
| (Era era, Show (PredicateFailure (EraRule "LEDGER" era))) ⇒ Show (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods showsPrec ∷ Int → ShelleyLedgersPredFailure era → ShowS # show ∷ ShelleyLedgersPredFailure era → String # showList ∷ [ShelleyLedgersPredFailure era] → ShowS # | |||||
| (Era era, Eq (PredicateFailure (EraRule "LEDGER" era))) ⇒ Eq (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods (==) ∷ ShelleyLedgersPredFailure era → ShelleyLedgersPredFailure era → Bool # (/=) ∷ ShelleyLedgersPredFailure era → ShelleyLedgersPredFailure era → Bool # | |||||
| type Rep (ShelleyLedgersPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Rep (ShelleyLedgersPredFailure era) = D1 ('MetaData "ShelleyLedgersPredFailure" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "LedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGER" era))))) | |||||
newtype ShelleyLedgersEvent era Source #
Constructors
| LedgerEvent (Event (EraRule "LEDGER" era)) |
Instances
| Generic (ShelleyLedgersEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types
Methods from ∷ ShelleyLedgersEvent era → Rep (ShelleyLedgersEvent era) x # to ∷ Rep (ShelleyLedgersEvent era) x → ShelleyLedgersEvent era # | |||||
| Eq (Event (EraRule "LEDGER" era)) ⇒ Eq (ShelleyLedgersEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods (==) ∷ ShelleyLedgersEvent era → ShelleyLedgersEvent era → Bool # (/=) ∷ ShelleyLedgersEvent era → ShelleyLedgersEvent era → Bool # | |||||
| type Rep (ShelleyLedgersEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Rep (ShelleyLedgersEvent era) = D1 ('MetaData "ShelleyLedgersEvent" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "LedgerEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "LEDGER" era))))) | |||||
Instances
| EraPParams era ⇒ EncCBOR (PoolEnv era) Source # | |||||
| NFData (PParams era) ⇒ NFData (PoolEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||
| Generic (PoolEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types
| |||||
| Show (PParams era) ⇒ Show (PoolEnv era) Source # | |||||
| Eq (PParams era) ⇒ Eq (PoolEnv era) Source # | |||||
| type Rep (PoolEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool type Rep (PoolEnv era) = D1 ('MetaData "PoolEnv" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)))) | |||||
Instances
| (EraPParams era, EraRule "POOL" era ~ POOL era, InjectRuleFailure "POOL" ShelleyPoolPredFailure era, InjectRuleEvent "POOL" PoolEvent era) ⇒ STS (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types
Methods initialRules ∷ [InitialRule (POOL era)] Source # transitionRules ∷ [TransitionRule (POOL era)] Source # assertions ∷ [Assertion (POOL era)] Source # renderAssertionViolation ∷ AssertionViolation (POOL era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (POOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (POOL era) (DELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (POOL era) → PredicateFailure (DELPL era) Source # | |||||||||||||||||||||||||
| type BaseM (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type Environment (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type Event (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type PredicateFailure (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type Signal (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type State (POOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
data ShelleyPoolPredFailure era Source #
Constructors
| StakePoolNotRegisteredOnKeyPOOL | |
| StakePoolRetirementWrongEpochPOOL (Mismatch 'RelGT EpochNo) (Mismatch 'RelLTEQ EpochNo) | |
| StakePoolCostTooLowPOOL (Mismatch 'RelGTEQ Coin) | |
| WrongNetworkPOOL | |
| PoolMedataHashTooBig | |
| VRFKeyHashAlreadyRegistered | |
Fields
| |
Instances
| InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source # | |||||
| InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source # | |||||
| Era era ⇒ DecCBOR (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||
| Era era ⇒ EncCBOR (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Methods encCBOR ∷ ShelleyPoolPredFailure era → Encoding Source # | |||||
| NFData (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Methods rnf ∷ ShelleyPoolPredFailure era → () # | |||||
| Generic (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types
Methods from ∷ ShelleyPoolPredFailure era → Rep (ShelleyPoolPredFailure era) x # to ∷ Rep (ShelleyPoolPredFailure era) x → ShelleyPoolPredFailure era # | |||||
| Show (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Methods showsPrec ∷ Int → ShelleyPoolPredFailure era → ShowS # show ∷ ShelleyPoolPredFailure era → String # showList ∷ [ShelleyPoolPredFailure era] → ShowS # | |||||
| Eq (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Methods (==) ∷ ShelleyPoolPredFailure era → ShelleyPoolPredFailure era → Bool # (/=) ∷ ShelleyPoolPredFailure era → ShelleyPoolPredFailure era → Bool # | |||||
| type Rep (ShelleyPoolPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool type Rep (ShelleyPoolPredFailure era) = D1 ('MetaData "ShelleyPoolPredFailure" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "StakePoolNotRegisteredOnKeyPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: (C1 ('MetaCons "StakePoolRetirementWrongEpochPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGT EpochNo)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ EpochNo))) :+: C1 ('MetaCons "StakePoolCostTooLowPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin))))) :+: (C1 ('MetaCons "WrongNetworkPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Network)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: (C1 ('MetaCons "PoolMedataHashTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "VRFKeyHashAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'StakePoolVRF)))))) | |||||
Constructors
| RegisterPool (KeyHash 'StakePool) | |
| ReregisterPool (KeyHash 'StakePool) |
Instances
| InjectRuleEvent "POOL" PoolEvent ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectEvent ∷ PoolEvent ShelleyEra → EraRuleEvent "POOL" ShelleyEra Source # | |||||
| NFData (PoolEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||
| Generic (PoolEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types
| |||||
| Eq (PoolEvent era) Source # | |||||
| type Rep (PoolEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool type Rep (PoolEvent era) = D1 ('MetaData "PoolEvent" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RegisterPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "ReregisterPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)))) | |||||
poolTransition ∷ ∀ (rule ∷ Symbol) era. (EraPParams era, Signal (EraRule rule era) ~ PoolCert, Environment (EraRule rule era) ~ PoolEnv era, State (EraRule rule era) ~ PState era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, InjectRuleFailure rule ShelleyPoolPredFailure era, InjectRuleEvent rule PoolEvent era) ⇒ TransitionRule (EraRule rule era) Source #
data ShelleyGovState era Source #
Constructors
| ShelleyGovState | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods toJSON ∷ ShelleyGovState era → Value Source # toEncoding ∷ ShelleyGovState era → Encoding Source # toJSONList ∷ [ShelleyGovState era] → Value Source # toEncodingList ∷ [ShelleyGovState era] → Encoding Source # omitField ∷ ShelleyGovState era → Bool Source # | |||||
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ FromCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance | |||||
| (Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ ToCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods toCBOR ∷ ShelleyGovState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGovState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGovState era] → Size Source # | |||||
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance | |||||
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecShareCBOR (ShelleyGovState era) Source # | |||||
| (Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ EncCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods encCBOR ∷ ShelleyGovState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyGovState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods def ∷ ShelleyGovState era Source # | |||||
| (NFData (PParamsUpdate era), NFData (PParams era)) ⇒ NFData (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods rnf ∷ ShelleyGovState era → () # | |||||
| Generic (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Associated Types
Methods from ∷ ShelleyGovState era → Rep (ShelleyGovState era) x # to ∷ Rep (ShelleyGovState era) x → ShelleyGovState era # | |||||
| (Show (PParamsUpdate era), Show (PParams era)) ⇒ Show (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods showsPrec ∷ Int → ShelleyGovState era → ShowS # show ∷ ShelleyGovState era → String # showList ∷ [ShelleyGovState era] → ShowS # | |||||
| (Eq (PParamsUpdate era), Eq (PParams era)) ⇒ Eq (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods (==) ∷ ShelleyGovState era → ShelleyGovState era → Bool # (/=) ∷ ShelleyGovState era → ShelleyGovState era → Bool # | |||||
| (NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance | |||||
| type Share (ShelleyGovState era) Source # | |||||
| type Rep (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era)))))) | |||||
Instances
| (EraPParams era, AtMostEra "Babbage" era) ⇒ STS (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types
Methods initialRules ∷ [InitialRule (PPUP era)] Source # transitionRules ∷ [TransitionRule (PPUP era)] Source # assertions ∷ [Assertion (PPUP era)] Source # renderAssertionViolation ∷ AssertionViolation (PPUP era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (PPUP era) (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (PPUP era) → PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
| type BaseM (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type Environment (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type Event (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type PredicateFailure (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type Signal (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type State (PPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
data ShelleyPpupPredFailure era Source #
Constructors
| NonGenesisUpdatePPUP (Mismatch 'RelSubset (Set (KeyHash 'GenesisRole))) | An update was proposed by a key hash that is not one of the genesis keys.
|
| PPUpdateWrongEpoch EpochNo EpochNo VotingPeriod | An update was proposed for the wrong epoch.
The first |
| PVCannotFollowPPUP ProtVer | An update was proposed which contains an invalid protocol version. New protocol versions must either increase the major number by exactly one and set the minor version to zero, or keep the major version the same and increase the minor version by exactly one. |
Instances
| InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source # | |||||
| InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source # | |||||
| InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source # | |||||
| Era era ⇒ DecCBOR (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
| Era era ⇒ EncCBOR (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods encCBOR ∷ ShelleyPpupPredFailure era → Encoding Source # | |||||
| NFData (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods rnf ∷ ShelleyPpupPredFailure era → () # | |||||
| Generic (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types
Methods from ∷ ShelleyPpupPredFailure era → Rep (ShelleyPpupPredFailure era) x # to ∷ Rep (ShelleyPpupPredFailure era) x → ShelleyPpupPredFailure era # | |||||
| Show (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods showsPrec ∷ Int → ShelleyPpupPredFailure era → ShowS # show ∷ ShelleyPpupPredFailure era → String # showList ∷ [ShelleyPpupPredFailure era] → ShowS # | |||||
| Eq (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods (==) ∷ ShelleyPpupPredFailure era → ShelleyPpupPredFailure era → Bool # (/=) ∷ ShelleyPpupPredFailure era → ShelleyPpupPredFailure era → Bool # | |||||
| type Rep (ShelleyPpupPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup type Rep (ShelleyPpupPredFailure era) = D1 ('MetaData "ShelleyPpupPredFailure" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "NonGenesisUpdatePPUP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelSubset (Set (KeyHash 'GenesisRole))))) :+: (C1 ('MetaCons "PPUpdateWrongEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VotingPeriod))) :+: C1 ('MetaCons "PVCannotFollowPPUP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))) | |||||
Arguments
| ∷ EraPParams era | |
| ⇒ ProposedPPUpdates era | |
| → PParams era | Protocol parameters to which the change will be applied. |
| → Word64 | Quorum needed to change the protocol parameters. |
| → Maybe (PParams era) |
If at least n nodes voted to change the same protocol parameters to
the same values, return the given protocol parameters updated to these
values. Here n is the quorum needed.
newtype PpupEvent era Source #
Constructors
| PpupNewEpoch EpochNo |
Instances
| NFData (PpupEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
| Generic (PpupEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types
| |||||
| Eq (PpupEvent era) Source # | |||||
| type Rep (PpupEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
data VotingPeriod Source #
Constructors
| VoteForThisEpoch | |
| VoteForNextEpoch |
Instances
| DecCBOR VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
| EncCBOR VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods | |||||
| NFData VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods rnf ∷ VotingPeriod → () # | |||||
| Generic VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types
| |||||
| Show VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods showsPrec ∷ Int → VotingPeriod → ShowS # show ∷ VotingPeriod → String # showList ∷ [VotingPeriod] → ShowS # | |||||
| Eq VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
| NoThunks VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
| type Rep VotingPeriod Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||
Instances
| (EraPParams era, EraCertState era, Typeable (CertState era)) ⇒ DecCBOR (UtxoEnv era) Source # | |||||
| (EraPParams era, EraCertState era) ⇒ EncCBOR (UtxoEnv era) Source # | |||||
| (Era era, NFData (PParams era), NFData (CertState era)) ⇒ NFData (UtxoEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||
| Generic (UtxoEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
| |||||
| (Show (PParams era), Show (CertState era)) ⇒ Show (UtxoEnv era) Source # | |||||
| (Eq (PParams era), Eq (CertState era)) ⇒ Eq (UtxoEnv era) Source # | |||||
| type Rep (UtxoEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo type Rep (UtxoEnv era) = D1 ('MetaData "UtxoEnv" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "UtxoEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era))))) | |||||
Instances
| (EraTx era, EraUTxO era, EraStake era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRule "PPUP" era) (UTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
Methods initialRules ∷ [InitialRule (UTXO era)] Source # transitionRules ∷ [TransitionRule (UTXO era)] Source # assertions ∷ [Assertion (UTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (PPUP era) (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (PPUP era) → PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
| (Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source # | |||||||||||||||||||||||||
| type BaseM (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type Environment (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type Event (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type PredicateFailure (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type Signal (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type State (UTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
data ShelleyUtxoPredFailure era Source #
Constructors
| BadInputsUTxO (NonEmptySet TxIn) | |
| ExpiredUTxO (Mismatch 'RelLTEQ SlotNo) | |
| MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32) | |
| InputSetEmptyUTxO | |
| FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin) | |
| ValueNotConservedUTxO (Mismatch 'RelEQ (Value era)) | |
| WrongNetwork Network (NonEmptySet Addr) | |
| WrongNetworkWithdrawal Network (NonEmptySet AccountAddress) | |
| OutputTooSmallUTxO (NonEmpty (TxOut era)) | |
| UpdateFailure (EraRuleFailure "PPUP" era) | |
| OutputBootAddrAttrsTooBig (NonEmpty (TxOut era)) |
Instances
| InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source # | |||||
| InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source # | |||||
| (EraTxOut era, DecCBOR (EraRuleFailure "PPUP" era)) ⇒ DecCBOR (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||
| (Era era, EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (EraRuleFailure "PPUP" era)) ⇒ EncCBOR (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods encCBOR ∷ ShelleyUtxoPredFailure era → Encoding Source # | |||||
| (Era era, NFData (Value era), NFData (TxOut era), NFData (EraRuleFailure "PPUP" era)) ⇒ NFData (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods rnf ∷ ShelleyUtxoPredFailure era → () # | |||||
| Generic (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
Methods from ∷ ShelleyUtxoPredFailure era → Rep (ShelleyUtxoPredFailure era) x # to ∷ Rep (ShelleyUtxoPredFailure era) x → ShelleyUtxoPredFailure era # | |||||
| (Show (Value era), Show (TxOut era), Show (EraRuleFailure "PPUP" era)) ⇒ Show (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods showsPrec ∷ Int → ShelleyUtxoPredFailure era → ShowS # show ∷ ShelleyUtxoPredFailure era → String # showList ∷ [ShelleyUtxoPredFailure era] → ShowS # | |||||
| (Eq (Value era), Eq (TxOut era), Eq (EraRuleFailure "PPUP" era)) ⇒ Eq (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods (==) ∷ ShelleyUtxoPredFailure era → ShelleyUtxoPredFailure era → Bool # (/=) ∷ ShelleyUtxoPredFailure era → ShelleyUtxoPredFailure era → Bool # | |||||
| type Rep (ShelleyUtxoPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo type Rep (ShelleyUtxoPredFailure era) = D1 ('MetaData "ShelleyUtxoPredFailure" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: C1 ('MetaCons "ExpiredUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ SlotNo)))) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Word32))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin)))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: (C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr))) :+: C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: (C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era))) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))))) | |||||
Constructors
| TotalDeposits (SafeHash EraIndependentTxBody) Coin | |
| UpdateEvent (Event (EraRule "PPUP" era)) | |
| TxUTxODiff | The UTxOs consumed and created by a signal tx |
Instances
| (Era era, NFData (Event (EraRule "PPUP" era)), NFData (TxOut era)) ⇒ NFData (UtxoEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||
| Generic (UtxoEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
| |||||
| (Era era, Eq (TxOut era), Eq (Event (EraRule "PPUP" era))) ⇒ Eq (UtxoEvent era) Source # | |||||
| type Rep (UtxoEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo type Rep (UtxoEvent era) = D1 ('MetaData "UtxoEvent" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "UpdateEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "PPUP" 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))))) | |||||
validSizeComputationCheck ∷ (EraTx era, SafeToHash (TxWits era), Signal (rule era) ~ StAnnTx 'TopTx era) ⇒ Assertion (rule era) Source #
updateUTxOState ∷ (EraTxBody era, EraStake era, EraCertState era, Monad m) ⇒ PParams era → UTxOState era → TxBody 'TopTx era → CertState era → GovState era → (Coin → m ()) → (UTxO era → UTxO era → m ()) → m (UTxOState era) Source #
This monadic action captures the final stages of the UTXO(S) rule. In particular it
applies all of the UTxO related aditions and removals, gathers all of the fees into the
fee pot utxosFees and updates the utxosDeposited field. Continuation supplied will
be called on the deposit - refund change, which is normally used to emit the
TotalDeposits event.
updateUTxOStateNoFees ∷ ∀ era m (l ∷ TxLevel). (EraTxBody era, EraStake era, EraCertState era, Monad m) ⇒ PParams era → UTxOState era → TxBody l era → CertState era → GovState era → (Coin → m ()) → (UTxO era → UTxO era → m ()) → m (UTxOState era) Source #
Like updateUTxOState, but does not collect fees. This is used for sub-transactions
where fees are not applicable.
validateInputSetEmptyUTxO ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ TxBody t era → Test (ShelleyUtxoPredFailure era) Source #
Ensure that there is at least one input in the TxBody
txins txb ≠ ∅
validateFeeTooSmallUTxO ∷ EraUTxO era ⇒ PParams era → Tx 'TopTx era → UTxO era → Test (ShelleyUtxoPredFailure era) Source #
Ensure that the fee is at least the amount specified by the minfee
minfee pp tx ≤ txfee txb
validateBadInputsUTxO ∷ UTxO era → Set TxIn → Test (ShelleyUtxoPredFailure era) Source #
Ensure all transaction inputs are present in UTxO
inputs ⊆ dom utxo
validateWrongNetwork ∷ (EraTxOut era, Foldable f) ⇒ Network → f (TxOut era) → Test (ShelleyUtxoPredFailure era) Source #
Make sure all addresses match the supplied NetworkId
∀(_ → (a, _)) ∈ txouts txb, netId a = NetworkId
validateWrongNetworkWithdrawal ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ Network → TxBody t era → Test (ShelleyUtxoPredFailure era) Source #
Make sure all addresses match the supplied NetworkId
∀(a → ) ∈ txwdrls txb, netId a = NetworkId
validateOutputBootAddrAttrsTooBig ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Test (ShelleyUtxoPredFailure era) Source #
Bootstrap (i.e. Byron) addresses have variable sized attributes in them. It is important to limit their overall size.
∀ ( _ ↦ (a,_)) ∈ txoutstxb, a ∈ Addrbootstrap → bootstrapAttrsSize a ≤ 64
validateMaxTxSizeUTxO ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ PParams era → Tx l era → Test (ShelleyUtxoPredFailure era) Source #
Ensure that the size of the transaction does not exceed the maxTxSize protocol parameter
txsize tx ≤ maxTxSize pp
validateValueNotConservedUTxO ∷ (EraUTxO era, EraCertState era) ⇒ PParams era → UTxO era → CertState era → TxBody 'TopTx era → Test (ShelleyUtxoPredFailure era) Source #
Ensure that value consumed and produced matches up exactly
consumed pp utxo txb = produced pp poolParams txb
utxoEnvPParamsL ∷ ∀ era f. Functor f ⇒ (PParams era → f (PParams era)) → UtxoEnv era → f (UtxoEnv era) Source #
utxoEnvCertStateL ∷ ∀ era f. Functor f ⇒ (CertState era → f (CertState era)) → UtxoEnv era → f (UtxoEnv era) Source #
Instances
| (EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, EraGov era, EraCertState era) ⇒ STS (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Associated Types
Methods initialRules ∷ [InitialRule (UTXOW era)] Source # transitionRules ∷ [TransitionRule (UTXOW era)] Source # assertions ∷ [Assertion (UTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source # | |||||||||||||||||||||||||
| (STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (UTXOW era)) ⇒ Embed (UTXOW era) (LEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type Environment (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type Event (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type PredicateFailure (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type Signal (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type State (UTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
data ShelleyUtxowPredFailure era Source #
Constructors
| InvalidWitnessesUTXOW (NonEmpty (VKey 'Witness)) | |
| MissingVKeyWitnessesUTXOW (NonEmptySet (KeyHash 'Witness)) | |
| MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash) | |
| ScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash) | |
| UtxoFailure (PredicateFailure (EraRule "UTXO" era)) | |
| MIRInsufficientGenesisSigsUTXOW (Set (KeyHash 'Witness)) | |
| MissingTxBodyMetadataHash TxAuxDataHash | |
| MissingTxMetadata TxAuxDataHash | |
| ConflictingMetadataHash (Mismatch 'RelEQ TxAuxDataHash) | |
| InvalidMetadata | |
| ExtraneousScriptWitnessesUTXOW (NonEmptySet ScriptHash) |
Instances
| InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source # | |||||
| InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source # | |||||
| InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source # | |||||
| (Era era, DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) ⇒ DecCBOR (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||
| (Era era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods encCBOR ∷ ShelleyUtxowPredFailure era → Encoding Source # | |||||
| (NFData (PredicateFailure (EraRule "UTXO" era)), Era era) ⇒ NFData (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods rnf ∷ ShelleyUtxowPredFailure era → () # | |||||
| Generic (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Associated Types
Methods from ∷ ShelleyUtxowPredFailure era → Rep (ShelleyUtxowPredFailure era) x # to ∷ Rep (ShelleyUtxowPredFailure era) x → ShelleyUtxowPredFailure era # | |||||
| (Show (PredicateFailure (EraRule "UTXO" era)), Era era) ⇒ Show (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods showsPrec ∷ Int → ShelleyUtxowPredFailure era → ShowS # show ∷ ShelleyUtxowPredFailure era → String # showList ∷ [ShelleyUtxowPredFailure era] → ShowS # | |||||
| (Eq (PredicateFailure (EraRule "UTXO" era)), Era era) ⇒ Eq (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods (==) ∷ ShelleyUtxowPredFailure era → ShelleyUtxowPredFailure era → Bool # (/=) ∷ ShelleyUtxowPredFailure era → ShelleyUtxowPredFailure era → Bool # | |||||
| type Rep (ShelleyUtxowPredFailure era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow type Rep (ShelleyUtxowPredFailure era) = D1 ('MetaData "ShelleyUtxowPredFailure" "Cardano.Ledger.Shelley.Rules.Utxow" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (((C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (VKey 'Witness)))) :+: C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (KeyHash 'Witness))))) :+: (C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: (C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era))))))) :+: ((C1 ('MetaCons "MIRInsufficientGenesisSigsUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness)))) :+: (C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash)) :+: C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash)))) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ TxAuxDataHash))) :+: (C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))))))) | |||||
newtype ShelleyUtxowEvent era Source #
Instances
| NFData (Event (EraRule "UTXO" era)) ⇒ NFData (ShelleyUtxowEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods rnf ∷ ShelleyUtxowEvent era → () # | |||||
| Generic (ShelleyUtxowEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Associated Types
Methods from ∷ ShelleyUtxowEvent era → Rep (ShelleyUtxowEvent era) x # to ∷ Rep (ShelleyUtxowEvent era) x → ShelleyUtxowEvent era # | |||||
| Eq (Event (EraRule "UTXO" era)) ⇒ Eq (ShelleyUtxowEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods (==) ∷ ShelleyUtxowEvent era → ShelleyUtxowEvent era → Bool # (/=) ∷ ShelleyUtxowEvent era → ShelleyUtxowEvent era → Bool # | |||||
| type Rep (ShelleyUtxowEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow type Rep (ShelleyUtxowEvent era) = D1 ('MetaData "ShelleyUtxowEvent" "Cardano.Ledger.Shelley.Rules.Utxow" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "UtxoEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXO" era))))) | |||||
transitionRulesUTXOW ∷ (EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, STS (EraRule "UTXOW" era), EraCertState era) ⇒ TransitionRule (EraRule "UTXOW" era) Source #
A generic Utxow witnessing function designed to be used across many Eras.
Note the embed argument lifts from the simple Shelley (ShelleyUtxowPredFailure) to
the PredicateFailure (type family) of the context of where it is called.
validateFailedNativeScripts ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ ScriptsProvided era → Tx l era → Test (ShelleyUtxowPredFailure era) Source #
validateMissingScripts ∷ ShelleyScriptsNeeded era → ScriptsProvided era → Test (ShelleyUtxowPredFailure era) Source #
validateVerifiedWits ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ Tx l era → Test (ShelleyUtxowPredFailure era) Source #
Determine if the UTxO witnesses in a given transaction are correct.
validateMetadata ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ PParams era → Tx l era → Test (ShelleyUtxowPredFailure era) Source #
check metadata hash ((adh = ◇) ∧ (ad= ◇)) ∨ (adh = hashAD ad)
validateMIRInsufficientGenesisSigs ∷ (EraTx era, ShelleyEraTxBody era) ⇒ GenDelegs → Word64 → Set (KeyHash 'Witness) → Tx 'TopTx era → Test (ShelleyUtxowPredFailure era) Source #
check genesis keys signatures for instantaneous rewards certificates
genSig := { hashKey gkey | gkey ∈ dom(genDelegs)} ∩ witsKeyHashes { c ∈ txcerts txb ∩ TxCert_mir} ≠ ∅ ⇒ |genSig| ≥ Quorum
validateNeededWitnesses Source #
Arguments
| ∷ ∀ era (t ∷ TxLevel). EraUTxO era | |
| ⇒ Set (KeyHash 'Witness) | Provided witness |
| → CertState era | |
| → UTxO era | |
| → TxBody t era | |
| → Test (ShelleyUtxowPredFailure era) |
Verify that we provide at least all of the required witnesses
witsVKeyNeeded utxo tx ⊆ witsKeyHashes
Tick
Instances
| (EraTxOut era, EraGov era, EraStake era, EraCertState era, GovState era ~ ShelleyGovState era, Embed (EraRule "SNAP" era) (EPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots, Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (EPOCH era), Environment (EraRule "POOLREAP" era) ~ (), State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "UPEC" era) (EPOCH era), Environment (EraRule "UPEC" era) ~ LedgerState era, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Default (PParams era)) ⇒ STS (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Associated Types
Methods initialRules ∷ [InitialRule (EPOCH era)] Source # transitionRules ∷ [TransitionRule (EPOCH era)] Source # assertions ∷ [Assertion (EPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (EPOCH era) → String Source # | |||||||||||||||||||||||||
| (STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (EPOCH era) (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (EPOCH era) → PredicateFailure (NEWEPOCH era) Source # wrapEvent ∷ Event (EPOCH era) → Event (NEWEPOCH era) Source # | |||||||||||||||||||||||||
| (Era era, STS (POOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (POOLREAP era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (POOLREAP era) → PredicateFailure (EPOCH era) Source # wrapEvent ∷ Event (POOLREAP era) → Event (EPOCH era) Source # | |||||||||||||||||||||||||
| (EraTxOut era, EraStake era, Event (EraRule "SNAP" era) ~ SnapEvent era, EraCertState era) ⇒ Embed (SNAP era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (SNAP era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| (Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (UPEC era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (UPEC era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |||||||||||||||||||||||||
| type Environment (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |||||||||||||||||||||||||
| type Event (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |||||||||||||||||||||||||
| type PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |||||||||||||||||||||||||
| type Signal (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |||||||||||||||||||||||||
| type State (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |||||||||||||||||||||||||
data ShelleyEpochEvent era Source #
Constructors
| PoolReapEvent (Event (EraRule "POOLREAP" era)) | |
| SnapEvent (Event (EraRule "SNAP" era)) | |
| UpecEvent (Event (EraRule "UPEC" era)) |
Instances
| (NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "UPEC" era))) ⇒ NFData (ShelleyEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods rnf ∷ ShelleyEpochEvent era → () # | |||||
| Generic (ShelleyEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Associated Types
Methods from ∷ ShelleyEpochEvent era → Rep (ShelleyEpochEvent era) x # to ∷ Rep (ShelleyEpochEvent era) x → ShelleyEpochEvent era # | |||||
| (Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "UPEC" era))) ⇒ Eq (ShelleyEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods (==) ∷ ShelleyEpochEvent era → ShelleyEpochEvent era → Bool # (/=) ∷ ShelleyEpochEvent era → ShelleyEpochEvent era → Bool # | |||||
| type Rep (ShelleyEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch type Rep (ShelleyEpochEvent era) = D1 ('MetaData "ShelleyEpochEvent" "Cardano.Ledger.Shelley.Rules.Epoch" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolReapEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOLREAP" era)))) :+: (C1 ('MetaCons "SnapEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SNAP" era)))) :+: C1 ('MetaCons "UpecEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UPEC" era)))))) | |||||
Instances
| (EraTxOut era, EraGov era, EraStake era, EraCertState era, Embed (EraRule "MIR" era) (NEWEPOCH era), Embed (EraRule "EPOCH" era) (NEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" era) ~ (), Event (EraRule "RUPD" era) ~ RupdEvent, Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (State (EraRule "PPUP" era)), Default (PParams era), Default (StashedAVVMAddresses era)) ⇒ STS (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types
Methods initialRules ∷ [InitialRule (NEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (NEWEPOCH era)] Source # assertions ∷ [Assertion (NEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (NEWEPOCH era) → String Source # | |||||||||||||||||||||||||
| (STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (EPOCH era) (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (EPOCH era) → PredicateFailure (NEWEPOCH era) Source # wrapEvent ∷ Event (EPOCH era) → Event (NEWEPOCH era) Source # | |||||||||||||||||||||||||
| (EraGov era, EraCertState era, Default (EpochState era), Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (MIR era) (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (MIR era) → PredicateFailure (NEWEPOCH era) Source # | |||||||||||||||||||||||||
| (STS (NEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (NEWEPOCH era) (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (NEWEPOCH era) → PredicateFailure (TICK era) Source # wrapEvent ∷ Event (NEWEPOCH era) → Event (TICK era) Source # | |||||||||||||||||||||||||
| type BaseM (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type Environment (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type Event (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type PredicateFailure (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type Signal (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type State (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
data ShelleyNewEpochEvent era Source #
Constructors
| DeltaRewardEvent (Event (EraRule "RUPD" era)) | |
| RestrainedRewards EpochNo (Map (Credential 'Staking) (Set Reward)) (Set (Credential 'Staking)) | |
| TotalRewardEvent EpochNo (Map (Credential 'Staking) (Set Reward)) | |
| EpochEvent (Event (EraRule "EPOCH" era)) | |
| MirEvent (Event (EraRule "MIR" era)) | |
| TotalAdaPotsEvent AdaPots |
Instances
| (NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "MIR" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ShelleyNewEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods rnf ∷ ShelleyNewEpochEvent era → () # | |||||
| Generic (ShelleyNewEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types
Methods from ∷ ShelleyNewEpochEvent era → Rep (ShelleyNewEpochEvent era) x # to ∷ Rep (ShelleyNewEpochEvent era) x → ShelleyNewEpochEvent era # | |||||
| (Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "MIR" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ShelleyNewEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods (==) ∷ ShelleyNewEpochEvent era → ShelleyNewEpochEvent era → Bool # (/=) ∷ ShelleyNewEpochEvent era → ShelleyNewEpochEvent era → Bool # | |||||
| type Rep (ShelleyNewEpochEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Rep (ShelleyNewEpochEvent era) = D1 ('MetaData "ShelleyNewEpochEvent" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" era)))) :+: (C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (Set Reward))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'Staking))))) :+: C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (Set Reward)))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "EPOCH" era)))) :+: (C1 ('MetaCons "MirEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MIR" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdaPots))))) | |||||
updateRewards ∷ (EraGov era, EraCertState era) ⇒ EpochState era → EpochNo → RewardUpdate → Rule (NEWEPOCH era) 'Transition (EpochState era) Source #
Instances
| (Era era, EraGov era, EraCertState era) ⇒ STS (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd Associated Types
Methods initialRules ∷ [InitialRule (RUPD era)] Source # transitionRules ∷ [TransitionRule (RUPD era)] Source # assertions ∷ [Assertion (RUPD era)] Source # renderAssertionViolation ∷ AssertionViolation (RUPD era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (RUPD era), Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ Embed (RUPD era) (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (RUPD era) → PredicateFailure (TICK era) Source # | |||||||||||||||||||||||||
| type BaseM (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||||||||||||||||||||||
| type Environment (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||||||||||||||||||||||
| type Event (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||||||||||||||||||||||
| type PredicateFailure (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||||||||||||||||||||||
| type Signal (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||||||||||||||||||||||
| type State (RUPD era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||||||||||||||||||||||
Instances
| NFData RupdEvent Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |||||
| Generic RupdEvent Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd Associated Types
| |||||
| Eq RupdEvent Source # | |||||
| type Rep RupdEvent Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Rupd type Rep RupdEvent = D1 ('MetaData "RupdEvent" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RupdEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (Set Reward))))) | |||||
Constructors
| RupdEnv BlocksMade (EpochState era) |
Instances
| (EraTxOut era, EraStake era, EraCertState era) ⇒ STS (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap Associated Types
Methods initialRules ∷ [InitialRule (SNAP era)] Source # transitionRules ∷ [TransitionRule (SNAP era)] Source # assertions ∷ [Assertion (SNAP era)] Source # renderAssertionViolation ∷ AssertionViolation (SNAP era) → String Source # | |||||||||||||||||||||||||
| (EraTxOut era, EraStake era, Event (EraRule "SNAP" era) ~ SnapEvent era, EraCertState era) ⇒ Embed (SNAP era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (SNAP era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||||||||||||||||||||||
| type Environment (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||||||||||||||||||||||
| type Event (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||||||||||||||||||||||
| type PredicateFailure (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||||||||||||||||||||||
| type Signal (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||||||||||||||||||||||
| type State (SNAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||||||||||||||||||||||
newtype SnapEvent era Source #
Constructors
| StakeDistEvent (Map (Credential 'Staking) (Coin, KeyHash 'StakePool)) |
Instances
| NFData (SnapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Snap | |||||
| Generic (SnapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Snap Associated Types
| |||||
| Eq (SnapEvent era) Source # | |||||
| type Rep (SnapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Snap type Rep (SnapEvent era) = D1 ('MetaData "SnapEvent" "Cardano.Ledger.Shelley.Rules.Snap" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "StakeDistEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (Coin, KeyHash 'StakePool))))) | |||||
Type of the state which the system transitions between.
Instances
| type State (BBODY era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody | |
| type State (DELEG era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |
| type State (DELEGS era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |
| type State (DELPL era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |
| type State (EPOCH era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |
| type State (LEDGER era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |
| type State (LEDGERS era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |
| type State (MIR era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Mir | |
| type State (NEWEPOCH era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |
| type State (NEWPP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |
| type State (POOL era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Pool | |
| type State (POOLREAP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |
| type State (PPUP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| type State (RUPD era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |
| type State (SNAP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
| type State (TICK era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type State (TICKF era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type State (UPEC era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Upec | |
| type State (UTXO era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |
| type State (UTXOW era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |
| type State (STUB e st si f m) | |
Defined in Control.State.Transition.Extended | |
Type of the state which the system transitions between.
Instances
| type State (BBODY era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody | |
| type State (DELEG era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |
| type State (DELEGS era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |
| type State (DELPL era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |
| type State (EPOCH era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Epoch | |
| type State (LEDGER era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |
| type State (LEDGERS era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |
| type State (MIR era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Mir | |
| type State (NEWEPOCH era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |
| type State (NEWPP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |
| type State (POOL era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Pool | |
| type State (POOLREAP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |
| type State (PPUP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| type State (RUPD era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Rupd | |
| type State (SNAP era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
| type State (TICK era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type State (TICKF era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Tick | |
| type State (UPEC era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Upec | |
| type State (UTXO era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |
| type State (UTXOW era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |
| type State (STUB e st si f m) | |
Defined in Control.State.Transition.Extended | |
Instances
| (EraGov era, EraCertState era, Embed (EraRule "NEWEPOCH" era) (TICK era), Embed (EraRule "RUPD" era) (TICK era), State (TICK era) ~ NewEpochState era, BaseM (TICK era) ~ ShelleyBase, Environment (EraRule "RUPD" era) ~ RupdEnv era, State (EraRule "RUPD" era) ~ StrictMaybe PulsingRewUpdate, Signal (EraRule "RUPD" era) ~ SlotNo, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ STS (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types
Methods initialRules ∷ [InitialRule (TICK era)] Source # transitionRules ∷ [TransitionRule (TICK era)] Source # assertions ∷ [Assertion (TICK era)] Source # renderAssertionViolation ∷ AssertionViolation (TICK era) → String Source # | |||||||||||||||||||||||||
| (STS (NEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (NEWEPOCH era) (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (NEWEPOCH era) → PredicateFailure (TICK era) Source # wrapEvent ∷ Event (NEWEPOCH era) → Event (TICK era) Source # | |||||||||||||||||||||||||
| (Era era, STS (RUPD era), Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ Embed (RUPD era) (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (RUPD era) → PredicateFailure (TICK era) Source # | |||||||||||||||||||||||||
| type BaseM (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Environment (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Event (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type PredicateFailure (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Signal (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type State (TICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
Instances
| (EraGov era, EraCertState era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "UPEC" era) ~ (), State (EraRule "UPEC" era) ~ UpecState era, Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (TICKF era)) ⇒ STS (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types
Methods initialRules ∷ [InitialRule (TICKF era)] Source # transitionRules ∷ [TransitionRule (TICKF era)] Source # assertions ∷ [Assertion (TICKF era)] Source # renderAssertionViolation ∷ AssertionViolation (TICKF era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (UPEC era) (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (UPEC era) → PredicateFailure (TICKF era) Source # | |||||||||||||||||||||||||
| type BaseM (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Environment (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Event (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type PredicateFailure (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Signal (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type State (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
data ShelleyTickEvent era Source #
Constructors
| TickNewEpochEvent (Event (EraRule "NEWEPOCH" era)) | |
| TickRupdEvent (Event (EraRule "RUPD" era)) |
Instances
| (NFData (Event (EraRule "NEWEPOCH" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ShelleyTickEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods rnf ∷ ShelleyTickEvent era → () # | |||||
| Generic (ShelleyTickEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types
Methods from ∷ ShelleyTickEvent era → Rep (ShelleyTickEvent era) x # to ∷ Rep (ShelleyTickEvent era) x → ShelleyTickEvent era # | |||||
| (Eq (Event (EraRule "NEWEPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ShelleyTickEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods (==) ∷ ShelleyTickEvent era → ShelleyTickEvent era → Bool # (/=) ∷ ShelleyTickEvent era → ShelleyTickEvent era → Bool # | |||||
| type Rep (ShelleyTickEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Tick type Rep (ShelleyTickEvent era) = D1 ('MetaData "ShelleyTickEvent" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "TickNewEpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "NEWEPOCH" era)))) :+: C1 ('MetaCons "TickRupdEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" era))))) | |||||
adoptGenesisDelegs ∷ EraCertState era ⇒ EpochState era → SlotNo → EpochState era Source #
validatingTickTransition ∷ ∀ tick era. (EraGov era, EraCertState era, Embed (EraRule "NEWEPOCH" era) (tick era), STS (tick era), State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ NewEpochState era → SlotNo → TransitionRule (tick era) Source #
This is a limited version of bheadTransition which is suitable for the
future ledger view.
validatingTickTransitionFORECAST ∷ (State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (tick era), STS (tick era), GovState era ~ ShelleyGovState era, EraGov era, EraCertState era) ⇒ NewEpochState era → SlotNo → TransitionRule (tick era) Source #
This is a limited version of validatingTickTransition which is only suitable
for the future ledger view.
solidifyNextEpochPParams ∷ EraGov era ⇒ NewEpochState era → SlotNo → ShelleyBase (EpochNo, NewEpochState era) Source #
This action ensures that once the current slot number is at the point of no return we mark the future PParams to be updated at the next epoch boundary. Also returns the current epoch number for convenience.
Instances
| (EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, AtMostEra "Babbage" era) ⇒ STS (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec Associated Types
Methods initialRules ∷ [InitialRule (UPEC era)] Source # transitionRules ∷ [TransitionRule (UPEC era)] Source # assertions ∷ [Assertion (UPEC era)] Source # renderAssertionViolation ∷ AssertionViolation (UPEC era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (NEWPP era)) ⇒ Embed (NEWPP era) (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed ∷ PredicateFailure (NEWPP era) → PredicateFailure (UPEC era) Source # | |||||||||||||||||||||||||
| (Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (UPEC era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (UPEC era) → PredicateFailure (EPOCH era) Source # | |||||||||||||||||||||||||
| (Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (UPEC era) (TICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (UPEC era) → PredicateFailure (TICKF era) Source # | |||||||||||||||||||||||||
| type BaseM (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec | |||||||||||||||||||||||||
| type Environment (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec | |||||||||||||||||||||||||
| type Event (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec | |||||||||||||||||||||||||
| type PredicateFailure (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec | |||||||||||||||||||||||||
| type Signal (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec | |||||||||||||||||||||||||
| type State (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec | |||||||||||||||||||||||||
Constructors
| UpecState | |
Fields
| |
Instances
| (Default (EpochState era), EraGov era, EraCertState era) ⇒ STS (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir Associated Types
Methods initialRules ∷ [InitialRule (MIR era)] Source # transitionRules ∷ [TransitionRule (MIR era)] Source # assertions ∷ [Assertion (MIR era)] Source # renderAssertionViolation ∷ AssertionViolation (MIR era) → String Source # | |||||||||||||||||||||||||
| (EraGov era, EraCertState era, Default (EpochState era), Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (MIR era) (NEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (MIR era) → PredicateFailure (NEWEPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir | |||||||||||||||||||||||||
| type Environment (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir | |||||||||||||||||||||||||
| type Event (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir | |||||||||||||||||||||||||
| type PredicateFailure (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir | |||||||||||||||||||||||||
| type Signal (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir | |||||||||||||||||||||||||
| type State (MIR era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Mir | |||||||||||||||||||||||||
data ShelleyMirEvent era Source #
Constructors
| MirTransfer InstantaneousRewards | |
| NoMirTransfer InstantaneousRewards Coin Coin | We were not able to perform an MIR transfer due to insufficient funds. This event gives the rewards we wanted to pay, plus the available reserves and treasury. |
Instances
| NFData (ShelleyMirEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Mir Methods rnf ∷ ShelleyMirEvent era → () # | |||||
| Generic (ShelleyMirEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Mir Associated Types
Methods from ∷ ShelleyMirEvent era → Rep (ShelleyMirEvent era) x # to ∷ Rep (ShelleyMirEvent era) x → ShelleyMirEvent era # | |||||
| Eq (ShelleyMirEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Mir Methods (==) ∷ ShelleyMirEvent era → ShelleyMirEvent era → Bool # (/=) ∷ ShelleyMirEvent era → ShelleyMirEvent era → Bool # | |||||
| type Rep (ShelleyMirEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Mir type Rep (ShelleyMirEvent era) = D1 ('MetaData "ShelleyMirEvent" "Cardano.Ledger.Shelley.Rules.Mir" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "MirTransfer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstantaneousRewards)) :+: C1 ('MetaCons "NoMirTransfer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstantaneousRewards) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) | |||||
Instances
| (EraGov era, GovState era ~ ShelleyGovState era, AtMostEra "Babbage" era) ⇒ STS (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp Associated Types
Methods initialRules ∷ [InitialRule (NEWPP era)] Source # transitionRules ∷ [TransitionRule (NEWPP era)] Source # assertions ∷ [Assertion (NEWPP era)] Source # renderAssertionViolation ∷ AssertionViolation (NEWPP era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (NEWPP era)) ⇒ Embed (NEWPP era) (UPEC era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed ∷ PredicateFailure (NEWPP era) → PredicateFailure (UPEC era) Source # | |||||||||||||||||||||||||
| type BaseM (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |||||||||||||||||||||||||
| type Environment (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |||||||||||||||||||||||||
| type Event (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |||||||||||||||||||||||||
| type PredicateFailure (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |||||||||||||||||||||||||
| type Signal (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |||||||||||||||||||||||||
| type State (NEWPP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Newpp | |||||||||||||||||||||||||
data ShelleyNewppState era Source #
Constructors
| NewppState (PParams era) (ShelleyGovState era) |
Instances
| EraPParams era ⇒ Default (ShelleyNewppState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Newpp Methods def ∷ ShelleyNewppState era Source # | |
Constructors
| NewppEnv | |
Fields
| |
data ShelleyPoolreapEvent era Source #
Constructors
| RetiredPools | |
Fields
| |
Instances
| NFData (ShelleyPoolreapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods rnf ∷ ShelleyPoolreapEvent era → () # | |||||
| Generic (ShelleyPoolreapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Associated Types
Methods from ∷ ShelleyPoolreapEvent era → Rep (ShelleyPoolreapEvent era) x # to ∷ Rep (ShelleyPoolreapEvent era) x → ShelleyPoolreapEvent era # | |||||
| Eq (ShelleyPoolreapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods (==) ∷ ShelleyPoolreapEvent era → ShelleyPoolreapEvent era → Bool # (/=) ∷ ShelleyPoolreapEvent era → ShelleyPoolreapEvent era → Bool # | |||||
| type Rep (ShelleyPoolreapEvent era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Rep (ShelleyPoolreapEvent era) = D1 ('MetaData "ShelleyPoolreapEvent" "Cardano.Ledger.Shelley.Rules.PoolReap" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RetiredPools" 'PrefixI 'True) (S1 ('MetaSel ('Just "refundPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (Map (KeyHash 'StakePool) (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "unclaimedPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (Map (KeyHash 'StakePool) (CompactForm Coin)))) :*: S1 ('MetaSel ('Just "epochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))) | |||||
Instances
| (Default (ShelleyPoolreapState era), EraPParams era, EraGov era, EraCertState era) ⇒ STS (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Associated Types
Methods initialRules ∷ [InitialRule (POOLREAP era)] Source # transitionRules ∷ [TransitionRule (POOLREAP era)] Source # assertions ∷ [Assertion (POOLREAP era)] Source # renderAssertionViolation ∷ AssertionViolation (POOLREAP era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (POOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (POOLREAP era) (EPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (POOLREAP era) → PredicateFailure (EPOCH era) Source # wrapEvent ∷ Event (POOLREAP era) → Event (EPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type Environment (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type Event (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type PredicateFailure (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type Signal (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type State (POOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
data ShelleyPoolreapState era Source #
Constructors
| PoolreapState | |
Fields
| |
Instances
| (Default (UTxOState era), Default (CertState era)) ⇒ Default (ShelleyPoolreapState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods def ∷ ShelleyPoolreapState era Source # | |
| (Show (UTxOState era), Show (CertState era)) ⇒ Show (ShelleyPoolreapState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods showsPrec ∷ Int → ShelleyPoolreapState era → ShowS # show ∷ ShelleyPoolreapState era → String # showList ∷ [ShelleyPoolreapState era] → ShowS # | |
prCertStateL ∷ ∀ era f. Functor f ⇒ (CertState era → f (CertState era)) → ShelleyPoolreapState era → f (ShelleyPoolreapState era) Source #
prChainAccountStateL ∷ ∀ era f. Functor f ⇒ (ChainAccountState → f ChainAccountState) → ShelleyPoolreapState era → f (ShelleyPoolreapState era) Source #
prUTxOStateL ∷ ∀ era f. Functor f ⇒ (UTxOState era → f (UTxOState era)) → ShelleyPoolreapState era → f (ShelleyPoolreapState era) Source #