Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Consensus.Byron.Generators
Contents
Documentation
newtype RegularBlock Source #
A ByronBlock
that is never an EBB.
Constructors
RegularBlock | |
Fields |
Instances
Arbitrary RegularBlock Source # | |
Defined in Test.Consensus.Byron.Generators | |
Show RegularBlock Source # | |
Defined in Test.Consensus.Byron.Generators Methods showsPrec ∷ Int → RegularBlock → ShowS # show ∷ RegularBlock → String # showList ∷ [RegularBlock] → ShowS # | |
Eq RegularBlock Source # | |
Defined in Test.Consensus.Byron.Generators |
epochSlots ∷ EpochSlots Source #
Matches that from the dummyConfig
genByronLedgerState ∷ Gen (LedgerState ByronBlock EmptyMK) Source #
Generator for a Byron ledger state in which the tip of the ledger given by
byronLedgerTipBlockNo
is consistent with the chain validation state, i.e., if there is no
previous block, the ledger tip wil be Origin
.
Matches that from the dummyConfig