Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Bbody
Synopsis
- data BBODY era
- data BbodyState era = BbodyState ( LedgerState era) ( BlocksMade ( Crypto era))
-
data
BbodyEnv
era =
BbodyEnv
{
- bbodyPp :: PParams era
- bbodyAccount :: AccountState
-
data
BbodyPredicateFailure
era
- = WrongBlockBodySizeBBODY ! Int ! Int
- | InvalidBodyHashBBODY !( Hash ( Crypto era) EraIndependentBlockBody ) !( Hash ( Crypto era) EraIndependentBlockBody )
- | LedgersFailure ( PredicateFailure ( EraRule "LEDGERS" era))
- newtype BbodyEvent era = LedgersEvent ( Event ( EraRule "LEDGERS" era))
- type family PredicateFailure a
- type family State a
Documentation
Instances
data BbodyState era Source #
Constructors
BbodyState ( LedgerState era) ( BlocksMade ( Crypto era)) |
Instances
Eq ( LedgerState era) => Eq ( BbodyState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods (==) :: BbodyState era -> BbodyState era -> Bool Source # (/=) :: BbodyState era -> BbodyState era -> Bool Source # |
|
Show ( LedgerState era) => Show ( BbodyState era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Bbody |
Constructors
BbodyEnv | |
Fields
|
data BbodyPredicateFailure era Source #
Constructors
WrongBlockBodySizeBBODY ! Int ! Int | |
InvalidBodyHashBBODY !( Hash ( Crypto era) EraIndependentBlockBody ) !( Hash ( Crypto era) EraIndependentBlockBody ) | |
LedgersFailure ( PredicateFailure ( EraRule "LEDGERS" era)) |
Instances
newtype BbodyEvent 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,
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.