Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.STS.Ledger
Synopsis
- data LEDGER era
- data LedgerEnv era = LedgerEnv {
- ledgerSlotNo :: SlotNo
- ledgerIx :: Ix
- ledgerPp :: PParams era
- ledgerAccount :: AccountState
- data LedgerPredicateFailure era
- = UtxowFailure (PredicateFailure (UTXOW era))
- | DelegsFailure (PredicateFailure (DELEGS era))
- type family PredicateFailure a = (b :: Type) | b -> a
Documentation
Instances
Constructors
LedgerEnv | |
Fields
|
data LedgerPredicateFailure era Source #
Constructors
UtxowFailure (PredicateFailure (UTXOW era)) | |
DelegsFailure (PredicateFailure (DELEGS 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, PredicateFailure
s 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 PredicateFailure
s 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.