Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.STS.Bbody
Synopsis
- data BBODY era
- data BbodyState era = BbodyState (LedgerState era) (BlocksMade era)
- data BbodyEnv era = BbodyEnv {
- bbodyPp ∷ PParams era
- bbodyAccount ∷ AccountState
- data BbodyPredicateFailure era
- = WrongBlockBodySizeBBODY !Int !Int
- | InvalidBodyHashBBODY !(HashBBody (Crypto era)) !(HashBBody (Crypto era))
- | LedgersFailure (PredicateFailure (LEDGERS era))
- type family PredicateFailure a = (b ∷ Type) | b → a
- type family State a
Documentation
Instances
data BbodyState era Source #
Constructors
BbodyState (LedgerState era) (BlocksMade era) |
Instances
ShelleyBased era ⇒ Show (BbodyState era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Bbody Methods showsPrec ∷ Int → BbodyState era → ShowS # show ∷ BbodyState era → String # showList ∷ [BbodyState era] → ShowS # |
Constructors
BbodyEnv | |
Fields
|
data BbodyPredicateFailure era Source #
Constructors
WrongBlockBodySizeBBODY !Int !Int | |
InvalidBodyHashBBODY !(HashBBody (Crypto era)) !(HashBBody (Crypto era)) | |
LedgersFailure (PredicateFailure (LEDGERS 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.
Instances
Type of the state which the system transitions between.