ouroboros-consensus-cardano-0.25.0.1: 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 

Fields

Instances

Instances details
Arbitrary RegularBlock Source # 
Instance details

Defined in Test.Consensus.Byron.Generators

Methods

arbitrary ∷ Gen RegularBlock Source #

shrink ∷ RegularBlock → [RegularBlock] Source #

Show RegularBlock Source # 
Instance details

Defined in Test.Consensus.Byron.Generators

Methods

showsPrec ∷ Int → RegularBlock → ShowS #

show ∷ RegularBlock → String #

showList ∷ [RegularBlock] → ShowS #

Eq RegularBlock Source # 
Instance details

Defined in Test.Consensus.Byron.Generators

Methods

(==) ∷ RegularBlock → RegularBlock → Bool #

(/=) ∷ RegularBlock → RegularBlock → Bool #

epochSlots ∷ EpochSlots Source #

Matches that from the dummyConfig

genByronLedgerConfig ∷ Gen Config Source #

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.

k ∷ SecurityParam Source #

Matches that from the dummyConfig

protocolMagicId ∷ ProtocolMagicId Source #

Orphan instances

Arbitrary ProtocolMagicId Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolMagicId Source #

shrink ∷ ProtocolMagicId → [ProtocolMagicId] Source #

Arbitrary RequiresNetworkMagic Source # 
Instance details

Methods

arbitrary ∷ Gen RequiresNetworkMagic Source #

shrink ∷ RequiresNetworkMagic → [RequiresNetworkMagic] Source #

Arbitrary CompactRedeemVerificationKey Source # 
Instance details

Methods

arbitrary ∷ Gen CompactRedeemVerificationKey Source #

shrink ∷ CompactRedeemVerificationKey → [CompactRedeemVerificationKey] Source #

Arbitrary SafeSigner Source # 
Instance details

Methods

arbitrary ∷ Gen SafeSigner Source #

shrink ∷ SafeSigner → [SafeSigner] Source #

Arbitrary VerificationKey Source # 
Instance details

Methods

arbitrary ∷ Gen VerificationKey Source #

shrink ∷ VerificationKey → [VerificationKey] Source #

Arbitrary ChainValidationState Source # 
Instance details

Methods

arbitrary ∷ Gen ChainValidationState Source #

shrink ∷ ChainValidationState → [ChainValidationState] Source #

Arbitrary ApplyMempoolPayloadErr Source # 
Instance details

Methods

arbitrary ∷ Gen ApplyMempoolPayloadErr Source #

shrink ∷ ApplyMempoolPayloadErr → [ApplyMempoolPayloadErr] Source #

Arbitrary Address Source # 
Instance details

Methods

arbitrary ∷ Gen Address Source #

shrink ∷ Address → [Address] Source #

Arbitrary BlockCount Source # 
Instance details

Methods

arbitrary ∷ Gen BlockCount Source #

shrink ∷ BlockCount → [BlockCount] Source #

Arbitrary CompactAddress Source # 
Instance details

Methods

arbitrary ∷ Gen CompactAddress Source #

shrink ∷ CompactAddress → [CompactAddress] Source #

Arbitrary KeyHash Source # 
Instance details

Methods

arbitrary ∷ Gen KeyHash Source #

shrink ∷ KeyHash → [KeyHash] Source #

Arbitrary Lovelace Source # 
Instance details

Methods

arbitrary ∷ Gen Lovelace Source #

shrink ∷ Lovelace → [Lovelace] Source #

Arbitrary Map Source # 
Instance details

Methods

arbitrary ∷ Gen Map Source #

shrink ∷ Map → [Map] Source #

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State Source #

shrink ∷ State → [State] Source #

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State Source #

shrink ∷ State → [State] Source #

Arbitrary ScheduledDelegation Source # 
Instance details

Methods

arbitrary ∷ Gen ScheduledDelegation Source #

shrink ∷ ScheduledDelegation → [ScheduledDelegation] Source #

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State Source #

