| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Shelley.Spec.Ledger.STS.Utxo
Synopsis
- data UTXO era
- data UtxoEnv era = UtxoEnv SlotNo (PParams era) (Map (KeyHash 'StakePool (Crypto era)) (PoolParams era)) (GenDelegs (Crypto era))
- data UtxoPredicateFailure era
- = BadInputsUTxO !(Set (TxIn era))
- | ExpiredUTxO !SlotNo !SlotNo
- | MaxTxSizeUTxO !Integer !Integer
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !Coin !Coin
- | ValueNotConservedUTxO !(Delta (Value era)) !(Delta (Value era))
- | WrongNetwork !Network !(Set (Addr era))
- | WrongNetworkWithdrawal !Network !(Set (RewardAcnt era))
- | OutputTooSmallUTxO ![TxOut era]
- | UpdateFailure (PredicateFailure (PPUP era))
- | OutputBootAddrAttrsTooBig ![TxOut era]
- type family PredicateFailure a = (b ∷ Type) | b → a
Documentation
Instances
data UtxoPredicateFailure era Source #
Constructors
| BadInputsUTxO !(Set (TxIn era)) | |
| ExpiredUTxO !SlotNo !SlotNo | |
| MaxTxSizeUTxO !Integer !Integer | |
| InputSetEmptyUTxO | |
| FeeTooSmallUTxO !Coin !Coin | |
| ValueNotConservedUTxO !(Delta (Value era)) !(Delta (Value era)) | |
| WrongNetwork !Network !(Set (Addr era)) | |
| WrongNetworkWithdrawal !Network !(Set (RewardAcnt era)) | |
| OutputTooSmallUTxO ![TxOut era] | |
| UpdateFailure (PredicateFailure (PPUP era)) | |
| OutputBootAddrAttrsTooBig ![TxOut era] |
Instances
type family PredicateFailure a = (b ∷ Type) | b → a Source #
Descriptive type for the possible failures which might cause a transition to fail.
As a convention, PredicateFailures which are "structural" (meaning that
they are not "throwable" in practice, and are used to pass control from
one transition rule to another) are prefixed with S_.
Structural PredicateFailures represent conditions between rules where
the disjunction of all rules' preconditions is equal to True. That is,
either one rule will throw a structural PredicateFailure and the other
will succeed, or vice-versa.