Safe Haskell	None
Language	Haskell2010

Test.Consensus.Byron.Generators

Contents

Orphan instances

Synopsis

newtype RegularBlock = RegularBlock {
- unRegularBlock ∷ ByronBlock
}
epochSlots ∷ EpochSlots
genByronLedgerConfig ∷ Gen Config
genByronLedgerState ∷ Gen (LedgerState ByronBlock EmptyMK)
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 #
Eq RegularBlock Source #
Instance details Defined in Test.Consensus.Byron.Generators Methods (==) ∷ RegularBlock → RegularBlock → Bool # (/=) ∷ RegularBlock → RegularBlock → Bool #
Show RegularBlock Source #
Instance details Defined in Test.Consensus.Byron.Generators Methods showsPrec ∷ Int → RegularBlock → ShowS # show ∷ RegularBlock → String # showList ∷ [RegularBlock] → ShowS #

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 ByronBlock mk) Source #
Instance details Methods arbitrary ∷ Gen (LedgerTables ByronBlock mk) Source # shrink ∷ LedgerTables ByronBlock mk → [LedgerTables 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 #