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 shrink :: RegularBlock -> [RegularBlock]
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 #
Eq RegularBlock Source #
Instance details Defined in Test.Consensus.Byron.Generators Methods (==) :: RegularBlock -> RegularBlock -> Bool Source # (/=) :: RegularBlock -> RegularBlock -> Bool Source #

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 shrink :: ChainValidationState -> [ChainValidationState]
Arbitrary ApplyMempoolPayloadErr Source #
Instance details Methods arbitrary :: Gen ApplyMempoolPayloadErr shrink :: ApplyMempoolPayloadErr -> [ApplyMempoolPayloadErr]
Arbitrary KeyHash Source #
Instance details Methods arbitrary :: Gen KeyHash shrink :: KeyHash -> [KeyHash]
Arbitrary Map Source #
Instance details Methods arbitrary :: Gen Map shrink :: Map -> [Map]
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 ScheduledDelegation Source #
Instance details Methods arbitrary :: Gen ScheduledDelegation shrink :: ScheduledDelegation -> [ScheduledDelegation]
Arbitrary State Source #
Instance details Methods arbitrary :: Gen State shrink :: State -> [State]
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 UTxO Source #
Instance details Methods arbitrary :: Gen UTxO shrink :: UTxO -> [UTxO]
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 ProtocolParameters Source #
Instance details Methods arbitrary :: Gen ProtocolParameters shrink :: ProtocolParameters -> [ProtocolParameters]
Arbitrary ProtocolVersion Source #
Instance details Methods arbitrary :: Gen ProtocolVersion shrink :: ProtocolVersion -> [ProtocolVersion]
Arbitrary SoftwareVersion Source #
Instance details Methods arbitrary :: Gen SoftwareVersion shrink :: SoftwareVersion -> [SoftwareVersion]
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 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 ByronBlock Source #
Instance details Methods arbitrary :: Gen ByronBlock shrink :: ByronBlock -> [ByronBlock]
Arbitrary ByronHash Source #
Instance details Methods arbitrary :: Gen ByronHash shrink :: ByronHash -> [ByronHash]
Arbitrary ByronTransition Source #
Instance details Methods arbitrary :: Gen ByronTransition shrink :: ByronTransition -> [ByronTransition]
Arbitrary ByronNodeToClientVersion Source #
Instance details Methods arbitrary :: Gen ByronNodeToClientVersion shrink :: ByronNodeToClientVersion -> [ByronNodeToClientVersion]
Arbitrary ByronNodeToNodeVersion Source #
Instance details Methods arbitrary :: Gen ByronNodeToNodeVersion shrink :: ByronNodeToNodeVersion -> [ByronNodeToNodeVersion]
Arbitrary (Hash a) Source #
Instance details Methods arbitrary :: Gen (Hash a) shrink :: Hash a -> [Hash a]
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 (Header ByronBlock) Source #
Instance details Methods arbitrary :: Gen (Header ByronBlock) shrink :: Header ByronBlock -> [Header ByronBlock]
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 (LedgerState ByronBlock) Source #
Instance details Methods arbitrary :: Gen (LedgerState ByronBlock) shrink :: LedgerState ByronBlock -> [LedgerState 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 (PBftState PBftByronCrypto) Source #
Instance details Methods arbitrary :: Gen (PBftState PBftByronCrypto) shrink :: PBftState PBftByronCrypto -> [PBftState PBftByronCrypto]
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)]
Arbitrary (SomeSecond BlockQuery ByronBlock) Source #
Instance details Methods arbitrary :: Gen (SomeSecond BlockQuery ByronBlock) shrink :: SomeSecond BlockQuery ByronBlock -> [SomeSecond BlockQuery ByronBlock]