Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Generic.ApplyTx
Documentation
applyTxFail ∷ (Reflect era, AlonzoEraTxBody era, EraModel era) ⇒ Int → TxIx → Model era → Tx era → Model era Source #
collInfo ∷ (HasCallStack, AlonzoEraTxBody era, EraModel era) ⇒ Int → TxIx → Model era → CollInfo era → TxBody era → CollInfo era Source #
defaultPPs ∷ AlonzoEraPParams era ⇒ PParams era → PParams era Source #
pparams ∷ AlonzoEraPParams era ⇒ PParams era Source #
epochBoundary ∷ ∀ era. (EraPParams era, EraStake era) ⇒ EpochNo → EpochNo → Model era → Model era Source #
applyWithdrawals ∷ EraAccounts era ⇒ Model era → RewardAccount → Coin → Model era Source #
emptyCollInfo ∷ CollInfo era Source #
filterRewards ∷ EraPParams era ⇒ PParams era → Map (Credential 'Staking) (Set Reward) → (Map (Credential 'Staking) (Set Reward), Map (Credential 'Staking) (Set Reward)) Source #
filterAllRewards ∷ (EraPParams era, EraAccounts era) ⇒ Map (Credential 'Staking) (Set Reward) → Model era → (Map (Credential 'Staking) (Set Reward), Map (Credential 'Staking) (Set Reward), Set (Credential 'Staking), Coin) Source #
applyRUpd ∷ ∀ era. EraAccounts era ⇒ RewardUpdateOld → Model era → Model era Source #
notValidatingTx ∷ ∀ era. (AlonzoEraTxWits era, EraPlutusTxInfo PlutusV1 era, AlonzoEraTxBody era, EraModel era) ⇒ Tx era Source #
mkAlonzoPlutusPurposePointer ∷ ∀ era. Era era ⇒ PlutusPurposeTag → Word32 → AlonzoPlutusPurpose AsIx era Source #