ouroboros-consensus-cardano-0.25.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Byron.Generators

Synopsis

Documentation

newtype RegularBlock Source #

A ByronBlock that is never an EBB.

Constructors

RegularBlock 

epochSlotsEpochSlots Source #

Matches that from the dummyConfig

genByronLedgerStateGen (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.

kSecurityParam Source #

Matches that from the dummyConfig

Orphan instances

Arbitrary ProtocolMagicId Source # 
Instance details

Arbitrary RequiresNetworkMagic Source # 
Instance details

Arbitrary CompactRedeemVerificationKey Source # 
Instance details

Arbitrary SafeSigner Source # 
Instance details

Arbitrary VerificationKey Source # 
Instance details

Arbitrary ChainValidationState Source # 
Instance details

Arbitrary ApplyMempoolPayloadErr Source # 
Instance details

Arbitrary Address Source # 
Instance details

Arbitrary BlockCount Source # 
Instance details

Arbitrary CompactAddress Source # 
Instance details

Arbitrary KeyHash Source # 
Instance details

Arbitrary Lovelace Source # 
Instance details

Arbitrary Map Source # 
Instance details

Methods

arbitraryGen Map Source #

shrinkMap → [Map] Source #

Arbitrary State Source # 
Instance details

Arbitrary State Source # 
Instance details

Arbitrary ScheduledDelegation Source # 
Instance details

Arbitrary State Source # 
Instance details

Arbitrary GenesisAvvmBalances Source # 
Instance details

Arbitrary Config Source # 
Instance details

Arbitrary GenesisData Source # 
Instance details

Arbitrary GenesisDelegation Source # 
Instance details

Arbitrary GenesisHash Source # 
Instance details

Arbitrary GenesisKeyHashes Source # 
Instance details

Arbitrary GenesisNonAvvmBalances Source # 
Instance details

Arbitrary EpochNumber Source # 
Instance details

Arbitrary SlotNumber Source # 
Instance details

Arbitrary UTxO Source # 
Instance details

Arbitrary UTxOConfiguration Source # 
Instance details

Arbitrary ApplicationName Source # 
Instance details

Arbitrary InstallerHash Source # 
Instance details

Arbitrary ProtocolParameters Source # 
Instance details

Arbitrary ProtocolVersion Source # 
Instance details

Arbitrary SoftwareVersion Source # 
Instance details

Arbitrary SystemTag Source # 
Instance details

Arbitrary State Source # 
Instance details

Arbitrary ApplicationVersion Source # 
Instance details

Arbitrary ProtocolUpdateProposal Source # 
Instance details

Arbitrary SoftwareUpdateProposal Source # 
Instance details

Arbitrary ByronBlock Source # 
Instance details

Arbitrary ByronHash Source # 
Instance details

Arbitrary ByronTransition Source # 
Instance details

Arbitrary ByronNodeToClientVersion Source # 
Instance details

Arbitrary ByronNodeToNodeVersion Source # 
Instance details

Arbitrary (Hash a) Source # 
Instance details

Methods

arbitraryGen (Hash a) Source #

shrinkHash a → [Hash a] Source #

Arbitrary (ACertificate ()) Source # 
Instance details

Arbitrary (Header ByronBlock) Source # 
Instance details

Arbitrary (AnnTip ByronBlock) Source # 
Instance details

Arbitrary (TipInfoIsEBB ByronBlock) Source # 
Instance details

Arbitrary (SomeBlockQuery (BlockQuery ByronBlock)) Source # 
Instance details

Arbitrary (GenTx ByronBlock) Source # 
Instance details

Arbitrary (GenTxId ByronBlock) Source # 
Instance details

Arbitrary (PBftState PBftByronCrypto) Source # 
Instance details

Arbitrary (Coherent ByronBlock) Source # 
Instance details

Arbitrary (SomeResult ByronBlock) Source # 
Instance details

Arbitrary (LedgerState ByronBlock mk) Source # 
Instance details

ZeroableMK mk ⇒ Arbitrary (LedgerTables (LedgerState ByronBlock) mk) Source # 
Instance details

Arbitrary (WithVersion ByronNodeToNodeVersion (Header ByronBlock)) Source #

We only have to be careful about headers with ByronNodeToNodeVersion1, where we will have a fake block size hint.

Instance details

Arbitrary (WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock)) Source # 
Instance details