shrink ∷ State → [State] Source #

Arbitrary GenesisAvvmBalances Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisAvvmBalances Source #

shrink ∷ GenesisAvvmBalances → [GenesisAvvmBalances] Source #

Arbitrary Config Source # 
Instance details

Methods

arbitrary ∷ Gen Config Source #

shrink ∷ Config → [Config] Source #

Arbitrary GenesisData Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisData Source #

shrink ∷ GenesisData → [GenesisData] Source #

Arbitrary GenesisDelegation Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisDelegation Source #

shrink ∷ GenesisDelegation → [GenesisDelegation] Source #

Arbitrary GenesisHash Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisHash Source #

shrink ∷ GenesisHash → [GenesisHash] Source #

Arbitrary GenesisKeyHashes Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisKeyHashes Source #

shrink ∷ GenesisKeyHashes → [GenesisKeyHashes] Source #

Arbitrary GenesisNonAvvmBalances Source # 
Instance details

Methods

arbitrary ∷ Gen GenesisNonAvvmBalances Source #

shrink ∷ GenesisNonAvvmBalances → [GenesisNonAvvmBalances] Source #

Arbitrary EpochNumber Source # 
Instance details

Methods

arbitrary ∷ Gen EpochNumber Source #

shrink ∷ EpochNumber → [EpochNumber] Source #

Arbitrary SlotNumber Source # 
Instance details

Methods

arbitrary ∷ Gen SlotNumber Source #

shrink ∷ SlotNumber → [SlotNumber] Source #

Arbitrary UTxO Source # 
Instance details

Methods

arbitrary ∷ Gen UTxO Source #

shrink ∷ UTxO → [UTxO] Source #

Arbitrary UTxOConfiguration Source # 
Instance details

Methods

arbitrary ∷ Gen UTxOConfiguration Source #

shrink ∷ UTxOConfiguration → [UTxOConfiguration] Source #

Arbitrary ApplicationName Source # 
Instance details

Methods

arbitrary ∷ Gen ApplicationName Source #

shrink ∷ ApplicationName → [ApplicationName] Source #

Arbitrary InstallerHash Source # 
Instance details

Methods

arbitrary ∷ Gen InstallerHash Source #

shrink ∷ InstallerHash → [InstallerHash] Source #

Arbitrary ProtocolParameters Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolParameters Source #

shrink ∷ ProtocolParameters → [ProtocolParameters] Source #

Arbitrary ProtocolVersion Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolVersion Source #

shrink ∷ ProtocolVersion → [ProtocolVersion] Source #

Arbitrary SoftwareVersion Source # 
Instance details

Methods

arbitrary ∷ Gen SoftwareVersion Source #

shrink ∷ SoftwareVersion → [SoftwareVersion] Source #

Arbitrary SystemTag Source # 
Instance details

Methods

arbitrary ∷ Gen SystemTag Source #

shrink ∷ SystemTag → [SystemTag] Source #

Arbitrary State Source # 
Instance details

Methods

arbitrary ∷ Gen State Source #

shrink ∷ State → [State] Source #

Arbitrary ApplicationVersion Source # 
Instance details

Methods

arbitrary ∷ Gen ApplicationVersion Source #

shrink ∷ ApplicationVersion → [ApplicationVersion] Source #

Arbitrary ProtocolUpdateProposal Source # 
Instance details

Methods

arbitrary ∷ Gen ProtocolUpdateProposal Source #

shrink ∷ ProtocolUpdateProposal → [ProtocolUpdateProposal] Source #

Arbitrary SoftwareUpdateProposal Source # 
Instance details

Methods

arbitrary ∷ Gen SoftwareUpdateProposal Source #

shrink ∷ SoftwareUpdateProposal → [SoftwareUpdateProposal] Source #

Arbitrary ByronBlock Source # 
Instance details

Methods

arbitrary ∷ Gen ByronBlock Source #

shrink ∷ ByronBlock → [ByronBlock] Source #

