Safe Haskell	None
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

Eq RegularBlock Source #
Instance details Defined in Test.Consensus.Byron.Generators Methods (==) ∷ RegularBlock → RegularBlock → Bool Source # (/=) ∷ RegularBlock → RegularBlock → Bool Source #
Show RegularBlock Source #
Instance details Defined in Test.Consensus.Byron.Generators Methods showsPrec ∷ Int → RegularBlock → ShowS Source # show ∷ RegularBlock → String Source # showList ∷ [RegularBlock] → ShowS Source #
Arbitrary RegularBlock Source #
Instance details Defined in Test.Consensus.Byron.Generators Methods arbitrary ∷ Gen RegularBlock shrink ∷ RegularBlock → [RegularBlock]

epochSlots ∷ EpochSlots Source #

Matches that from the dummyConfig

k ∷ SecurityParam 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 Methods arbitrary ∷ Gen ByronTransition shrink ∷ ByronTransition → [ByronTransition]
Arbitrary ByronNodeToNodeVersion Source #
Instance details Methods arbitrary ∷ Gen ByronNodeToNodeVersion shrink ∷ ByronNodeToNodeVersion → [ByronNodeToNodeVersion]
Arbitrary ByronNodeToClientVersion Source #
Instance details Methods arbitrary ∷ Gen ByronNodeToClientVersion shrink ∷ ByronNodeToClientVersion → [ByronNodeToClientVersion]
Arbitrary ByronHash Source #
Instance details Methods arbitrary ∷ Gen ByronHash shrink ∷ ByronHash → [ByronHash]
Arbitrary ByronBlock Source #
Instance details Methods arbitrary ∷ Gen ByronBlock shrink ∷ ByronBlock → [ByronBlock]
Arbitrary UTxO Source #
Instance details Methods arbitrary ∷ Gen UTxO shrink ∷ UTxO → [UTxO]
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 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 Methods arbitrary ∷ Gen (PBftState PBftByronCrypto) shrink ∷ PBftState PBftByronCrypto → [PBftState PBftByronCrypto]
Arbitrary (AnnTip ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (AnnTip ByronBlock) shrink ∷ AnnTip ByronBlock → [AnnTip ByronBlock]
Arbitrary (TipInfoIsEBB ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (TipInfoIsEBB ByronBlock) shrink ∷ TipInfoIsEBB ByronBlock → [TipInfoIsEBB ByronBlock]
Arbitrary (GenTx ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (GenTx ByronBlock) shrink ∷ GenTx ByronBlock → [GenTx ByronBlock]
Arbitrary (GenTxId ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (GenTxId ByronBlock) shrink ∷ GenTxId ByronBlock → [GenTxId ByronBlock]
Arbitrary (LedgerState ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (LedgerState ByronBlock) shrink ∷ LedgerState ByronBlock → [LedgerState ByronBlock]
Arbitrary (Header ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (Header ByronBlock) shrink ∷ Header ByronBlock → [Header ByronBlock]
Arbitrary (Coherent ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (Coherent ByronBlock) shrink ∷ Coherent ByronBlock → [Coherent ByronBlock]
Arbitrary (SomeResult ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (SomeResult ByronBlock) shrink ∷ SomeResult ByronBlock → [SomeResult ByronBlock]
Arbitrary (Hash a) Source #
Instance details Methods arbitrary ∷ Gen (Hash a) shrink ∷ Hash a → [Hash a]
Arbitrary (SomeSecond BlockQuery ByronBlock) Source #
Instance details Methods arbitrary ∷ Gen (SomeSecond BlockQuery ByronBlock) shrink ∷ SomeSecond BlockQuery ByronBlock → [SomeSecond BlockQuery ByronBlock]
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)) shrink ∷ WithVersion ByronNodeToNodeVersion (Header ByronBlock) → [WithVersion ByronNodeToNodeVersion (Header ByronBlock)]
Arbitrary (WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock)) shrink ∷ WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock) → [WithVersion ByronNodeToNodeVersion (SomeSecond (NestedCtxt Header) ByronBlock)]