ouroboros-consensus-byron-test-0.1.0.0: Test infrastructure for Byron
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Byron.Generators

Synopsis

Documentation

newtype RegularBlock Source #

A ByronBlock that is never an EBB.

Constructors

RegularBlock 

Instances

Instances details
Eq RegularBlock Source # 
Instance details

Defined in Test.Consensus.Byron.Generators

Show RegularBlock Source # 
Instance details

Defined in Test.Consensus.Byron.Generators

Arbitrary RegularBlock Source # 
Instance details

Defined in Test.Consensus.Byron.Generators

epochSlots ∷ EpochSlots Source #

Matches that from the dummyConfig

kSecurityParam Source #

Matches that from the dummyConfig

protocolMagicId ∷ ProtocolMagicId Source #

Orphan instances

Arbitrary ProtocolParameters Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolParameters

shrink ∷ ProtocolParameters → [ProtocolParameters]

Arbitrary ByronTransition Source # 
Instance details

Arbitrary ByronNodeToNodeVersion Source # 
Instance details

Arbitrary ByronNodeToClientVersion Source # 
Instance details

Arbitrary ByronHash Source # 
Instance details

Methods

arbitrary ∷ Gen ByronHash

shrinkByronHash → [ByronHash]

Arbitrary ByronBlock Source # 
Instance details

Arbitrary KeyHash Source # 
Instance details

Methods

arbitrary ∷ Gen KeyHash

shrink ∷ KeyHash → [KeyHash]

Arbitrary ChainValidationState Source # 
Instance details

Methods

arbitrary ∷ Gen ChainValidationState

shrink ∷ ChainValidationState → [ChainValidationState]

Arbitrary UTxO Source # 
Instance details

Methods

arbitrary ∷ Gen UTxO

shrink ∷ UTxO → [UTxO]

Arbitrary ApplyMempoolPayloadErr Source # 
Instance details

Methods

arbitrary ∷ Gen ApplyMempoolPayloadErr

shrink ∷ ApplyMempoolPayloadErr → [ApplyMempoolPayloadErr]

Arbitrary ProtocolVersion Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolVersion

shrink ∷ ProtocolVersion → [ProtocolVersion]

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State

shrink ∷ State → [State]

Arbitrary Map Source # 
Instance details

Methods

arbitrary ∷ Gen Map

shrink ∷ Map → [Map]

Arbitrary SoftwareVersion Source # 
Instance details

Methods

arbitrary ∷ Gen SoftwareVersion

shrink ∷ SoftwareVersion → [SoftwareVersion]

Arbitrary GenesisHash Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisHash

shrink ∷ GenesisHash → [GenesisHash]

Arbitrary EpochNumber Source # 
Instance details

Methods

arbitrary ∷ Gen EpochNumber

shrink ∷ EpochNumber → [EpochNumber]

Arbitrary SlotNumber Source # 
Instance details

Methods

arbitrary ∷ Gen SlotNumber

shrink ∷ SlotNumber → [SlotNumber]

Arbitrary ApplicationName Source # 
Instance details

Methods

arbitrary ∷ Gen ApplicationName

shrink ∷ ApplicationName → [ApplicationName]

Arbitrary InstallerHash Source # 
Instance details

Methods

arbitrary ∷ Gen InstallerHash

shrink ∷ InstallerHash → [InstallerHash]

Arbitrary SystemTag Source # 
Instance details

Methods

arbitrary ∷ Gen SystemTag

shrink ∷ SystemTag → [SystemTag]

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State

shrink ∷ State → [State]

Arbitrary ScheduledDelegation Source # 
Instance details

Methods

arbitrary ∷ Gen ScheduledDelegation

shrink ∷ ScheduledDelegation → [ScheduledDelegation]

Arbitrary ApplicationVersion Source # 
Instance details

Methods

arbitrary ∷ Gen ApplicationVersion

shrink ∷ ApplicationVersion → [ApplicationVersion]

Arbitrary ProtocolUpdateProposal Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolUpdateProposal

shrink ∷ ProtocolUpdateProposal → [ProtocolUpdateProposal]

Arbitrary SoftwareUpdateProposal Source # 
Instance details

Methods

arbitrary ∷ Gen SoftwareUpdateProposal

shrink ∷ SoftwareUpdateProposal → [SoftwareUpdateProposal]

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State

shrink ∷ State → [State]

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State

shrink ∷ State → [State]

Arbitrary (PBftState PBftByronCrypto) Source # 
Instance details

Arbitrary (AnnTip ByronBlock) Source # 
Instance details

Arbitrary (TipInfoIsEBB ByronBlock) Source # 
Instance details

Arbitrary (GenTx ByronBlock) Source # 
Instance details

Arbitrary (GenTxId ByronBlock) Source # 
Instance details

Arbitrary (LedgerState ByronBlock) Source # 
Instance details

Arbitrary (Header ByronBlock) Source # 
Instance details

Arbitrary (Coherent ByronBlock) Source # 
Instance details

Arbitrary (SomeResult ByronBlock) Source # 
Instance details

Arbitrary (Hash a) Source # 
Instance details

Methods

arbitrary ∷ Gen (Hash a)

shrink ∷ Hash a → [Hash a]

Arbitrary (SomeSecond BlockQuery ByronBlock) 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