Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AllegraUTXO era
- data AllegraUtxoEvent era
- = UpdateEvent (Event (EraRule "PPUP" era))
- | TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin
- | TxUTxODiff (UTxO era) (UTxO era)
- data AllegraUtxoPredFailure era
- = BadInputsUTxO !(Set (TxIn (EraCrypto era)))
- | OutsideValidityIntervalUTxO !ValidityInterval !SlotNo
- | MaxTxSizeUTxO !Integer !Integer
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !Coin !Coin
- | ValueNotConservedUTxO !(Value era) !(Value era)
- | WrongNetwork !Network !(Set (Addr (EraCrypto era)))
- | WrongNetworkWithdrawal !Network !(Set (RewardAccount (EraCrypto era)))
- | 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 (EraCrypto era) EraIndependentTxBody) Coin | |
TxUTxODiff | The UTxOs consumed and created by a signal tx |
Instances
data AllegraUtxoPredFailure era Source #
BadInputsUTxO !(Set (TxIn (EraCrypto era))) | |
OutsideValidityIntervalUTxO !ValidityInterval !SlotNo | |
MaxTxSizeUTxO !Integer !Integer | |
InputSetEmptyUTxO | |
FeeTooSmallUTxO !Coin !Coin | |
ValueNotConservedUTxO !(Value era) !(Value era) | |
WrongNetwork !Network !(Set (Addr (EraCrypto era))) | |
WrongNetworkWithdrawal !Network !(Set (RewardAccount (EraCrypto era))) | |
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 #