| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Bbody
Contents
Synopsis
- data ShelleyBBODY era
- data ShelleyBbodyState era = BbodyState !(State (EraRule "LEDGERS" era)) !(BlocksMade (EraCrypto era))
- data BbodyEnv era = BbodyEnv {
- bbodyPp ∷ PParams era
- bbodyAccount ∷ AccountState
- data ShelleyBbodyPredFailure era
- = WrongBlockBodySizeBBODY !Int !Int
- | InvalidBodyHashBBODY !(Hash (EraCrypto era) EraIndependentBlockBody) !(Hash (EraCrypto era) EraIndependentBlockBody)
- | LedgersFailure (PredicateFailure (EraRule "LEDGERS" era))
- newtype ShelleyBbodyEvent era = LedgersEvent (Event (EraRule "LEDGERS" era))
- type family PredicateFailure a
- type family State a
Documentation
data ShelleyBBODY era Source #
Instances
data ShelleyBbodyState era Source #
Constructors
| BbodyState !(State (EraRule "LEDGERS" era)) !(BlocksMade (EraCrypto era)) |
Instances
| Show (State (EraRule "LEDGERS" era)) ⇒ Show (ShelleyBbodyState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody | |
| Eq (State (EraRule "LEDGERS" era)) ⇒ Eq (ShelleyBbodyState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods (==) ∷ ShelleyBbodyState era → ShelleyBbodyState era → Bool Source # (/=) ∷ ShelleyBbodyState era → ShelleyBbodyState era → Bool Source # | |
Constructors
| BbodyEnv | |
Fields
| |
data ShelleyBbodyPredFailure era Source #
Constructors
| WrongBlockBodySizeBBODY !Int !Int | |
| InvalidBodyHashBBODY !(Hash (EraCrypto era) EraIndependentBlockBody) !(Hash (EraCrypto era) EraIndependentBlockBody) | |
| LedgersFailure (PredicateFailure (EraRule "LEDGERS" era)) |
Instances
newtype ShelleyBbodyEvent era Source #
Constructors
| LedgersEvent (Event (EraRule "LEDGERS" era)) |
type family PredicateFailure 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.