Arbitrary ByronHash Source # 
Instance details

Methods

arbitrary ∷ Gen ByronHash Source #

shrink ∷ ByronHash → [ByronHash] Source #

Arbitrary ByronTransition Source # 
Instance details

Methods

arbitrary ∷ Gen ByronTransition Source #

shrink ∷ ByronTransition → [ByronTransition] Source #

Arbitrary ByronNodeToClientVersion Source # 
Instance details

Methods

arbitrary ∷ Gen ByronNodeToClientVersion Source #

shrink ∷ ByronNodeToClientVersion → [ByronNodeToClientVersion] Source #

Arbitrary ByronNodeToNodeVersion Source # 
Instance details

Methods

arbitrary ∷ Gen ByronNodeToNodeVersion Source #

shrink ∷ ByronNodeToNodeVersion → [ByronNodeToNodeVersion] Source #

Arbitrary (Hash a) Source # 
Instance details

Methods

arbitrary ∷ Gen (Hash a) Source #

shrink ∷ Hash a → [Hash a] Source #

Arbitrary (ACertificate ()) Source # 
Instance details

Methods

arbitrary ∷ Gen (ACertificate ()) Source #

shrink ∷ ACertificate () → [ACertificate ()] Source #

Arbitrary (Header ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (Header ByronBlock) Source #

shrink ∷ Header ByronBlock → [Header ByronBlock] Source #

Arbitrary (AnnTip ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (AnnTip ByronBlock) Source #

shrink ∷ AnnTip ByronBlock → [AnnTip ByronBlock] Source #

Arbitrary (TipInfoIsEBB ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (TipInfoIsEBB ByronBlock) Source #

shrink ∷ TipInfoIsEBB ByronBlock → [TipInfoIsEBB ByronBlock] Source #

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

Methods

arbitrary ∷ Gen (SomeBlockQuery (BlockQuery ByronBlock)) Source #

shrink ∷ SomeBlockQuery (BlockQuery ByronBlock) → [SomeBlockQuery (BlockQuery ByronBlock)] Source #

Arbitrary (GenTx ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (GenTx ByronBlock) Source #

shrink ∷ GenTx ByronBlock → [GenTx ByronBlock] Source #

Arbitrary (GenTxId ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (GenTxId ByronBlock) Source #

shrink ∷ GenTxId ByronBlock → [GenTxId ByronBlock] Source #

Arbitrary (PBftState PBftByronCrypto) Source # 
Instance details

Methods

arbitrary ∷ Gen (PBftState PBftByronCrypto) Source #

shrink ∷ PBftState PBftByronCrypto → [PBftState PBftByronCrypto] Source #

Arbitrary (Coherent ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (Coherent ByronBlock) Source #

shrink ∷ Coherent ByronBlock → [Coherent ByronBlock] Source #

Arbitrary (SomeResult ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (SomeResult ByronBlock) Source #

shrink ∷ SomeResult ByronBlock → [SomeResult ByronBlock] Source #

Arbitrary (LedgerState ByronBlock mk) Source # 
Instance details

Methods

arbitrary ∷ Gen (LedgerState ByronBlock mk) Source #

shrink ∷ LedgerState ByronBlock mk → [LedgerState ByronBlock mk] Source #

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

Methods

arbitrary ∷ Gen (LedgerTables (LedgerState ByronBlock) mk) Source #

shrink ∷ LedgerTables (LedgerState ByronBlock) mk → [LedgerTables (LedgerState ByronBlock) mk] Source #

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

Methods

arbitrary ∷ Gen (WithVersion ByronNodeToNodeVersion (Header ByronBlock)) Source #

shrink ∷ WithVersion ByronNodeToNodeVersion (Header ByronBlock) → [WithVersion ByronNodeToNodeVersion (Header ByronBlock)] Source #

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

Methods

arbitrary ∷ Gen (WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock)) Source #

shrink ∷ WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock) → [WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock)] Source #