Documentation

applyTxSimple ∷ EraModel era ⇒ Int → Model era → Tx 'TopTx era → Model era Source #

applyTxFail ∷ (Reflect era, AlonzoEraTxBody era, EraModel era) ⇒ Int → TxIx → Model era → Tx 'TopTx era → Model era Source #

collInfo ∷ (HasCallStack, AlonzoEraTxBody era, EraModel era) ⇒ Int → TxIx → Model era → CollInfo era → TxBody 'TopTx era → CollInfo era Source #

defaultPPs ∷ AlonzoEraPParams era ⇒ PParams era → PParams era Source #

pparams ∷ AlonzoEraPParams era ⇒ PParams era Source #

epochBoundary ∷ (EraPParams era, EraStake era) ⇒ EpochNo → EpochNo → Model era → Model era Source #

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

applyWithdrawals ∷ EraAccounts era ⇒ Model era → AccountAddress → 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 ∷ EraAccounts era ⇒ RewardUpdateOld → Model era → Model era Source #

notValidatingTx ∷ (AlonzoEraTxWits era, EraPlutusTxInfo 'PlutusV1 era, AlonzoEraTxBody era, EraModel era) ⇒ Tx 'TopTx era Source #

mkAlonzoPlutusPurposePointer ∷ Era era ⇒ PlutusPurposeTag → Word32 → AlonzoPlutusPurpose AsIx era Source #

mkConwayPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → ConwayPlutusPurpose AsIx era Source #