Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.Byron.Generators

Contents

Orphan instances

Synopsis

newtype RegularBlock = RegularBlock {
- unRegularBlock ∷ ByronBlock
}
epochSlots ∷ EpochSlots
k ∷ SecurityParam
protocolMagicId ∷ ProtocolMagicId

Documentation

newtype RegularBlock Source #

A ByronBlock that is never an EBB.

Constructors

RegularBlock
Fields unRegularBlock ∷ ByronBlock

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 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 KeyHash Source #
Instance details Methods arbitrary ∷ Gen KeyHash Source # shrink ∷ KeyHash → [KeyHash] 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 GenesisHash Source #
Instance details Methods arbitrary ∷ Gen GenesisHash Source # shrink ∷ GenesisHash → [GenesisHash] 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 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 (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 #