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)
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 #

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 #