type Rep (BlockConfig (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type Rep (BlockConfig (TestBlockWith ptype)) = D1 ('MetaData "BlockConfig" "Test.Util.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

Methods

from ∷ BlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x #

to ∷ Rep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) #

Show (BlockConfig (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → BlockConfig (TestBlockWith ptype) → ShowS #

show ∷ BlockConfig (TestBlockWith ptype) → String #

showList ∷ [BlockConfig (TestBlockWith ptype)] → ShowS #

CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #

NoThunks (BlockConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (DualBlock m a)) → String Source #

NoThunks (BlockConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → BlockConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig TestBlock) → String Source #

NoThunks (BlockConfig (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

noThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (TestBlockWith ptype)) → String Source #

data BlockConfig TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data BlockConfig TestBlock = TestBlockConfig {

testBlockEBBsAllowed ∷ !Bool
testBlockNumCoreNodes ∷ !NumCoreNodes

}

type Rep (BlockConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

type Rep (BlockConfig (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (BlockConfig (TestBlockWith ptype)) = D1 ('MetaData "BlockConfig" "Test.Util.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

newtype BlockConfig (DisableDiffusionPipelining blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)

newtype BlockConfig (SelectViewDiffusionPipelining blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)

newtype BlockConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

data BlockConfig (DualBlock m a) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

newtype ChainLength Source #

In chain selection, we use BlockNo as a proxy for the block length. This is entirely correct, except for those dreadful EBBs, which share their block number with their predecessor. So it is possible that two chains with the same BlockNo at the tip have a different length because the longer chain contains more EBBs than the shorter.

For example:

.. :> EBB (100, slotNo 10, blockNo 1) :> (400, slotNo 10, blockNo 2)
.. :> (999, slotNo 10, blockNo 2)

The chain selection for this TestBlock looks at the hashes in case of a BlockNo tie (after prefering the chain ending with an EBB) and will pick the block with the highest hash. This is to have a more deterministic chain selection (less implementation specific) which will keep the model better in sync with the implementation.

In the example above, that would mean picking the second chain, /even though it is shorter/! The implementation does not support switching to a shorter chain.

Note that this is not a problem for Byron, because we don't look at the hashes or anything else in case of a tie (we just prefer a chain ending with an EBB, which must be longer).

Note that is not a problem for Shelley either, where we do look at the certificate number and VRF hash in case of a tie, because there are no EBBs.

This is only an issue when: * There can be EBBs in the chain * In case of equal blockNos, we still prefer one over the other because of some additional condition.

Which is the case for this TestBlock.

To solve this, we store the real chain length inside the block. The only difference with the BlockNo is that ChainLength takes EBBs into account.

When there is BlockNo tie as in the example above and we would look at the hashes, we will first look at the ChainLength (and prefer the longest one). Only if that is equal do we actually look at the hashes. This guarantees that we never prefer a chain that is shorter.

NOTE: we start counting from 1 (unlike BlockNo, which starts from 0), because it corresponds to the length.

Constructors

ChainLength Int

Instances

Instances details

NFData ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ ChainLength → () #

Eq ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ ChainLength → ChainLength → Bool #

(/=) ∷ ChainLength → ChainLength → Bool #

Ord ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

compare ∷ ChainLength → ChainLength → Ordering #

(<) ∷ ChainLength → ChainLength → Bool #

(<=) ∷ ChainLength → ChainLength → Bool #

(>) ∷ ChainLength → ChainLength → Bool #

(>=) ∷ ChainLength → ChainLength → Bool #

max ∷ ChainLength → ChainLength → ChainLength #

min ∷ ChainLength → ChainLength → ChainLength #

Enum ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

succ ∷ ChainLength → ChainLength #

pred ∷ ChainLength → ChainLength #

toEnum ∷ Int → ChainLength #

fromEnum ∷ ChainLength → Int #

enumFrom ∷ ChainLength → [ChainLength] #

enumFromThen ∷ ChainLength → ChainLength → [ChainLength] #

enumFromTo ∷ ChainLength → ChainLength → [ChainLength] #

enumFromThenTo ∷ ChainLength → ChainLength → ChainLength → [ChainLength] #

Generic ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep ChainLength
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep ChainLength = D1 ('MetaData "ChainLength" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "ChainLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ ChainLength → Rep ChainLength x #

to ∷ Rep ChainLength x → ChainLength #

Show ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → ChainLength → ShowS #

show ∷ ChainLength → String #

showList ∷ [ChainLength] → ShowS #

Hashable ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → ChainLength → Int Source #

hash ∷ ChainLength → Int Source #

NoThunks ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → ChainLength → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ChainLength → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ChainLength → String Source #

Serialise ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ ChainLength → Encoding Source #

decode ∷ Decoder s ChainLength Source #

encodeList ∷ [ChainLength] → Encoding Source #

decodeList ∷ Decoder s [ChainLength] Source #

ToExpr ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ ChainLength → Expr Source #

listToExpr ∷ [ChainLength] → Expr Source #

type Rep ChainLength Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep ChainLength = D1 ('MetaData "ChainLength" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "ChainLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data family CodecConfig blk Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Isomorphic CodecConfig Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ CodecConfig (HardForkBlock '[blk]) → CodecConfig blk Source #

inject ∷ NoHardForks blk ⇒ CodecConfig blk → CodecConfig (HardForkBlock '[blk]) Source #

Generic (CodecConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))

Methods

from ∷ CodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x #

to ∷ Rep (CodecConfig (DualBlock m a)) x → CodecConfig (DualBlock m a) #

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x #

to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Util.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x #

to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #

Show (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

Show (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #

(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (DualBlock m a)) → String Source #

NoThunks (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

ToExpr (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ CodecConfig TestBlock → Expr Source #

listToExpr ∷ [CodecConfig TestBlock] → Expr Source #

data CodecConfig TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

data CodecConfig TestBlock Source #

The TestBlock does not need any codec config

Instance details

Defined in Test.Util.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

type Rep (CodecConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))

type Rep (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype CodecConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data CodecConfig (DualBlock m a) = DualCodecConfig {

dualCodecConfigMain ∷ !(CodecConfig m)
dualCodecConfigAux ∷ !(CodecConfig a)

}

data EBB Source #

Strict variant of Maybe EpochNo

Constructors

EBB !EpochNo
RegularBlock

Instances

Instances details

NFData EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ EBB → () #

Eq EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ EBB → EBB → Bool #

(/=) ∷ EBB → EBB → Bool #

Generic EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep EBB

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep EBB = D1 ('MetaData "EBB" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "EBB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :+: C1 ('MetaCons "RegularBlock" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ EBB → Rep EBB x #

to ∷ Rep EBB x → EBB #

Show EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → EBB → ShowS #

show ∷ EBB → String #

showList ∷ [EBB] → ShowS #

Hashable EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → EBB → Int Source #

hash ∷ EBB → Int Source #

NoThunks EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → EBB → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EBB → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy EBB → String Source #

Serialise EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ EBB → Encoding Source #

decode ∷ Decoder s EBB Source #

encodeList ∷ [EBB] → Encoding Source #

decodeList ∷ Decoder s [EBB] Source #

ToExpr EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ EBB → Expr Source #

listToExpr ∷ [EBB] → Expr Source #

type Rep EBB Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep EBB = D1 ('MetaData "EBB" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "EBB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :+: C1 ('MetaCons "RegularBlock" 'PrefixI 'False) (U1 ∷ Type → Type))

data family Header blk Source #

Instances

data family StorageConfig blk Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Isomorphic StorageConfig Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ StorageConfig (HardForkBlock '[blk]) → StorageConfig blk Source #

inject ∷ NoHardForks blk ⇒ StorageConfig blk → StorageConfig (HardForkBlock '[blk]) Source #

Generic (StorageConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

Methods

from ∷ StorageConfig (DualBlock m a) → Rep (StorageConfig (DualBlock m a)) x #

to ∷ Rep (StorageConfig (DualBlock m a)) x → StorageConfig (DualBlock m a) #

Generic (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x #

to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #

Generic (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Util.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x #

to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #

Show (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Show (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #

(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) ⇒ NoThunks (StorageConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (DualBlock m a)) → String Source #

NoThunks (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

NoThunks (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

data StorageConfig TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

data StorageConfig TestBlock Source #

The TestBlock does not need any storage config

Instance details

Defined in Test.Util.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

type Rep (StorageConfig (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

type Rep (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype StorageConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data StorageConfig (DualBlock m a) = DualStorageConfig {

dualStorageConfigMain ∷ !(StorageConfig m)
dualStorageConfigAux ∷ !(StorageConfig a)

}

data TestBlock Source #

Constructors

TestBlock
Fields testHeader ∷ !TestHeader testBody ∷ !TestBody

Instances

Instances details

NFData TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestBlock → () #

Eq TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBlock → TestBlock → Bool #

(/=) ∷ TestBlock → TestBlock → Bool #

Generic TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBlock

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlock = D1 ('MetaData "TestBlock" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "testHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestHeader) :*: S1 ('MetaSel ('Just "testBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBody)))

Methods

from ∷ TestBlock → Rep TestBlock x #

to ∷ Rep TestBlock x → TestBlock #

Show TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBlock → ShowS #

show ∷ TestBlock → String #

showList ∷ [TestBlock] → ShowS #

NoThunks TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestBlock → String Source #

ConvertRawHash TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type HashSize TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type HashSize TestBlock = 8

Methods

toRawHash ∷ proxy TestBlock → HeaderHash TestBlock → ByteString Source #

toShortRawHash ∷ proxy TestBlock → HeaderHash TestBlock → ShortByteString Source #

fromRawHash ∷ proxy TestBlock → ByteString → Maybe (HeaderHash TestBlock) Source #

fromShortRawHash ∷ proxy TestBlock → ShortByteString → Maybe (HeaderHash TestBlock) Source #

unsafeFromRawHash ∷ proxy TestBlock → ByteString → HeaderHash TestBlock Source #

unsafeFromShortRawHash ∷ proxy TestBlock → ShortByteString → HeaderHash TestBlock Source #

hashSize ∷ proxy TestBlock → Word32 Source #

GetHeader TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getHeader ∷ TestBlock → Header TestBlock Source #

blockMatchesHeader ∷ Header TestBlock → TestBlock → Bool Source #

headerIsEBB ∷ Header TestBlock → Maybe EpochNo Source #

GetPrevHash TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

headerPrevHash ∷ Header TestBlock → ChainHash TestBlock Source #

BlockSupportsDiffusionPipelining TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type TentativeHeaderState TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TentativeHeaderState TestBlock = TentativeHeaderState (SelectViewDiffusionPipelining TestBlock)
type TentativeHeaderView TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TentativeHeaderView TestBlock = TentativeHeaderView (SelectViewDiffusionPipelining TestBlock)

BlockSupportsPeras TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type PerasVote TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type PerasVote TestBlock = MockPerasVote TestBlock
type PerasCert TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type PerasCert TestBlock = MockPerasCert TestBlock
type PerasError TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type PerasError TestBlock = MockPerasError TestBlock
type PerasCrypto TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type PerasCrypto TestBlock = MockPerasCrypto TestBlock
type PerasVotingCommitteeScheme TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type PerasVotingCommitteeScheme TestBlock = MockPerasVotingCommitteeScheme TestBlock

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext TestBlock → PoolId → PrivateKey (PerasCrypto TestBlock) → PerasRoundNo → Point TestBlock → Either (PerasError TestBlock) (Maybe (ValidatedPerasVote TestBlock)) Source #

verifyPerasVote ∷ PerasEpochContext TestBlock → PerasVote TestBlock → Either (PerasError TestBlock) (ValidatedPerasVote TestBlock) Source #

forgePerasCert ∷ PerasEpochContext TestBlock → PerasVoteCollectionWithQuorum TestBlock → Either (PerasError TestBlock) (ValidatedPerasCert TestBlock) Source #

verifyPerasCert ∷ PerasEpochContext TestBlock → PerasCert TestBlock → Either (PerasError TestBlock) (ValidatedPerasCert TestBlock) Source #

getPerasCertInBlock ∷ TestBlock → Either (PerasError TestBlock) (Maybe (PerasCert TestBlock)) Source #

BlockSupportsProtocol TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

validateView ∷ BlockConfig TestBlock → Header TestBlock → ValidateView (BlockProtocol TestBlock) Source #

tiebreakerView ∷ BlockConfig TestBlock → Header TestBlock → TiebreakerView (BlockProtocol TestBlock) Source #

projectChainOrderConfig ∷ BlockConfig TestBlock → ChainOrderConfig (SelectView (BlockProtocol TestBlock)) Source #

HasHardForkHistory TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type HardForkIndices TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type HardForkIndices TestBlock = '[TestBlock]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig TestBlock → LedgerState TestBlock mk → Summary (HardForkIndices TestBlock) Source #

ImmutableEraParams TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

immutableEraParams ∷ TopLevelConfig TestBlock → EraParams Source #

BasicEnvelopeValidation TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

expectedFirstBlockNo ∷ proxy TestBlock → BlockNo Source #

expectedNextBlockNo ∷ proxy TestBlock → TipInfo TestBlock → TipInfo TestBlock → BlockNo → BlockNo Source #

minimumPossibleSlotNo ∷ Proxy TestBlock → SlotNo Source #

minimumNextSlotNo ∷ proxy TestBlock → TipInfo TestBlock → TipInfo TestBlock → SlotNo → SlotNo Source #

HasAnnTip TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type TipInfo TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TipInfo TestBlock = TipInfoIsEBB TestBlock

Methods

getTipInfo ∷ Header TestBlock → TipInfo TestBlock Source #

tipInfoHash ∷ proxy TestBlock → TipInfo TestBlock → HeaderHash TestBlock Source #

ValidateEnvelope TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type OtherHeaderEnvelopeError TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type OtherHeaderEnvelopeError TestBlock = TestBlockOtherHeaderEnvelopeError

Methods

additionalEnvelopeChecks ∷ TopLevelConfig TestBlock → LedgerView (BlockProtocol TestBlock) → Header TestBlock → Except (OtherHeaderEnvelopeError TestBlock) () Source #

GetBlockKeySets TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getBlockKeySets ∷ TestBlock → LedgerTables TestBlock KeysMK Source #

UpdateLedger TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

InspectLedger TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type LedgerWarning TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerWarning TestBlock = Void
type LedgerUpdate TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerUpdate TestBlock = Void

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig TestBlock → LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → [LedgerEvent TestBlock] Source #

LedgerSupportsProtocol TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig TestBlock → Ticked LedgerState TestBlock mk → LedgerView (BlockProtocol TestBlock) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig TestBlock → LedgerState TestBlock mk → Forecast (LedgerView (BlockProtocol TestBlock)) Source #

StateSupportsPerasEpochContext TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type MaybeEraIndexedEpochToPerasRoundInfo TestBlock = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy TestBlock → MaybeEraIndexedEpochToPerasRoundInfo TestBlock → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices TestBlock) ⇒ proxy TestBlock → EraIndexed (HardForkIndices TestBlock) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo TestBlock Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo TestBlock → ledgerState EmptyMK → chainDepState → Either (PerasError TestBlock) (BoundedPerasEpochContext TestBlock) Source #

SerialiseDiskConstraints TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

HasBinaryBlockInfo TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getBinaryBlockInfo ∷ TestBlock → BinaryBlockInfo Source #

Condense TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestBlock → String Source #

HasHeader TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getHeaderFields ∷ TestBlock → HeaderFields TestBlock #

Serialise TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ TestBlock → Encoding Source #

decode ∷ Decoder s TestBlock Source #

encodeList ∷ [TestBlock] → Encoding Source #

decodeList ∷ Decoder s [TestBlock] Source #

ToExpr TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBlock → Expr Source #

listToExpr ∷ [TestBlock] → Expr Source #

HasNestedContent f TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

unnest ∷ f TestBlock → DepPair (NestedCtxt f TestBlock) Source #

nest ∷ DepPair (NestedCtxt f TestBlock) → f TestBlock Source #

ApplyBlock LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

IsLedger LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type LedgerErr LedgerState TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerErr LedgerState TestBlock = TestBlockError

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState TestBlock → SlotNo → LedgerState TestBlock EmptyMK → LedgerResult TestBlock (Ticked LedgerState TestBlock DiffMK) Source #

CanUpgradeLedgerTables LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → LedgerTables TestBlock ValuesMK → LedgerTables TestBlock ValuesMK Source #

HasLedgerTables LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock mk → LedgerTables TestBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock any → LedgerTables TestBlock mk → LedgerState TestBlock mk Source #

LedgerTablesAreTrivial LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState TestBlock mk → LedgerState TestBlock mk' Source #

SerializeTablesWithHint LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeTablesWithHint ∷ LedgerState TestBlock EmptyMK → LedgerTables TestBlock ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState TestBlock EmptyMK → Decoder s (LedgerTables TestBlock ValuesMK) Source #

DecodeDisk TestBlock () Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s () Source #

EncodeDisk TestBlock TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → TestBlock → Encoding Source #

EncodeDisk TestBlock () Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → () → Encoding Source #

ReconstructNestedCtxt Header TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

reconstructPrefixLen ∷ proxy (Header TestBlock) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header TestBlock) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) TestBlock Source #

StandardHash TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

IndexedMemPack LedgerState TestBlock Void Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

indexedPackM ∷ LedgerState TestBlock EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState TestBlock EmptyMK → Unpack s b Void Source #

indexedTypeName ∷ Proxy Void → LedgerState TestBlock EmptyMK → String Source #

DecodeDisk TestBlock (AnnTip TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (AnnTip TestBlock) Source #

EncodeDisk TestBlock (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → Header TestBlock → Encoding Source #

EncodeDisk TestBlock (AnnTip TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → AnnTip TestBlock → Encoding Source #

DecodeDisk TestBlock (LedgerState TestBlock EmptyMK) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (LedgerState TestBlock EmptyMK) Source #

DecodeDisk TestBlock (ByteString → Either DecoderError TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → Either DecoderError TestBlock) Source #

DecodeDisk TestBlock (ByteString → Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → Header TestBlock) Source #

EncodeDisk TestBlock (LedgerState TestBlock EmptyMK) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → LedgerState TestBlock EmptyMK → Encoding Source #

SameDepIndex (NestedCtxt_ TestBlock f ∷ Type → Type) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

sameDepIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ TestBlock f ∷ Type → Type) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hasSingleIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ TestBlock f (TrivialIndex (NestedCtxt_ TestBlock f) ∷ Type) Source #

Eq (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ Header TestBlock → Header TestBlock → Bool #

(/=) ∷ Header TestBlock → Header TestBlock → Bool #

Generic (BlockConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (BlockConfig TestBlock)

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

Methods

from ∷ BlockConfig TestBlock → Rep (BlockConfig TestBlock) x #

to ∷ Rep (BlockConfig TestBlock) x → BlockConfig TestBlock #

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x #

to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #

Generic (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x #

to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #

Show (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

Show (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → Header TestBlock → ShowS #

show ∷ Header TestBlock → String #

showList ∷ [Header TestBlock] → ShowS #

Show (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Hashable (MockPerasCert TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → MockPerasCert TestBlock → Int Source #

hash ∷ MockPerasCert TestBlock → Int Source #

NoThunks (BlockConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → BlockConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig TestBlock) → String Source #

NoThunks (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → Header TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header TestBlock) → String Source #

NoThunks (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

GetTip (LedgerState TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState TestBlock mk → Point (LedgerState TestBlock) Source #

LedgerStateSupportsPeras (LedgerState TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getPoolDistr ∷ LedgerState TestBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState TestBlock EmptyMK → PerasParams blk Source #

CanStowLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

SignedHeader (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

headerSigned ∷ Header TestBlock → Signed (Header TestBlock) Source #

HasHeader (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getHeaderFields ∷ Header TestBlock → HeaderFields (Header TestBlock) #

Serialise (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ Header TestBlock → Encoding Source #

decode ∷ Decoder s (Header TestBlock) Source #

encodeList ∷ [Header TestBlock] → Encoding Source #

decodeList ∷ Decoder s [Header TestBlock] Source #

Serialise (MockPerasCert TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ MockPerasCert TestBlock → Encoding Source #

decode ∷ Decoder s (MockPerasCert TestBlock) Source #

encodeList ∷ [MockPerasCert TestBlock] → Encoding Source #

decodeList ∷ Decoder s [MockPerasCert TestBlock] Source #

ToExpr (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ CodecConfig TestBlock → Expr Source #

listToExpr ∷ [CodecConfig TestBlock] → Expr Source #

ToExpr (HeaderEnvelopeError TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ HeaderEnvelopeError TestBlock → Expr Source #

listToExpr ∷ [HeaderEnvelopeError TestBlock] → Expr Source #

ToExpr (HeaderError TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ HeaderError TestBlock → Expr Source #

listToExpr ∷ [HeaderError TestBlock] → Expr Source #

ToExpr (TipInfoIsEBB TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TipInfoIsEBB TestBlock → Expr Source #

listToExpr ∷ [TipInfoIsEBB TestBlock] → Expr Source #

ToExpr (ExtValidationError TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ ExtValidationError TestBlock → Expr Source #

listToExpr ∷ [ExtValidationError TestBlock] → Expr Source #

ToExpr (Tip TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ Tip TestBlock → Expr Source #

listToExpr ∷ [Tip TestBlock] → Expr Source #

DecodeDiskDep (NestedCtxt Header) TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → ∀ s. Decoder s (ByteString → a) Source #

DecodeDiskDepIx (NestedCtxt Header) TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDiskDepIx ∷ CodecConfig TestBlock → Decoder s (SomeSecond (NestedCtxt Header) TestBlock) Source #

EncodeDiskDep (NestedCtxt Header) TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → a → Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDiskDepIx ∷ CodecConfig TestBlock → SomeSecond (NestedCtxt Header) TestBlock → Encoding Source #

FromCBOR (Point TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

fromCBOR ∷ Decoder s (Point TestBlock) Source #

label ∷ Proxy (Point TestBlock) → Text Source #

ToCBOR (Point TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toCBOR ∷ Point TestBlock → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Point TestBlock) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Point TestBlock] → Size Source #

Eq (LedgerState TestBlock mk) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ LedgerState TestBlock mk → LedgerState TestBlock mk → Bool #

(/=) ∷ LedgerState TestBlock mk → LedgerState TestBlock mk → Bool #

Generic (LedgerState TestBlock mk) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (LedgerState TestBlock mk)

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point TestBlock)) :*: (S1 ('MetaSel ('Just "lastAppliedHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestBlock)) :*: S1 ('MetaSel ('Just "latestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe PerasRoundNo)))))

Methods

from ∷ LedgerState TestBlock mk → Rep (LedgerState TestBlock mk) x #

to ∷ Rep (LedgerState TestBlock mk) x → LedgerState TestBlock mk #

Show (LedgerState TestBlock mk) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → LedgerState TestBlock mk → ShowS #

show ∷ LedgerState TestBlock mk → String #

showList ∷ [LedgerState TestBlock mk] → ShowS #

Hashable (Point TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → Point TestBlock → Int Source #

hash ∷ Point TestBlock → Int Source #

NoThunks (LedgerState TestBlock mk) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → LedgerState TestBlock mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState TestBlock mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState TestBlock mk) → String Source #

Serialise (LedgerState TestBlock mk) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ LedgerState TestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState TestBlock mk) Source #

encodeList ∷ [LedgerState TestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState TestBlock mk] Source #

ToExpr (VotingCommitteeError (MockPerasCrypto TestBlock) (MockPerasVotingCommitteeScheme TestBlock)) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ VotingCommitteeError (MockPerasCrypto TestBlock) (MockPerasVotingCommitteeScheme TestBlock) → Expr Source #

listToExpr ∷ [VotingCommitteeError (MockPerasCrypto TestBlock) (MockPerasVotingCommitteeScheme TestBlock)] → Expr Source #

ToExpr (LedgerState TestBlock EmptyMK) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ LedgerState TestBlock EmptyMK → Expr Source #

listToExpr ∷ [LedgerState TestBlock EmptyMK] → Expr Source #

HasLedgerTables (Ticked LedgerState) TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState TestBlock mk → LedgerTables TestBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState TestBlock any → LedgerTables TestBlock mk → Ticked LedgerState TestBlock mk Source #

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked LedgerState TestBlock mk → Ticked LedgerState TestBlock mk' Source #

Show (NestedCtxt_ TestBlock f a) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → NestedCtxt_ TestBlock f a → ShowS #

show ∷ NestedCtxt_ TestBlock f a → String #

showList ∷ [NestedCtxt_ TestBlock f a] → ShowS #

GetTip (Ticked LedgerState TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState TestBlock mk → Point (Ticked LedgerState TestBlock) Source #

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState TestBlock EmptyMK → PerasParams blk Source #

type Rep TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlock = D1 ('MetaData "TestBlock" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "testHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestHeader) :*: S1 ('MetaSel ('Just "testBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBody)))

data BlockConfig TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data BlockConfig TestBlock = TestBlockConfig {

testBlockEBBsAllowed ∷ !Bool
testBlockNumCoreNodes ∷ !NumCoreNodes

}

type BlockProtocol TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type BlockProtocol TestBlock

data CodecConfig TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

type HashSize TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HashSize TestBlock = 8

newtype Header TestBlock Source #

data StorageConfig TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

data NestedCtxt_ TestBlock f a Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data NestedCtxt_ TestBlock f a where

CtxtTestBlock ∷ ∀ (f ∷ Type → Type). NestedCtxt_ TestBlock f (f TestBlock)

type TentativeHeaderState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TentativeHeaderState TestBlock = TentativeHeaderState (SelectViewDiffusionPipelining TestBlock)

type TentativeHeaderView TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TentativeHeaderView TestBlock = TentativeHeaderView (SelectViewDiffusionPipelining TestBlock)

type PerasCert TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasCert TestBlock = MockPerasCert TestBlock

type PerasCrypto TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasCrypto TestBlock = MockPerasCrypto TestBlock

type PerasError TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasError TestBlock = MockPerasError TestBlock

type PerasVote TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasVote TestBlock = MockPerasVote TestBlock

type PerasVotingCommitteeScheme TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasVotingCommitteeScheme TestBlock = MockPerasVotingCommitteeScheme TestBlock

type HardForkIndices TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HardForkIndices TestBlock = '[TestBlock]

type OtherHeaderEnvelopeError TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type OtherHeaderEnvelopeError TestBlock = TestBlockOtherHeaderEnvelopeError

type TipInfo TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TipInfo TestBlock = TipInfoIsEBB TestBlock

type AuxLedgerEvent TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type AuxLedgerEvent TestBlock = VoidLedgerEvent

data LedgerState TestBlock mk Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data LedgerState TestBlock mk = TestLedger {

lastAppliedPoint ∷ !(Point TestBlock)
lastAppliedHash ∷ !(ChainHash TestBlock)
latestPerasCertRound ∷ !(Maybe PerasRoundNo)

}

type LedgerUpdate TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerUpdate TestBlock = Void

type LedgerWarning TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerWarning TestBlock = Void

type TxIn TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TxIn TestBlock = Void

type TxOut TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TxOut TestBlock = Void

type MaybeEraIndexedEpochToPerasRoundInfo TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type MaybeEraIndexedEpochToPerasRoundInfo TestBlock = EpochToPerasRoundInfo

type LedgerCfg LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerCfg LedgerState TestBlock = EraParams

type LedgerErr LedgerState TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerErr LedgerState TestBlock = TestBlockError

type HeaderHash TestBlock Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HeaderHash TestBlock = TestHeaderHash

type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type) = f TestBlock

type Rep (BlockConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

type Rep (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Signed (Header TestBlock) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Signed (Header TestBlock) = ()

type Rep (LedgerState TestBlock mk) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point TestBlock)) :*: (S1 ('MetaSel ('Just "lastAppliedHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestBlock)) :*: S1 ('MetaSel ('Just "latestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe PerasRoundNo)))))

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState TestBlock mk

}

data TestBody Source #

Constructors

TestBody

Fields

tbForkNo ∷ !Word
If we don't have something that can vary per block, we're not generating forks, except when skipping slots. For example, when we want to have multiple different valid successor blocks created in the same slot, all fields in the header and body will be the same. Consequently, the hashes will also be the same, so we don't have different blocks after all. By using a different tbForkNo for each block, we have different bodies, and thus different hashes.
Note that this is a local number, it is specific to this block, other blocks need not be aware of it.
tbIsValid ∷ !Bool
tbPerasCert ∷ !(Maybe (PerasCert TestBlock))
Some real blocks will ocasionally carry a Peras certificate inside their body to coordinate the end of a cooldown period. NOTE: for the purposes of the ChainDB, we don't care about the details of the certificate other than its round number, which needs to be stored (and carefully updated whenever a newer one pops up) so it can be used to evaluate the Peras voting rules and decide if a node should resume voting.

Instances

Instances details

NFData TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestBody → () #

Eq TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBody → TestBody → Bool #

(/=) ∷ TestBody → TestBody → Bool #

Generic TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBody

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBody = D1 ('MetaData "TestBody" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "tbForkNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: (S1 ('MetaSel ('Just "tbIsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "tbPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (PerasCert TestBlock))))))

Methods

from ∷ TestBody → Rep TestBody x #

to ∷ Rep TestBody x → TestBody #

Show TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBody → ShowS #

show ∷ TestBody → String #

showList ∷ [TestBody] → ShowS #

Hashable TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → TestBody → Int Source #

hash ∷ TestBody → Int Source #

NoThunks TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestBody → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestBody → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestBody → String Source #

Serialise TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ TestBody → Encoding Source #

decode ∷ Decoder s TestBody Source #

encodeList ∷ [TestBody] → Encoding Source #

decodeList ∷ Decoder s [TestBody] Source #

ToExpr TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBody → Expr Source #

listToExpr ∷ [TestBody] → Expr Source #

type Rep TestBody Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBody = D1 ('MetaData "TestBody" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "tbForkNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: (S1 ('MetaSel ('Just "tbIsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "tbPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (PerasCert TestBlock))))))

newtype TestBodyHash Source #

Hash of a TestBody

Constructors

TestBodyHash Int

Instances

Instances details

NFData TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestBodyHash → () #

Eq TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBodyHash → TestBodyHash → Bool #

(/=) ∷ TestBodyHash → TestBodyHash → Bool #

Ord TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

compare ∷ TestBodyHash → TestBodyHash → Ordering #

(<) ∷ TestBodyHash → TestBodyHash → Bool #

(<=) ∷ TestBodyHash → TestBodyHash → Bool #

(>) ∷ TestBodyHash → TestBodyHash → Bool #

(>=) ∷ TestBodyHash → TestBodyHash → Bool #

max ∷ TestBodyHash → TestBodyHash → TestBodyHash #

min ∷ TestBodyHash → TestBodyHash → TestBodyHash #

Generic TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBodyHash
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestBodyHash = D1 ('MetaData "TestBodyHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestBodyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ TestBodyHash → Rep TestBodyHash x #

to ∷ Rep TestBodyHash x → TestBodyHash #

Show TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBodyHash → ShowS #

show ∷ TestBodyHash → String #

showList ∷ [TestBodyHash] → ShowS #

Hashable TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → TestBodyHash → Int Source #

hash ∷ TestBodyHash → Int Source #

NoThunks TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestBodyHash → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestBodyHash → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestBodyHash → String Source #

Condense TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestBodyHash → String Source #

Serialise TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ TestBodyHash → Encoding Source #

decode ∷ Decoder s TestBodyHash Source #

encodeList ∷ [TestBodyHash] → Encoding Source #

decodeList ∷ Decoder s [TestBodyHash] Source #

ToExpr TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBodyHash → Expr Source #

listToExpr ∷ [TestBodyHash] → Expr Source #

type Rep TestBodyHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBodyHash = D1 ('MetaData "TestBodyHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestBodyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data TestHeader Source #

Constructors

TestHeader

Fields

thHash ∷ HeaderHash TestHeader
Not included in the calculation of the hash of the TestHeader, i.e., in its own value, which would be pretty hard to do.
Note the absence of a bang: this field caches the TestHeaders hash. To calculate it, the TestHeader is passed to the hashing function, even though the field is not read, making the field strict would create an infinite loop.
thPrevHash ∷ !(ChainHash TestHeader)
thBodyHash ∷ !TestBodyHash
thSlotNo ∷ !SlotNo
thBlockNo ∷ !BlockNo
thChainLength ∷ !ChainLength
thIsEBB ∷ !EBB

Instances

Instances details

NFData TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestHeader → () #

Eq TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestHeader → TestHeader → Bool #

(/=) ∷ TestHeader → TestHeader → Bool #

Generic TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestHeader

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeader = D1 ('MetaData "TestHeader" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "thHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash TestHeader)) :*: (S1 ('MetaSel ('Just "thPrevHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestHeader)) :*: S1 ('MetaSel ('Just "thBodyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBodyHash))) :*: ((S1 ('MetaSel ('Just "thSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "thBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo)) :*: (S1 ('MetaSel ('Just "thChainLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainLength) :*: S1 ('MetaSel ('Just "thIsEBB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EBB)))))

Methods

from ∷ TestHeader → Rep TestHeader x #

to ∷ Rep TestHeader x → TestHeader #

Show TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestHeader → ShowS #

show ∷ TestHeader → String #

showList ∷ [TestHeader] → ShowS #

NoThunks TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestHeader → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestHeader → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestHeader → String Source #

Condense TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestHeader → String Source #

Serialise TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ TestHeader → Encoding Source #

decode ∷ Decoder s TestHeader Source #

encodeList ∷ [TestHeader] → Encoding Source #

decodeList ∷ Decoder s [TestHeader] Source #

ToExpr TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestHeader → Expr Source #

listToExpr ∷ [TestHeader] → Expr Source #

StandardHash TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeader = D1 ('MetaData "TestHeader" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "thHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash TestHeader)) :*: (S1 ('MetaSel ('Just "thPrevHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestHeader)) :*: S1 ('MetaSel ('Just "thBodyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBodyHash))) :*: ((S1 ('MetaSel ('Just "thSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "thBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo)) :*: (S1 ('MetaSel ('Just "thChainLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainLength) :*: S1 ('MetaSel ('Just "thIsEBB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EBB)))))

type HeaderHash TestHeader Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HeaderHash TestHeader = TestHeaderHash

newtype TestHeaderHash Source #

Hash of a TestHeader

Constructors

TestHeaderHash Int

Instances

Instances details

Binary TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

put ∷ TestHeaderHash → Put #

get ∷ Get TestHeaderHash #

putList ∷ [TestHeaderHash] → Put #

NFData TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestHeaderHash → () #

Eq TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestHeaderHash → TestHeaderHash → Bool #

(/=) ∷ TestHeaderHash → TestHeaderHash → Bool #

Ord TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

compare ∷ TestHeaderHash → TestHeaderHash → Ordering #

(<) ∷ TestHeaderHash → TestHeaderHash → Bool #

(<=) ∷ TestHeaderHash → TestHeaderHash → Bool #

(>) ∷ TestHeaderHash → TestHeaderHash → Bool #

(>=) ∷ TestHeaderHash → TestHeaderHash → Bool #

max ∷ TestHeaderHash → TestHeaderHash → TestHeaderHash #

min ∷ TestHeaderHash → TestHeaderHash → TestHeaderHash #

Generic TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestHeaderHash
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestHeaderHash = D1 ('MetaData "TestHeaderHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestHeaderHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ TestHeaderHash → Rep TestHeaderHash x #

to ∷ Rep TestHeaderHash x → TestHeaderHash #

Show TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestHeaderHash → ShowS #

show ∷ TestHeaderHash → String #

showList ∷ [TestHeaderHash] → ShowS #

Hashable TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → TestHeaderHash → Int Source #

hash ∷ TestHeaderHash → Int Source #

NoThunks TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestHeaderHash → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestHeaderHash → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestHeaderHash → String Source #

Condense TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestHeaderHash → String Source #

Serialise TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ TestHeaderHash → Encoding Source #

decode ∷ Decoder s TestHeaderHash Source #

encodeList ∷ [TestHeaderHash] → Encoding Source #

decodeList ∷ Decoder s [TestHeaderHash] Source #

ToExpr TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestHeaderHash → Expr Source #

listToExpr ∷ [TestHeaderHash] → Expr Source #

Hashable (Block SlotNo TestHeaderHash) Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → Block SlotNo TestHeaderHash → Int Source #

hash ∷ Block SlotNo TestHeaderHash → Int Source #

type Rep TestHeaderHash Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeaderHash = D1 ('MetaData "TestHeaderHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestHeaderHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Construction

firstBlock ∷ SlotNo → TestBody → TestBlock Source #

Note the first block need not be an EBB, see firstEBB.

firstEBB ∷ (SlotNo → Bool) → TestBody → TestBlock Source #

mkBlock Source #

Arguments

∷ HasCallStack
⇒ (SlotNo → Bool)	Is this slot allowed contain an EBB? This argument is used primarily to detect the generation of invalid blocks with different kind of `ChunkInfo`.
→ TestBody
→ ChainHash TestHeader	Hash of previous header
→ SlotNo
→ BlockNo
→ ChainLength
→ Maybe EpochNo
→ TestBlock

mkNextBlock Source #

Arguments

∷ TestBlock	Previous block
→ SlotNo
→ TestBody
→ TestBlock

Variant of mkNextBlock that takes the entire previous block.

mkNextBlock' Source #

Arguments

∷ (HeaderFields TestBlock, ChainLength)	Information about the previous block
→ SlotNo
→ TestBody
→ TestBlock

mkNextEBB Source #

Arguments

∷ (SlotNo → Bool)
→ TestBlock	Previous block
→ SlotNo
→ EpochNo
→ TestBody
→ TestBlock

Variant of mkNextEBB that takes the entire previous block.

mkNextEBB' Source #

Arguments

∷ (SlotNo → Bool)
→ (HeaderFields TestBlock, ChainLength)	Information about the previous block
→ SlotNo
→ EpochNo
→ TestBody
→ TestBlock

Note that in various places, e.g., the ImmutableDB, we rely on the fact that the slotNo should correspond to the first slot number of the epoch, as is the case for real EBBs.

Query

testBlockChainLength ∷ TestBlock → ChainLength Source #

testBlockIsEBB ∷ TestBlock → IsEBB Source #

testBlockIsValid ∷ TestBlock → Bool Source #

Check whether the header matches its hash and whether the body matches its hash.

Serialisation

testBlockFromLazyByteString ∷ HasCallStack ⇒ ByteString → TestBlock Source #

testBlockToBuilder ∷ TestBlock → Builder Source #

testBlockToLazyByteString ∷ TestBlock → ByteString Source #

Ledger

data TestBlockError Source #

Constructors

InvalidHash	The hashes don't line up
Fields (ChainHash TestBlock) Expected hash (ChainHash TestBlock) Invalid hash
InvalidBlock	The block itself is invalid

Instances

Instances details

Eq TestBlockError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBlockError → TestBlockError → Bool #

(/=) ∷ TestBlockError → TestBlockError → Bool #

Generic TestBlockError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBlockError

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlockError = D1 ('MetaData "TestBlockError" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "InvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash TestBlock)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash TestBlock))) :+: C1 ('MetaCons "InvalidBlock" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ TestBlockError → Rep TestBlockError x #

to ∷ Rep TestBlockError x → TestBlockError #

Show TestBlockError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBlockError → ShowS #

show ∷ TestBlockError → String #

showList ∷ [TestBlockError] → ShowS #

NoThunks TestBlockError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestBlockError → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestBlockError → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestBlockError → String Source #

ToExpr TestBlockError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBlockError → Expr Source #

listToExpr ∷ [TestBlockError] → Expr Source #

type Rep TestBlockError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlockError = D1 ('MetaData "TestBlockError" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "InvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash TestBlock)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash TestBlock))) :+: C1 ('MetaCons "InvalidBlock" 'PrefixI 'False) (U1 ∷ Type → Type))

data TestBlockOtherHeaderEnvelopeError Source #

Constructors

UnexpectedEBBInSlot !SlotNo

Instances

Instances details

Eq TestBlockOtherHeaderEnvelopeError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBlockOtherHeaderEnvelopeError → TestBlockOtherHeaderEnvelopeError → Bool #

(/=) ∷ TestBlockOtherHeaderEnvelopeError → TestBlockOtherHeaderEnvelopeError → Bool #

Generic TestBlockOtherHeaderEnvelopeError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBlockOtherHeaderEnvelopeError

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlockOtherHeaderEnvelopeError = D1 ('MetaData "TestBlockOtherHeaderEnvelopeError" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "UnexpectedEBBInSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))

Methods

from ∷ TestBlockOtherHeaderEnvelopeError → Rep TestBlockOtherHeaderEnvelopeError x #

to ∷ Rep TestBlockOtherHeaderEnvelopeError x → TestBlockOtherHeaderEnvelopeError #

Show TestBlockOtherHeaderEnvelopeError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBlockOtherHeaderEnvelopeError → ShowS #

show ∷ TestBlockOtherHeaderEnvelopeError → String #

showList ∷ [TestBlockOtherHeaderEnvelopeError] → ShowS #

NoThunks TestBlockOtherHeaderEnvelopeError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → TestBlockOtherHeaderEnvelopeError → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TestBlockOtherHeaderEnvelopeError → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TestBlockOtherHeaderEnvelopeError → String Source #

ToExpr TestBlockOtherHeaderEnvelopeError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBlockOtherHeaderEnvelopeError → Expr Source #

listToExpr ∷ [TestBlockOtherHeaderEnvelopeError] → Expr Source #

type Rep TestBlockOtherHeaderEnvelopeError Source #

Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlockOtherHeaderEnvelopeError = D1 ('MetaData "TestBlockOtherHeaderEnvelopeError" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "UnexpectedEBBInSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))

mkTestConfig ∷ SecurityParam → ChunkSize → TopLevelConfig TestBlock Source #

testInitExtLedger ∷ LedgerConfig TestBlock → ExtLedgerState TestBlock EmptyMK Source #

Corruptions

type Corruptions = NonEmpty (FileCorruption, FsPath) Source #

Multiple corruptions

data FileCorruption Source #

Constructors

DeleteFile
DropLastBytes Word64	Drop the last `n` bytes of a file.
Corrupt Word64	Corrupt the file by adding 1 to the byte at the given location (modulo the file size).

Instances

Instances details

Arbitrary FileCorruption Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods arbitrary ∷ Gen FileCorruption Source # shrink ∷ FileCorruption → [FileCorruption] Source #
Eq FileCorruption Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ FileCorruption → FileCorruption → Bool # (/=) ∷ FileCorruption → FileCorruption → Bool #
Show FileCorruption Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → FileCorruption → ShowS # show ∷ FileCorruption → String # showList ∷ [FileCorruption] → ShowS #

corruptFile ∷ MonadThrow m ⇒ HasFS m h → FileCorruption → FsPath → m Bool Source #

Returns True when something was actually corrupted. For example, when drop the last bytes of an empty file, we don't actually corrupt it.

corruptionFiles ∷ Corruptions → [FsPath] Source #

Return a list of all files that will be corrupted

generateCorruptions ∷ NonEmpty FsPath → Gen Corruptions Source #

The same file will not occur twice.

shrinkCorruptions ∷ Corruptions → [Corruptions] Source #

Orphan instances

Hashable BlockNo Source #
Instance details Methods hashWithSalt ∷ Int → BlockNo → Int Source # hash ∷ BlockNo → Int Source #
Hashable SlotNo Source #
Instance details Methods hashWithSalt ∷ Int → SlotNo → Int Source # hash ∷ SlotNo → Int Source #
Hashable IsEBB Source #
Instance details Methods hashWithSalt ∷ Int → IsEBB → Int Source # hash ∷ IsEBB → Int Source #
Hashable PerasRoundNo Source #
Instance details Methods hashWithSalt ∷ Int → PerasRoundNo → Int Source # hash ∷ PerasRoundNo → Int Source #
Hashable PerasSeatIndex Source #
Instance details Methods hashWithSalt ∷ Int → PerasSeatIndex → Int Source # hash ∷ PerasSeatIndex → Int Source #
ToExpr FsPath Source #
Instance details Methods toExpr ∷ FsPath → Expr Source # listToExpr ∷ [FsPath] → Expr Source #
ToExpr IsEBB Source #
Instance details Methods toExpr ∷ IsEBB → Expr Source # listToExpr ∷ [IsEBB] → Expr Source #
ToExpr BftValidationErr Source #
Instance details Methods toExpr ∷ BftValidationErr → Expr Source # listToExpr ∷ [BftValidationErr] → Expr Source #
ToExpr BinaryBlockInfo Source #
Instance details Methods toExpr ∷ BinaryBlockInfo → Expr Source # listToExpr ∷ [BinaryBlockInfo] → Expr Source #
ToExpr BlocksPerFile Source #
Instance details Methods toExpr ∷ BlocksPerFile → Expr Source # listToExpr ∷ [BlocksPerFile] → Expr Source #
(Hashable a, Hashable (WithOrigin a)) ⇒ Hashable (WithOrigin a) Source #
Instance details Methods hashWithSalt ∷ Int → WithOrigin a → Int Source # hash ∷ WithOrigin a → Int Source #
Hashable (NESet PerasSeatIndex) Source #
Instance details Methods hashWithSalt ∷ Int → NESet PerasSeatIndex → Int Source # hash ∷ NESet PerasSeatIndex → Int Source #
(StandardHash b, Hashable (HeaderHash b)) ⇒ Hashable (ChainHash b) Source #
Instance details Methods hashWithSalt ∷ Int → ChainHash b → Int Source # hash ∷ ChainHash b → Int Source #

GetHeader1 Header Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract Methods getHeader1 ∷ Header blk → Header blk Source #
Inject Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Header x → Header (HardForkBlock xs) Source #
Isomorphic Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source # inject ∷ NoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #
ReconstructNestedCtxt Header TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods reconstructPrefixLen ∷ proxy (Header TestBlock) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header TestBlock) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) TestBlock Source #
CanHardFork xs ⇒ HasNestedContent Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods unnest ∷ Header (HardForkBlock xs) → DepPair (NestedCtxt Header (HardForkBlock xs)) Source # nest ∷ DepPair (NestedCtxt Header (HardForkBlock xs)) → Header (HardForkBlock xs) Source #
EncodeDisk TestBlock (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDisk ∷ CodecConfig TestBlock → Header TestBlock → Encoding Source #
SerialiseHFC xs ⇒ ReconstructNestedCtxt Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods reconstructPrefixLen ∷ proxy (Header (HardForkBlock xs)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (HardForkBlock xs)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock xs) Source #
ReconstructNestedCtxt Header (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods reconstructPrefixLen ∷ proxy (Header (TestBlockWith ptype)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (TestBlockWith ptype)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (TestBlockWith ptype) Source #
StandardHash blk ⇒ StandardHash (Header blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract
Typeable xs ⇒ ShowProxy (Header (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showProxy ∷ Proxy (Header (HardForkBlock xs)) → String #
Typeable ptype ⇒ ShowProxy (Header (TestBlockWith ptype) ∷ Type) Source #
Instance details Defined in Test.Util.TestBlock Methods showProxy ∷ Proxy (Header (TestBlockWith ptype)) → String #
HasNestedContent Header m ⇒ HasNestedContent Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods unnest ∷ Header (DualBlock m a) → DepPair (NestedCtxt Header (DualBlock m a)) Source # nest ∷ DepPair (NestedCtxt Header (DualBlock m a)) → Header (DualBlock m a) Source #
DecodeDisk TestBlock (ByteString → Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → Header TestBlock) Source #
ReconstructNestedCtxt Header m ⇒ ReconstructNestedCtxt Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods reconstructPrefixLen ∷ proxy (Header (DualBlock m a)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (DualBlock m a)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (DualBlock m a) Source #
CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
(Typeable m, Typeable a) ⇒ ShowProxy (DualHeader m a ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (DualHeader m a) → String #
All (Compose Eq Header) xs ⇒ Eq (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool # (/=) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #
Eq (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ Header TestBlock → Header TestBlock → Bool # (/=) ∷ Header TestBlock → Header TestBlock → Bool #
Eq ptype ⇒ Eq (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool # (/=) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool #
CanHardFork xs ⇒ Show (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → Header (HardForkBlock xs) → ShowS # show ∷ Header (HardForkBlock xs) → String # showList ∷ [Header (HardForkBlock xs)] → ShowS #
Show (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → Header TestBlock → ShowS # show ∷ Header TestBlock → String # showList ∷ [Header TestBlock] → ShowS #
Show ptype ⇒ Show (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Header (TestBlockWith ptype) → ShowS # show ∷ Header (TestBlockWith ptype) → String # showList ∷ [Header (TestBlockWith ptype)] → ShowS #
CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #
NoThunks (Header (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (DualBlock m a)) → String Source #
NoThunks (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → Header TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header TestBlock) → String Source #
NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (TestBlockWith ptype)) → String Source #
SignedHeader (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods headerSigned ∷ Header TestBlock → Signed (Header TestBlock) Source #
SignedHeader (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods headerSigned ∷ Header (TestBlockWith ptype) → Signed (Header (TestBlockWith ptype)) Source #
(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods condense ∷ Header (TestBlockWith ptype) → String Source #
CanHardFork xs ⇒ HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields ∷ Header (HardForkBlock xs) → HeaderFields (Header (HardForkBlock xs)) #
HasHeader (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getHeaderFields ∷ Header TestBlock → HeaderFields (Header TestBlock) #
Typeable ptype ⇒ HasHeader (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods getHeaderFields ∷ Header (TestBlockWith ptype) → HeaderFields (Header (TestBlockWith ptype)) #
Serialise (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ Header TestBlock → Encoding Source # decode ∷ Decoder s (Header TestBlock) Source # encodeList ∷ [Header TestBlock] → Encoding Source # decodeList ∷ Decoder s [Header TestBlock] Source #
Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ Header (TestBlockWith ptype) → Encoding Source # decode ∷ Decoder s (Header (TestBlockWith ptype)) Source # encodeList ∷ [Header (TestBlockWith ptype)] → Encoding Source # decodeList ∷ Decoder s [Header (TestBlockWith ptype)] Source #
DecodeDiskDep (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → ∀ s. Decoder s (ByteString → a) Source #
DecodeDiskDepIx (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDiskDepIx ∷ CodecConfig TestBlock → Decoder s (SomeSecond (NestedCtxt Header) TestBlock) Source #
EncodeDiskDep (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → a → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDiskDepIx ∷ CodecConfig TestBlock → SomeSecond (NestedCtxt Header) TestBlock → Encoding Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Header (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Header (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → ∀ s. Decoder s (ByteString → a) Source #
Serialise ptype ⇒ DecodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDiskDep ∷ CodecConfig (TestBlockWith ptype) → NestedCtxt Header (TestBlockWith ptype) a → ∀ s. Decoder s (ByteString → a) Source #
SerialiseHFC xs ⇒ DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → Decoder s (SomeSecond (NestedCtxt Header) (HardForkBlock xs)) Source #
Serialise ptype ⇒ EncodeDisk (TestBlockWith ptype) (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → a → Encoding Source #
Serialise ptype ⇒ EncodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDiskDep ∷ CodecConfig (TestBlockWith ptype) → NestedCtxt Header (TestBlockWith ptype) a → a → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → SomeSecond (NestedCtxt Header) (HardForkBlock xs) → Encoding Source #
Serialise ptype ⇒ DecodeDisk (TestBlockWith ptype) (ByteString → Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (ByteString → Header (TestBlockWith ptype)) Source #
EncodeDiskDep (NestedCtxt Header) m ⇒ EncodeDiskDep (NestedCtxt Header) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDep ∷ CodecConfig (DualBlock m a) → NestedCtxt Header (DualBlock m a) a0 → a0 → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) m ⇒ EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDepIx ∷ CodecConfig (DualBlock m a) → SomeSecond (NestedCtxt Header) (DualBlock m a) → Encoding Source #
Show (Header m) ⇒ Show (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → DualHeader m a → ShowS # show ∷ DualHeader m a → String # showList ∷ [DualHeader m a] → ShowS #
Bridge m a ⇒ HasHeader (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields ∷ DualHeader m a → HeaderFields (DualHeader m a) #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
newtype Header TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock newtype Header TestBlock = TestHeader' { unTestHeader ∷ TestHeader }
type HeaderHash (Header blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type BlockProtocol (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
newtype Header (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock newtype Header (TestBlockWith ptype) = TestHeader { testHeader ∷ TestBlockWith ptype }
type Signed (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Signed (Header TestBlock) = ()
type Signed (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type Signed (Header (TestBlockWith ptype)) = ()
newtype Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype Header (DualBlock m a) = DualHeader { dualHeaderMain ∷ Header m }