Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Generic.ApplyTx

Synopsis

defaultPPs ∷ [PParamsField era]
pparams ∷ EraPParams era ⇒ Proof era → PParams era
hasValid ∷ [TxField era] → Maybe Bool
applyTx ∷ Reflect era ⇒ Proof era → Int → SlotNo → Model era → Tx era → Model era
epochBoundary ∷ ∀ era. Proof era → EpochNo → EpochNo → Model era → Model era
applyTxSimple ∷ Reflect era ⇒ Proof era → Int → Model era → TxField era → Model era
applyTxBody ∷ Reflect era ⇒ Proof era → Int → Model era → TxBody era → Model era
applyField ∷ Reflect era ⇒ Proof era → Int → Model era → TxBodyField era → Model era
applyWithdrawals ∷ Proof era → Model era → RewardAccount → Coin → Model era
applyCert ∷ ∀ era. Reflect era ⇒ Model era → TxCert era → Model era
applyShelleyCert ∷ ∀ era. EraPParams era ⇒ Model era → ShelleyTxCert era → Model era
data CollInfo era = CollInfo {
- ciBal ∷ Coin
- ciRet ∷ Coin
- ciDelset ∷ Set TxIn
- ciAddmap ∷ Map TxIn (TxOut era)
}
emptyCollInfo ∷ CollInfo era
collInfo ∷ (Reflect era, HasCallStack) ⇒ Int → TxIx → Model era → CollInfo era → TxBodyField era → CollInfo era
updateInfo ∷ CollInfo era → Model era → Model era
applyTxFail ∷ Reflect era ⇒ Proof era → Int → TxIx → Model era → TxField era → Model era
additions ∷ SafeHash EraIndependentTxBody → TxIx → [TxOut era] → Map TxIn (TxOut era)
go ∷ IO ()
filterRewards ∷ EraPParams era ⇒ PParams era → Map (Credential 'Staking) (Set Reward) → (Map (Credential 'Staking) (Set Reward), Map (Credential 'Staking) (Set Reward))
filterAllRewards ∷ EraPParams era ⇒ Map (Credential 'Staking) (Set Reward) → Model era → (Map (Credential 'Staking) (Set Reward), Map (Credential 'Staking) (Set Reward), Set (Credential 'Staking), Coin)
applyRUpd ∷ ∀ era. RewardUpdateOld → Model era → Model era
notValidatingTx ∷ (Scriptic era, EraTx era) ⇒ Proof era → Tx era

Documentation

defaultPPs ∷ [PParamsField era] Source #

pparams ∷ EraPParams era ⇒ Proof era → PParams era Source #

hasValid ∷ [TxField era] → Maybe Bool Source #

applyTx ∷ Reflect era ⇒ Proof era → Int → SlotNo → Model era → Tx era → Model era Source #

epochBoundary ∷ ∀ era. Proof era → EpochNo → EpochNo → Model era → Model era Source #

applyTxSimple ∷ Reflect era ⇒ Proof era → Int → Model era → TxField era → Model era Source #

applyTxBody ∷ Reflect era ⇒ Proof era → Int → Model era → TxBody era → Model era Source #

applyField ∷ Reflect era ⇒ Proof era → Int → Model era → TxBodyField era → Model era Source #

applyWithdrawals ∷ Proof era → Model era → RewardAccount → Coin → Model era Source #

applyCert ∷ ∀ era. Reflect era ⇒ Model era → TxCert era → Model era Source #

applyShelleyCert ∷ ∀ era. EraPParams era ⇒ Model era → ShelleyTxCert era → Model era Source #

data CollInfo era Source #

Constructors

CollInfo
Fields ciBal ∷ Coin ciRet ∷ Coin ciDelset ∷ Set TxIn ciAddmap ∷ Map TxIn (TxOut era)

emptyCollInfo ∷ CollInfo era Source #

collInfo ∷ (Reflect era, HasCallStack) ⇒ Int → TxIx → Model era → CollInfo era → TxBodyField era → CollInfo era Source #

Collect information about how to process Collateral, in a second phase failure.

updateInfo ∷ CollInfo era → Model era → Model era Source #

applyTxFail ∷ Reflect era ⇒ Proof era → Int → TxIx → Model era → TxField era → Model era Source #

additions ∷ SafeHash EraIndependentTxBody → TxIx → [TxOut era] → Map TxIn (TxOut era) Source #

go ∷ IO () Source #

This is a template of how we might create unit tests that run both the real STS rules and the model to see that they agree. collateralOutputTx and initUTxO are from the BabbageFeatures.hs unit test file.

filterRewards ∷ EraPParams era ⇒ PParams era → Map (Credential 'Staking) (Set Reward) → (Map (Credential 'Staking) (Set Reward), Map (Credential 'Staking) (Set Reward)) Source #

filterAllRewards ∷ EraPParams 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. RewardUpdateOld → Model era → Model era Source #

notValidatingTx ∷ (Scriptic era, EraTx era) ⇒ Proof era → Tx era Source #