ouroboros-consensus-cardano-0.23.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
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

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 (LedgerState ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (LedgerState ByronBlock) Source #

shrink ∷ LedgerState ByronBlock → [LedgerState 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 (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 #

Arbitrary (SomeSecond BlockQuery ByronBlock) Source # 
Instance details

Methods

arbitrary ∷ Gen (SomeSecond BlockQuery ByronBlock) Source #

shrink ∷ SomeSecond BlockQuery ByronBlock → [SomeSecond BlockQuery ByronBlock] Source #