Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AllegraUTXO era
- data AllegraUtxoEvent era
- = UpdateEvent (Event (EraRule "PPUP" era))
- | TotalDeposits (SafeHash EraIndependentTxBody) Coin
- | TxUTxODiff (UTxO era) (UTxO era)
- data AllegraUtxoPredFailure era
- = BadInputsUTxO !(Set TxIn)
- | OutsideValidityIntervalUTxO !ValidityInterval !SlotNo
- | MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer)
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin)
- | ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era))
- | WrongNetwork !Network !(Set Addr)
- | WrongNetworkWithdrawal !Network !(Set RewardAccount)
- | OutputTooSmallUTxO ![TxOut era]
- | UpdateFailure (EraRuleFailure "PPUP" era)
- | OutputBootAddrAttrsTooBig ![TxOut era]
- | TriesToForgeADA
- | OutputTooBigUTxO ![TxOut era]
- validateOutsideValidityIntervalUTxO ∷ AllegraEraTxBody era ⇒ SlotNo → TxBody era → Test (AllegraUtxoPredFailure era)
- shelleyToAllegraUtxoPredFailure ∷ ShelleyUtxoPredFailure era → AllegraUtxoPredFailure era
- data AllegraUTXOW era
Documentation
data AllegraUTXO era Source #
Instances
data AllegraUtxoEvent era Source #
UpdateEvent (Event (EraRule "PPUP" era)) | |
TotalDeposits (SafeHash EraIndependentTxBody) Coin | |
TxUTxODiff | The UTxOs consumed and created by a signal tx |
Instances
data AllegraUtxoPredFailure era Source #
BadInputsUTxO !(Set TxIn) | |
OutsideValidityIntervalUTxO !ValidityInterval !SlotNo | |
MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer) | |
InputSetEmptyUTxO | |
FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin) | |
ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era)) | |
WrongNetwork !Network !(Set Addr) | |
WrongNetworkWithdrawal !Network !(Set RewardAccount) | |
OutputTooSmallUTxO ![TxOut era] | |
UpdateFailure (EraRuleFailure "PPUP" era) | |
OutputBootAddrAttrsTooBig ![TxOut era] | |
TriesToForgeADA | |
OutputTooBigUTxO ![TxOut era] |
Instances
validateOutsideValidityIntervalUTxO ∷ AllegraEraTxBody era ⇒ SlotNo → TxBody era → Test (AllegraUtxoPredFailure era) Source #
Ensure the transaction is within the validity window.
ininterval slot (txvld tx)
data AllegraUTXOW era Source #