| 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, 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.
Instances
Type of the state which the system transitions between.