Documentation

applyTxSimple ∷ ∀ era. EraModel era ⇒ Int → Model era → Tx era → Model era Source #

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 #

applyTxBody ∷ EraModel era ⇒ Int → Model era → TxBody era → Model era Source #

applyWithdrawals ∷ EraAccounts era ⇒ Model era → RewardAccount → Coin → Model era Source #

data CollInfo era Source #

emptyCollInfo ∷ CollInfo era Source #

updateInfo ∷ CollInfo era → Model 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, 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 #

mkConwayPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → ConwayPlutusPurpose AsIx era Source #