Safe Haskell	None
Language	Haskell2010

Test.Util.TestBlock

Contents

Blocks
- Test block without payload
- Payload semantics
LedgerState
Chain
Tree
Ledger infrastructure
Support for tests

Description

Minimal instantiation of the consensus layer to be able to run the ChainDB

Synopsis

data family BlockConfig blk
data family BlockQuery blk ∷ Type → Type
data family CodecConfig blk
data family Header blk
data family StorageConfig blk
data TestBlockError ptype
- = InvalidHash (ChainHash (TestBlockWith ptype)) (ChainHash (TestBlockWith ptype))
- | InvalidBlock
- | InvalidPayload (PayloadDependentError ptype)
data TestBlockWith ptype
data TestHash where
- pattern TestHash ∷ NonEmpty Word64 → TestHash
data Validity
- = Valid
- | Invalid
firstBlockWithPayload ∷ Word64 → ptype → TestBlockWith ptype
forkBlock ∷ TestBlock → TestBlock
modifyFork ∷ (Word64 → Word64) → TestBlock → TestBlock
successorBlockWithPayload ∷ TestHash → SlotNo → ptype → TestBlockWith ptype
testHashFromList ∷ [Word64] → TestHash
unTestHash ∷ TestHash → NonEmpty Word64
type TestBlock = TestBlockWith ()
firstBlock ∷ Word64 → TestBlock
successorBlock ∷ TestBlock → TestBlock
class (Typeable ptype, Eq ptype, NoThunks ptype, Eq (PayloadDependentState ptype), Show (PayloadDependentState ptype), Generic (PayloadDependentState ptype), ToExpr (PayloadDependentState ptype), Serialise (PayloadDependentState ptype), NoThunks (PayloadDependentState ptype), Eq (PayloadDependentError ptype), Show (PayloadDependentError ptype), Generic (PayloadDependentError ptype), ToExpr (PayloadDependentError ptype), Serialise (PayloadDependentError ptype), NoThunks (PayloadDependentError ptype), NoThunks (CodecConfig (TestBlockWith ptype)), NoThunks (StorageConfig (TestBlockWith ptype))) ⇒ PayloadSemantics ptype where
- type PayloadDependentState ptype ∷ Type
- type PayloadDependentError ptype ∷ Type
- applyPayload ∷ PayloadDependentState ptype → ptype → Either (PayloadDependentError ptype) (PayloadDependentState ptype)
applyDirectlyToPayloadDependentState ∷ PayloadSemantics ptype ⇒ Ticked (LedgerState (TestBlockWith ptype)) → ptype → Either (PayloadDependentError ptype) (Ticked (LedgerState (TestBlockWith ptype)))
data family LedgerState blk
data family Ticked st
lastAppliedPoint ∷ LedgerState (TestBlockWith ptype) → Point (TestBlockWith ptype)
payloadDependentState ∷ LedgerState (TestBlockWith ptype) → PayloadDependentState ptype
newtype BlockChain = BlockChain Word64
blockChain ∷ BlockChain → Chain TestBlock
chainToBlocks ∷ BlockChain → [TestBlock]
newtype BlockTree = BlockTree (Tree ())
blockTree ∷ BlockTree → Tree TestBlock
treePreferredChain ∷ BlockTree → Chain TestBlock
treeToBlocks ∷ BlockTree → [TestBlock]
treeToChains ∷ BlockTree → [Chain TestBlock]
singleNodeTestConfig ∷ TopLevelConfig TestBlock
singleNodeTestConfigWith ∷ CodecConfig (TestBlockWith ptype) → StorageConfig (TestBlockWith ptype) → SecurityParam → TopLevelConfig (TestBlockWith ptype)
singleNodeTestConfigWithK ∷ SecurityParam → TopLevelConfig TestBlock
testInitExtLedger ∷ ExtLedgerState TestBlock
testInitExtLedgerWithState ∷ PayloadDependentState ptype → ExtLedgerState (TestBlockWith ptype)
testInitLedger ∷ LedgerState TestBlock
testInitLedgerWithState ∷ PayloadDependentState ptype → LedgerState (TestBlockWith ptype)
newtype Permutation = Permutation Int
permute ∷ Permutation → [a] → [a]

Blocks

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Show (BlockConfig (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockConfig (TestBlockWith ptype) → ShowS Source # show ∷ BlockConfig (TestBlockWith ptype) → String Source # showList ∷ [BlockConfig (TestBlockWith ptype)] → ShowS Source #
Generic (BlockConfig (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (BlockConfig (TestBlockWith ptype)) ∷ Type → Type Source # Methods from ∷ BlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x Source # to ∷ Rep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) Source #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String #
NoThunks (BlockConfig (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (BlockConfig (TestBlockWith ptype)) → String #
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-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))
newtype BlockConfig (HardForkBlock xs)
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 family BlockQuery blk ∷ Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

SameDepIndex (BlockQuery TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods sameDepIndex ∷ BlockQuery TestBlock a → BlockQuery TestBlock b → Maybe (a :~: b) Source #
ShowQuery (BlockQuery TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods showResult ∷ BlockQuery TestBlock result → result → String Source #
Eq (BlockQuery TestBlock result) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ BlockQuery TestBlock result → BlockQuery TestBlock result → Bool Source # (/=) ∷ BlockQuery TestBlock result → BlockQuery TestBlock result → Bool Source #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool Source # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool Source #
Show (BlockQuery TestBlock result) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockQuery TestBlock result → ShowS Source # show ∷ BlockQuery TestBlock result → String Source # showList ∷ [BlockQuery TestBlock result] → ShowS Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS Source # show ∷ SomeSecond BlockQuery blk → String Source # showList ∷ [SomeSecond BlockQuery blk] → ShowS Source #
data BlockQuery TestBlock result Source #
Instance details Defined in Test.Util.TestBlock data BlockQuery TestBlock result where QueryLedgerTip ∷ BlockQuery TestBlock (Point TestBlock)
data BlockQuery (HardForkBlock xs) a
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a

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

Show (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → CodecConfig TestBlock → ShowS Source # show ∷ CodecConfig TestBlock → String Source # showList ∷ [CodecConfig TestBlock] → ShowS Source #
Generic (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (CodecConfig TestBlock) ∷ Type → Type Source # Methods from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x Source # to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock Source #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String #
NoThunks (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (CodecConfig TestBlock) → String #
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 TestBlock) Source #
Instance details Defined in Test.Util.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype CodecConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }

data family Header blk Source #

Instances

Instances details

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 #
Typeable ptype ⇒ ShowProxy (Header (TestBlockWith ptype) ∷ Type) Source #
Instance details Defined in Test.Util.TestBlock Methods showProxy ∷ Proxy (Header (TestBlockWith ptype)) → String Source #
Eq ptype ⇒ Eq (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool Source # (/=) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool Source #
Show ptype ⇒ Show (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Header (TestBlockWith ptype) → ShowS Source # show ∷ Header (TestBlockWith ptype) → String Source # showList ∷ [Header (TestBlockWith ptype)] → ShowS Source #
Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ Header (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (Header (TestBlockWith ptype)) # encodeList ∷ [Header (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [Header (TestBlockWith ptype)] #
(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods condense ∷ Header (TestBlockWith ptype) → String Source #
SignedHeader (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods headerSigned ∷ Header (TestBlockWith ptype) → Signed (Header (TestBlockWith ptype)) Source #
NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Header (TestBlockWith ptype)) → String #
HasHeader blk ⇒ StandardHash (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract
(Typeable ptype, Eq ptype) ⇒ HasHeader (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods getHeaderFields ∷ Header (TestBlockWith ptype) → HeaderFields (Header (TestBlockWith ptype)) 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 #
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 #
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 #
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 #
type BlockProtocol (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (HardForkBlock xs)
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 (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type Signed (Header (TestBlockWith ptype)) = ()
type HeaderHash (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk) = HeaderHash blk

data family StorageConfig blk Source #

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

Instances

Instances details

Show (StorageConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → StorageConfig TestBlock → ShowS Source # show ∷ StorageConfig TestBlock → String Source # showList ∷ [StorageConfig TestBlock] → ShowS Source #
Generic (StorageConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (StorageConfig TestBlock) ∷ Type → Type Source # Methods from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x Source # to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock Source #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String #
NoThunks (StorageConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (StorageConfig TestBlock) → String #
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 TestBlock) Source #
Instance details Defined in Test.Util.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype StorageConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }

data TestBlockError ptype Source #

Constructors

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

Instances

Instances details

Eq (PayloadDependentError ptype) ⇒ Eq (TestBlockError ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ TestBlockError ptype → TestBlockError ptype → Bool Source # (/=) ∷ TestBlockError ptype → TestBlockError ptype → Bool Source #
Show (PayloadDependentError ptype) ⇒ Show (TestBlockError ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → TestBlockError ptype → ShowS Source # show ∷ TestBlockError ptype → String Source # showList ∷ [TestBlockError ptype] → ShowS Source #
Generic (TestBlockError ptype) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (TestBlockError ptype) ∷ Type → Type Source # Methods from ∷ TestBlockError ptype → Rep (TestBlockError ptype) x Source # to ∷ Rep (TestBlockError ptype) x → TestBlockError ptype Source #
(Typeable ptype, Generic (PayloadDependentError ptype), NoThunks (PayloadDependentError ptype)) ⇒ NoThunks (TestBlockError ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → TestBlockError ptype → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → TestBlockError ptype → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (TestBlockError ptype) → String #
type Rep (TestBlockError ptype) Source #
Instance details Defined in Test.Util.TestBlock type Rep (TestBlockError ptype) = D1 ('MetaData "TestBlockError" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "InvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash (TestBlockWith ptype))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash (TestBlockWith ptype)))) :+: (C1 ('MetaCons "InvalidBlock" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "InvalidPayload" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentError ptype)))))

data TestBlockWith ptype Source #

Test block parametrized on the payload type

For blocks without payload see the TestBlock type alias.

By defining a PayloadSemantics it is possible to obtain an ApplyBlock instance. See the former class for more details.

Instances

Instances details

QueryLedger TestBlock Source #
Instance details Defined in Test.Util.TestBlock Methods answerBlockQuery ∷ ExtLedgerCfg TestBlock → BlockQuery TestBlock result → ExtLedgerState TestBlock → result Source #
HasHardForkHistory TestBlock Source #
Instance details Defined in Test.Util.TestBlock Associated Types type HardForkIndices TestBlock ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig TestBlock → LedgerState TestBlock → Summary (HardForkIndices TestBlock) 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 #
HasNestedContent f (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods unnest ∷ f (TestBlockWith ptype) → DepPair (NestedCtxt f (TestBlockWith ptype)) Source # nest ∷ DepPair (NestedCtxt f (TestBlockWith ptype)) → f (TestBlockWith ptype) Source #
Typeable ptype ⇒ ShowProxy (Header (TestBlockWith ptype) ∷ Type) Source #
Instance details Defined in Test.Util.TestBlock Methods showProxy ∷ Proxy (Header (TestBlockWith ptype)) → String Source #
PayloadSemantics ptype ⇒ Eq (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Bool Source # (/=) ∷ LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Bool Source #
Eq ptype ⇒ Eq (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool Source # (/=) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool Source #
PayloadSemantics ptype ⇒ Eq (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool Source # (/=) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool Source #
Eq ptype ⇒ Eq (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool Source # (/=) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool Source #
Ord ptype ⇒ Ord (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods compare ∷ TestBlockWith ptype → TestBlockWith ptype → Ordering Source # (<) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool Source # (<=) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool Source # (>) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool Source # (>=) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool Source # max ∷ TestBlockWith ptype → TestBlockWith ptype → TestBlockWith ptype Source # min ∷ TestBlockWith ptype → TestBlockWith ptype → TestBlockWith ptype Source #
PayloadSemantics ptype ⇒ Show (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → LedgerState (TestBlockWith ptype) → ShowS Source # show ∷ LedgerState (TestBlockWith ptype) → String Source # showList ∷ [LedgerState (TestBlockWith ptype)] → ShowS Source #
Show (BlockConfig (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockConfig (TestBlockWith ptype) → ShowS Source # show ∷ BlockConfig (TestBlockWith ptype) → String Source # showList ∷ [BlockConfig (TestBlockWith ptype)] → ShowS Source #
Show (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → CodecConfig TestBlock → ShowS Source # show ∷ CodecConfig TestBlock → String Source # showList ∷ [CodecConfig TestBlock] → ShowS Source #
Show (StorageConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → StorageConfig TestBlock → ShowS Source # show ∷ StorageConfig TestBlock → String Source # showList ∷ [StorageConfig TestBlock] → ShowS Source #
Show ptype ⇒ Show (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Header (TestBlockWith ptype) → ShowS Source # show ∷ Header (TestBlockWith ptype) → String Source # showList ∷ [Header (TestBlockWith ptype)] → ShowS Source #
PayloadSemantics ptype ⇒ Show (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Ticked (LedgerState (TestBlockWith ptype)) → ShowS Source # show ∷ Ticked (LedgerState (TestBlockWith ptype)) → String Source # showList ∷ [Ticked (LedgerState (TestBlockWith ptype))] → ShowS Source #
Show ptype ⇒ Show (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → TestBlockWith ptype → ShowS Source # show ∷ TestBlockWith ptype → String Source # showList ∷ [TestBlockWith ptype] → ShowS Source #
Generic (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (LedgerState (TestBlockWith ptype)) ∷ Type → Type Source # Methods from ∷ LedgerState (TestBlockWith ptype) → Rep (LedgerState (TestBlockWith ptype)) x Source # to ∷ Rep (LedgerState (TestBlockWith ptype)) x → LedgerState (TestBlockWith ptype) Source #
Generic (BlockConfig (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (BlockConfig (TestBlockWith ptype)) ∷ Type → Type Source # Methods from ∷ BlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x Source # to ∷ Rep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) Source #
Generic (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (CodecConfig TestBlock) ∷ Type → Type Source # Methods from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x Source # to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock Source #
Generic (StorageConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (StorageConfig TestBlock) ∷ Type → Type Source # Methods from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x Source # to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock Source #
Generic (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (Ticked (LedgerState (TestBlockWith ptype))) ∷ Type → Type Source # Methods from ∷ Ticked (LedgerState (TestBlockWith ptype)) → Rep (Ticked (LedgerState (TestBlockWith ptype))) x Source # to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype))) x → Ticked (LedgerState (TestBlockWith ptype)) Source #
Generic (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (TestBlockWith ptype) ∷ Type → Type Source # Methods from ∷ TestBlockWith ptype → Rep (TestBlockWith ptype) x Source # to ∷ Rep (TestBlockWith ptype) x → TestBlockWith ptype Source #
PayloadSemantics ptype ⇒ Serialise (ExtLedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ ExtLedgerState (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (ExtLedgerState (TestBlockWith ptype)) # encodeList ∷ [ExtLedgerState (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [ExtLedgerState (TestBlockWith ptype)] #
Serialise (AnnTip (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ AnnTip (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (AnnTip (TestBlockWith ptype)) # encodeList ∷ [AnnTip (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [AnnTip (TestBlockWith ptype)] #
Serialise (RealPoint (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ RealPoint (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (RealPoint (TestBlockWith ptype)) # encodeList ∷ [RealPoint (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [RealPoint (TestBlockWith ptype)] #
PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ LedgerState (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (LedgerState (TestBlockWith ptype)) # encodeList ∷ [LedgerState (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype)] #
Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ Header (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (Header (TestBlockWith ptype)) # encodeList ∷ [Header (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [Header (TestBlockWith ptype)] #
Serialise ptype ⇒ Serialise (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ TestBlockWith ptype → Encoding # decode ∷ Decoder s (TestBlockWith ptype) # encodeList ∷ [TestBlockWith ptype] → Encoding # decodeList ∷ Decoder s [TestBlockWith ptype] #
(Serialise ptype, PayloadSemantics ptype) ⇒ SerialiseDiskConstraints (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock
ConfigSupportsNode (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods getSystemStart ∷ BlockConfig (TestBlockWith ptype) → SystemStart Source # getNetworkMagic ∷ BlockConfig (TestBlockWith ptype) → NetworkMagic Source #
PayloadSemantics ptype ⇒ LedgerSupportsProtocol (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods protocolLedgerView ∷ LedgerConfig (TestBlockWith ptype) → Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerView (BlockProtocol (TestBlockWith ptype))) Source # ledgerViewForecastAt ∷ LedgerConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Forecast (LedgerView (BlockProtocol (TestBlockWith ptype))) Source #
Serialise ptype ⇒ HasBinaryBlockInfo (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods getBinaryBlockInfo ∷ TestBlockWith ptype → BinaryBlockInfo Source #
InspectLedger (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type LedgerWarning (TestBlockWith ptype) Source # type LedgerUpdate (TestBlockWith ptype) Source # Methods inspectLedger ∷ TopLevelConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → [LedgerEvent (TestBlockWith ptype)] Source #
PayloadSemantics ptype ⇒ HasAnnTip (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type TipInfo (TestBlockWith ptype) Source # Methods getTipInfo ∷ Header (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) Source # tipInfoHash ∷ proxy (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) → HeaderHash (TestBlockWith ptype) Source #
PayloadSemantics ptype ⇒ BasicEnvelopeValidation (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods expectedFirstBlockNo ∷ proxy (TestBlockWith ptype) → BlockNo Source # expectedNextBlockNo ∷ proxy (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy (TestBlockWith ptype) → SlotNo Source # minimumNextSlotNo ∷ proxy (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) → SlotNo → SlotNo Source #
PayloadSemantics ptype ⇒ ValidateEnvelope (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type OtherHeaderEnvelopeError (TestBlockWith ptype) Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig (TestBlockWith ptype) → Ticked (LedgerView (BlockProtocol (TestBlockWith ptype))) → Header (TestBlockWith ptype) → Except (OtherHeaderEnvelopeError (TestBlockWith ptype)) () Source #
(Typeable ptype, Eq ptype, NoThunks ptype, NoThunks (CodecConfig (TestBlockWith ptype)), NoThunks (StorageConfig (TestBlockWith ptype))) ⇒ BlockSupportsProtocol (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods validateView ∷ BlockConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → ValidateView (BlockProtocol (TestBlockWith ptype)) Source # selectView ∷ BlockConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → SelectView (BlockProtocol (TestBlockWith ptype)) Source #
PayloadSemantics ptype ⇒ UpdateLedger (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock
GetTip (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ LedgerState (TestBlockWith ptype) → Point (LedgerState (TestBlockWith ptype)) Source #
GetTip (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ Ticked (LedgerState (TestBlockWith ptype)) → Point (Ticked (LedgerState (TestBlockWith ptype))) Source #
PayloadSemantics ptype ⇒ IsLedger (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type LedgerErr (LedgerState (TestBlockWith ptype)) Source # type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (TestBlockWith ptype)) → SlotNo → LedgerState (TestBlockWith ptype) → LedgerResult (LedgerState (TestBlockWith ptype)) (Ticked (LedgerState (TestBlockWith ptype))) Source #
(Typeable ptype, Eq ptype) ⇒ GetPrevHash (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods headerPrevHash ∷ Header (TestBlockWith ptype) → ChainHash (TestBlockWith ptype) Source #
(Typeable ptype, Eq ptype) ⇒ GetHeader (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods getHeader ∷ TestBlockWith ptype → Header (TestBlockWith ptype) Source # blockMatchesHeader ∷ Header (TestBlockWith ptype) → TestBlockWith ptype → Bool Source # headerIsEBB ∷ Header (TestBlockWith ptype) → Maybe EpochNo Source #
ConvertRawHash (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods toRawHash ∷ proxy (TestBlockWith ptype) → HeaderHash (TestBlockWith ptype) → ByteString Source # fromRawHash ∷ proxy (TestBlockWith ptype) → ByteString → HeaderHash (TestBlockWith ptype) Source # toShortRawHash ∷ proxy (TestBlockWith ptype) → HeaderHash (TestBlockWith ptype) → ShortByteString Source # fromShortRawHash ∷ proxy (TestBlockWith ptype) → ShortByteString → HeaderHash (TestBlockWith ptype) Source # hashSize ∷ proxy (TestBlockWith ptype) → Word32 Source #
(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods condense ∷ Header (TestBlockWith ptype) → String Source #
Condense (ChainHash (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods condense ∷ ChainHash (TestBlockWith ptype) → String Source #
(Typeable ptype, Eq ptype) ⇒ Condense (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods condense ∷ TestBlockWith ptype → String Source #
SameDepIndex (BlockQuery TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods sameDepIndex ∷ BlockQuery TestBlock a → BlockQuery TestBlock b → Maybe (a :~: b) Source #
SignedHeader (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods headerSigned ∷ Header (TestBlockWith ptype) → Signed (Header (TestBlockWith ptype)) Source #
HasNetworkProtocolVersion (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type BlockNodeToNodeVersion (TestBlockWith ptype) Source # type BlockNodeToClientVersion (TestBlockWith ptype) Source #
PayloadSemantics ptype ⇒ NoThunks (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → LedgerState (TestBlockWith ptype) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → LedgerState (TestBlockWith ptype) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype)) → String #
NoThunks (BlockConfig (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (BlockConfig (TestBlockWith ptype)) → String #
NoThunks (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (CodecConfig TestBlock) → String #
NoThunks (StorageConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (StorageConfig TestBlock) → String #
NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Header (TestBlockWith ptype)) → String #
PayloadSemantics ptype ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype))) → String #
NoThunks ptype ⇒ NoThunks (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → TestBlockWith ptype → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → TestBlockWith ptype → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (TestBlockWith ptype) → String #
ShowQuery (BlockQuery TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods showResult ∷ BlockQuery TestBlock result → result → String Source #
StandardHash (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock
(Typeable ptype, Eq ptype) ⇒ HasHeader (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods getHeaderFields ∷ Header (TestBlockWith ptype) → HeaderFields (Header (TestBlockWith ptype)) Source #
(Typeable ptype, Eq ptype) ⇒ HasHeader (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods getHeaderFields ∷ TestBlockWith ptype → HeaderFields (TestBlockWith ptype) Source #
PayloadSemantics ptype ⇒ ToExpr (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ LedgerState (TestBlockWith ptype) → Expr listToExpr ∷ [LedgerState (TestBlockWith ptype)] → Expr
PayloadSemantics ptype ⇒ ToExpr (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ Ticked (LedgerState (TestBlockWith ptype)) → Expr listToExpr ∷ [Ticked (LedgerState (TestBlockWith ptype))] → Expr
ToExpr ptype ⇒ ToExpr (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ TestBlockWith ptype → Expr listToExpr ∷ [TestBlockWith ptype] → Expr
EncodeDisk (TestBlockWith ptype) () Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → () → Encoding Source #
DecodeDisk (TestBlockWith ptype) () Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s () Source #
ShowProxy TestBlock Source #
Instance details Defined in Test.Util.TestBlock Methods showProxy ∷ Proxy TestBlock → String Source #
PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Encoding Source #
EncodeDisk (TestBlockWith ptype) (AnnTip (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → AnnTip (TestBlockWith ptype) → Encoding 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 #
Serialise ptype ⇒ EncodeDisk (TestBlockWith ptype) (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → TestBlockWith ptype → Encoding Source #
PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (LedgerState (TestBlockWith ptype)) Source #
DecodeDisk (TestBlockWith ptype) (AnnTip (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (AnnTip (TestBlockWith ptype)) 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 #
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 #
PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype)) 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 #
Serialise ptype ⇒ DecodeDisk (TestBlockWith ptype) (ByteString → TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (ByteString → TestBlockWith ptype) Source #
Eq (BlockQuery TestBlock result) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ BlockQuery TestBlock result → BlockQuery TestBlock result → Bool Source # (/=) ∷ BlockQuery TestBlock result → BlockQuery TestBlock result → Bool Source #
Show (BlockQuery TestBlock result) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockQuery TestBlock result → ShowS Source # show ∷ BlockQuery TestBlock result → String Source # showList ∷ [BlockQuery TestBlock result] → ShowS Source #
SameDepIndex (NestedCtxt_ (TestBlockWith ptype) f) Source #
Instance details Defined in Test.Util.TestBlock Methods sameDepIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → Maybe (a :~: b) Source #
TrivialDependency (NestedCtxt_ (TestBlockWith ptype) f) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f) Source # Methods hasSingleIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ (TestBlockWith ptype) f (TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f)) Source #
Show (NestedCtxt_ (TestBlockWith ptype) f a) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → NestedCtxt_ (TestBlockWith ptype) f a → ShowS Source # show ∷ NestedCtxt_ (TestBlockWith ptype) f a → String Source # showList ∷ [NestedCtxt_ (TestBlockWith ptype) f a] → ShowS Source #
data BlockQuery TestBlock result Source #
Instance details Defined in Test.Util.TestBlock data BlockQuery TestBlock result where QueryLedgerTip ∷ BlockQuery TestBlock (Point TestBlock)
type HardForkIndices TestBlock Source #
Instance details Defined in Test.Util.TestBlock type HardForkIndices TestBlock = '[TestBlock]
data CodecConfig TestBlock Source #	The `TestBlock` does not need any codec config
Instance details Defined in Test.Util.TestBlock data CodecConfig TestBlock = TestBlockCodecConfig
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 (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type Rep (LedgerState (TestBlockWith ptype)) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype))))
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-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))
type Rep (CodecConfig TestBlock) Source #
Instance details Defined in Test.Util.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockCodecConfig" '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-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock type Rep (Ticked (LedgerState (TestBlockWith ptype))) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype)))))
type Rep (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type Rep (TestBlockWith ptype) = D1 ('MetaData "TestBlockWith" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestBlockWith" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TestHash) :: S1 ('MetaSel ('Just "tbSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Just "tbValid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Validity) :*: S1 ('MetaSel ('Just "tbPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ptype))))
type LedgerUpdate (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type LedgerUpdate (TestBlockWith ptype) = Void
type LedgerWarning (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type LedgerWarning (TestBlockWith ptype) = Void
type TipInfo (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type TipInfo (TestBlockWith ptype) = HeaderHash (TestBlockWith ptype)
type OtherHeaderEnvelopeError (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type OtherHeaderEnvelopeError (TestBlockWith ptype) = Void
type LedgerCfg (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type LedgerCfg (LedgerState (TestBlockWith ptype)) = EraParams
type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))
type LedgerErr (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype
data LedgerState (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock data LedgerState (TestBlockWith ptype) = TestLedger { lastAppliedPoint ∷ Point (TestBlockWith ptype) payloadDependentState ∷ PayloadDependentState ptype }
type BlockProtocol (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type BlockProtocol (TestBlockWith ptype) = Bft BftMockCrypto
data BlockConfig (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock data BlockConfig (TestBlockWith ptype) = TestBlockConfig { testBlockNumCoreNodes ∷ !NumCoreNodes }
newtype Header (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock newtype Header (TestBlockWith ptype) = TestHeader { testHeader ∷ TestBlockWith ptype }
data NestedCtxt_ (TestBlockWith ptype) f a Source #
Instance details Defined in Test.Util.TestBlock data NestedCtxt_ (TestBlockWith ptype) f a where CtxtTestBlock ∷ ∀ ptype (f ∷ Type → Type). NestedCtxt_ (TestBlockWith ptype) f (f (TestBlockWith ptype))
newtype Ticked (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock newtype Ticked (LedgerState (TestBlockWith ptype)) = TickedTestLedger { getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) }
type Signed (Header (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type Signed (Header (TestBlockWith ptype)) = ()
type BlockNodeToClientVersion (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type BlockNodeToClientVersion (TestBlockWith ptype) = ()
type BlockNodeToNodeVersion (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type BlockNodeToNodeVersion (TestBlockWith ptype) = ()
type HeaderHash (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock type HeaderHash (TestBlockWith ptype) = TestHash
type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f) Source #
Instance details Defined in Test.Util.TestBlock type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f) = f (TestBlockWith ptype)

data TestHash where Source #

Bundled Patterns

pattern TestHash ∷ NonEmpty Word64 → TestHash

Instances

Instances details

Eq TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ TestHash → TestHash → Bool Source # (/=) ∷ TestHash → TestHash → Bool Source #
Ord TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods compare ∷ TestHash → TestHash → Ordering Source # (<) ∷ TestHash → TestHash → Bool Source # (<=) ∷ TestHash → TestHash → Bool Source # (>) ∷ TestHash → TestHash → Bool Source # (>=) ∷ TestHash → TestHash → Bool Source # max ∷ TestHash → TestHash → TestHash Source # min ∷ TestHash → TestHash → TestHash Source #
Show TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → TestHash → ShowS Source # show ∷ TestHash → String Source # showList ∷ [TestHash] → ShowS Source #
Generic TestHash Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep TestHash ∷ Type → Type Source # Methods from ∷ TestHash → Rep TestHash x Source # to ∷ Rep TestHash x → TestHash Source #
Serialise TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ TestHash → Encoding # decode ∷ Decoder s TestHash # encodeList ∷ [TestHash] → Encoding # decodeList ∷ Decoder s [TestHash] #
Condense TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods condense ∷ TestHash → String Source #
NoThunks TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → TestHash → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → TestHash → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy TestHash → String #
ToExpr TestHash Source #
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ TestHash → Expr listToExpr ∷ [TestHash] → Expr
type Rep TestHash Source #
Instance details Defined in Test.Util.TestBlock type Rep TestHash = D1 ('MetaData "TestHash" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'True) (C1 ('MetaCons "UnsafeTestHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTestHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Word64))))

data Validity Source #

Constructors

Valid
Invalid

Instances

Instances details

Bounded Validity Source #
Instance details Defined in Test.Util.TestBlock Methods minBound ∷ Validity Source # maxBound ∷ Validity Source #
Enum Validity Source #
Instance details Defined in Test.Util.TestBlock Methods succ ∷ Validity → Validity Source # pred ∷ Validity → Validity Source # toEnum ∷ Int → Validity Source # fromEnum ∷ Validity → Int Source # enumFrom ∷ Validity → [Validity] Source # enumFromThen ∷ Validity → Validity → [Validity] Source # enumFromTo ∷ Validity → Validity → [Validity] Source # enumFromThenTo ∷ Validity → Validity → Validity → [Validity] Source #
Eq Validity Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Validity → Validity → Bool Source # (/=) ∷ Validity → Validity → Bool Source #
Ord Validity Source #
Instance details Defined in Test.Util.TestBlock Methods compare ∷ Validity → Validity → Ordering Source # (<) ∷ Validity → Validity → Bool Source # (<=) ∷ Validity → Validity → Bool Source # (>) ∷ Validity → Validity → Bool Source # (>=) ∷ Validity → Validity → Bool Source # max ∷ Validity → Validity → Validity Source # min ∷ Validity → Validity → Validity Source #
Show Validity Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Validity → ShowS Source # show ∷ Validity → String Source # showList ∷ [Validity] → ShowS Source #
Generic Validity Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep Validity ∷ Type → Type Source # Methods from ∷ Validity → Rep Validity x Source # to ∷ Rep Validity x → Validity Source #
Serialise Validity Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ Validity → Encoding # decode ∷ Decoder s Validity # encodeList ∷ [Validity] → Encoding # decodeList ∷ Decoder s [Validity] #
NoThunks Validity Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Validity → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Validity → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy Validity → String #
ToExpr Validity Source #
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ Validity → Expr listToExpr ∷ [Validity] → Expr
type Rep Validity Source #
Instance details Defined in Test.Util.TestBlock type Rep Validity = D1 ('MetaData "Validity" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "Valid" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Invalid" 'PrefixI 'False) (U1 ∷ Type → Type))

firstBlockWithPayload ∷ Word64 → ptype → TestBlockWith ptype Source #

Create the first block in the given fork, [fork], with the given payload. The SlotNo will be 1.

forkBlock ∷ TestBlock → TestBlock Source #

modifyFork ∷ (Word64 → Word64) → TestBlock → TestBlock Source #

successorBlockWithPayload ∷ TestHash → SlotNo → ptype → TestBlockWith ptype Source #

Create the successor of the given block without forking: b -> b ++ [0] (in the printed representation) The SlotNo is increased by 1.

In Zipper parlance, this corresponds to going down in a tree.

testHashFromList ∷ [Word64] → TestHash Source #

unTestHash ∷ TestHash → NonEmpty Word64 Source #

Test block without payload

type TestBlock = TestBlockWith () Source #

Block without payload

firstBlock ∷ Word64 → TestBlock Source #

See firstBlockWithPayload.

successorBlock ∷ TestBlock → TestBlock Source #

See successorBlockWithPayload.

Payload semantics

class (Typeable ptype, Eq ptype, NoThunks ptype, Eq (PayloadDependentState ptype), Show (PayloadDependentState ptype), Generic (PayloadDependentState ptype), ToExpr (PayloadDependentState ptype), Serialise (PayloadDependentState ptype), NoThunks (PayloadDependentState ptype), Eq (PayloadDependentError ptype), Show (PayloadDependentError ptype), Generic (PayloadDependentError ptype), ToExpr (PayloadDependentError ptype), Serialise (PayloadDependentError ptype), NoThunks (PayloadDependentError ptype), NoThunks (CodecConfig (TestBlockWith ptype)), NoThunks (StorageConfig (TestBlockWith ptype))) ⇒ PayloadSemantics ptype where Source #

Associated Types

type PayloadDependentState ptype ∷ Type Source #

type PayloadDependentError ptype ∷ Type Source #

Methods

applyPayload ∷ PayloadDependentState ptype → ptype → Either (PayloadDependentError ptype) (PayloadDependentState ptype) Source #

Instances

Instances details

PayloadSemantics () Source #
Instance details Defined in Test.Util.TestBlock Associated Types type PayloadDependentState () Source # type PayloadDependentError () Source # Methods applyPayload ∷ PayloadDependentState () → () → Either (PayloadDependentError ()) (PayloadDependentState ()) Source #

applyDirectlyToPayloadDependentState ∷ PayloadSemantics ptype ⇒ Ticked (LedgerState (TestBlockWith ptype)) → ptype → Either (PayloadDependentError ptype) (Ticked (LedgerState (TestBlockWith ptype))) Source #

Apply the payload directly to the payload dependent state portion of a ticked state, leaving the rest of the input ticked state unaltered.

LedgerState

data family LedgerState blk Source #

Ledger state associated with a block

Instances

Instances details

CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool Source # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool Source #
PayloadSemantics ptype ⇒ Eq (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Bool Source # (/=) ∷ LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Bool Source #
PayloadSemantics ptype ⇒ Eq (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool Source # (/=) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool Source #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS Source # show ∷ LedgerState (HardForkBlock xs) → String Source # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS Source #
PayloadSemantics ptype ⇒ Show (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → LedgerState (TestBlockWith ptype) → ShowS Source # show ∷ LedgerState (TestBlockWith ptype) → String Source # showList ∷ [LedgerState (TestBlockWith ptype)] → ShowS Source #
PayloadSemantics ptype ⇒ Show (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Ticked (LedgerState (TestBlockWith ptype)) → ShowS Source # show ∷ Ticked (LedgerState (TestBlockWith ptype)) → String Source # showList ∷ [Ticked (LedgerState (TestBlockWith ptype))] → ShowS Source #
Generic (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (LedgerState (TestBlockWith ptype)) ∷ Type → Type Source # Methods from ∷ LedgerState (TestBlockWith ptype) → Rep (LedgerState (TestBlockWith ptype)) x Source # to ∷ Rep (LedgerState (TestBlockWith ptype)) x → LedgerState (TestBlockWith ptype) Source #
Generic (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (Ticked (LedgerState (TestBlockWith ptype))) ∷ Type → Type Source # Methods from ∷ Ticked (LedgerState (TestBlockWith ptype)) → Rep (Ticked (LedgerState (TestBlockWith ptype))) x Source # to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype))) x → Ticked (LedgerState (TestBlockWith ptype)) Source #
PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encode ∷ LedgerState (TestBlockWith ptype) → Encoding # decode ∷ Decoder s (LedgerState (TestBlockWith ptype)) # encodeList ∷ [LedgerState (TestBlockWith ptype)] → Encoding # decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype)] #
GetTip (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ LedgerState (TestBlockWith ptype) → Point (LedgerState (TestBlockWith ptype)) Source #
GetTip (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ Ticked (LedgerState (TestBlockWith ptype)) → Point (Ticked (LedgerState (TestBlockWith ptype))) Source #
PayloadSemantics ptype ⇒ IsLedger (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type LedgerErr (LedgerState (TestBlockWith ptype)) Source # type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (TestBlockWith ptype)) → SlotNo → LedgerState (TestBlockWith ptype) → LedgerResult (LedgerState (TestBlockWith ptype)) (Ticked (LedgerState (TestBlockWith ptype))) Source #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String #
PayloadSemantics ptype ⇒ NoThunks (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → LedgerState (TestBlockWith ptype) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → LedgerState (TestBlockWith ptype) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype)) → String #
PayloadSemantics ptype ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype))) → String #
(IsNonEmpty xs, SListI xs, All (Compose Arbitrary LedgerState) xs) ⇒ Arbitrary (LedgerState (HardForkBlock xs))
Instance details Defined in Test.Util.Orphans.Arbitrary Methods arbitrary ∷ Gen (LedgerState (HardForkBlock xs)) shrink ∷ LedgerState (HardForkBlock xs) → [LedgerState (HardForkBlock xs)]
PayloadSemantics ptype ⇒ ToExpr (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ LedgerState (TestBlockWith ptype) → Expr listToExpr ∷ [LedgerState (TestBlockWith ptype)] → Expr
PayloadSemantics ptype ⇒ ToExpr (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ Ticked (LedgerState (TestBlockWith ptype)) → Expr listToExpr ∷ [Ticked (LedgerState (TestBlockWith ptype))] → Expr
PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Encoding Source #
PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (LedgerState (TestBlockWith ptype)) Source #
PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype)) Source #
type Rep (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type Rep (LedgerState (TestBlockWith ptype)) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype))))
type Rep (Ticked (LedgerState (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
type Rep (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock type Rep (Ticked (LedgerState (TestBlockWith ptype))) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype)))))
type LedgerCfg (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type LedgerCfg (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type LedgerCfg (LedgerState (TestBlockWith ptype)) = EraParams
type AuxLedgerEvent (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))
type LedgerErr (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type LedgerErr (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype
newtype LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
data LedgerState (TestBlockWith ptype) Source #
Instance details Defined in Test.Util.TestBlock data LedgerState (TestBlockWith ptype) = TestLedger { lastAppliedPoint ∷ Point (TestBlockWith ptype) payloadDependentState ∷ PayloadDependentState ptype }
data Ticked (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
newtype Ticked (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock newtype Ticked (LedgerState (TestBlockWith ptype)) = TickedTestLedger { getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) }
type HeaderHash (LedgerState blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk) = HeaderHash blk

data family Ticked st Source #

" Ticked " piece of state (LedgerState, LedgerView, ChainIndepState)

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state (or forecast).

Some examples of time related changes:

Scheduled delegations might have been applied in Byron
New leader schedule computed for Shelley
Transition from Byron to Shelley activated in the hard fork combinator.
Nonces switched out at the start of a new epoch.

Instances

Instances details

PayloadSemantics ptype ⇒ Eq (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool Source # (/=) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool Source #
Show (Ticked ())
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → Ticked () → ShowS Source # show ∷ Ticked () → String Source # showList ∷ [Ticked ()] → ShowS Source #
(SListI xs, Show (Ticked a)) ⇒ Show (Ticked (HardForkLedgerView_ (K a ∷ Type → Type) xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec ∷ Int → Ticked (HardForkLedgerView_ (K a) xs) → ShowS Source # show ∷ Ticked (HardForkLedgerView_ (K a) xs) → String Source # showList ∷ [Ticked (HardForkLedgerView_ (K a) xs)] → ShowS Source #
PayloadSemantics ptype ⇒ Show (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Ticked (LedgerState (TestBlockWith ptype)) → ShowS Source # show ∷ Ticked (LedgerState (TestBlockWith ptype)) → String Source # showList ∷ [Ticked (LedgerState (TestBlockWith ptype))] → ShowS Source #
Show (Ticked a) ⇒ Show (Ticked (K a x))
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → Ticked (K a x) → ShowS Source # show ∷ Ticked (K a x) → String Source # showList ∷ [Ticked (K a x)] → ShowS Source #
Generic (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (Ticked (LedgerState (TestBlockWith ptype))) ∷ Type → Type Source # Methods from ∷ Ticked (LedgerState (TestBlockWith ptype)) → Rep (Ticked (LedgerState (TestBlockWith ptype))) x Source # to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype))) x → Ticked (LedgerState (TestBlockWith ptype)) Source #
IsLedger (LedgerState blk) ⇒ GetTip (Ticked (ExtLedgerState blk))
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip ∷ Ticked (ExtLedgerState blk) → Point (Ticked (ExtLedgerState blk)) Source #
GetTip (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ Ticked (LedgerState (TestBlockWith ptype)) → Point (Ticked (LedgerState (TestBlockWith ptype))) Source #
PayloadSemantics ptype ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype))) → String #
PayloadSemantics ptype ⇒ ToExpr (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ Ticked (LedgerState (TestBlockWith ptype)) → Expr listToExpr ∷ [Ticked (LedgerState (TestBlockWith ptype))] → Expr
Show (Ticked (f a)) ⇒ Show ((Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → (Ticked :.: f) a → ShowS Source # show ∷ (Ticked :.: f) a → String Source # showList ∷ [(Ticked :.: f) a] → ShowS Source #
NoThunks (Ticked (f a)) ⇒ NoThunks ((Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy ((Ticked :.: f) a) → String #
data Ticked ()
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type Rep (Ticked (LedgerState (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
type Rep (Ticked (LedgerState (TestBlockWith ptype))) Source #
Instance details Defined in Test.Util.TestBlock type Rep (Ticked (LedgerState (TestBlockWith ptype))) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-test-0.3.1.0-inplace" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype)))))
newtype Ticked (PBftLedgerView c)
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype Ticked (PBftLedgerView c) = TickedPBftLedgerView { tickedPBftDelegates ∷ Bimap (PBftVerKeyHash c) (PBftVerKeyHash c) }
data Ticked (PBftState c)
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked (PBftState c) = TickedPBftState { tickedPBftLedgerView ∷ Ticked (LedgerView (PBft c)) getTickedPBftState ∷ PBftState c }
data Ticked (HardForkChainDepState xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra ∷ HardForkState (Ticked :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException) }
data Ticked (ExtLedgerState blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked (ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState ∷ Ticked (LedgerState blk) tickedLedgerView ∷ Ticked (LedgerView (BlockProtocol blk)) tickedHeaderState ∷ Ticked (HeaderState blk) }
newtype Ticked (WrapChainDepState blk)
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked (WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk)) }
newtype Ticked (WrapLedgerView blk)
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked (WrapLedgerView blk) = WrapTickedLedgerView { unwrapTickedLedgerView ∷ Ticked (LedgerView (BlockProtocol blk)) }
data Ticked (HeaderState blk)
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked (HeaderState blk) = TickedHeaderState { untickedHeaderStateTip ∷ WithOrigin (AnnTip blk) tickedHeaderStateChainDep ∷ Ticked (ChainDepState (BlockProtocol blk)) }
data Ticked (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
newtype Ticked (LedgerState (TestBlockWith ptype)) Source #
Instance details Defined in Test.Util.TestBlock newtype Ticked (LedgerState (TestBlockWith ptype)) = TickedTestLedger { getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) }
type HeaderHash (Ticked l)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (Ticked l) = HeaderHash l
data Ticked (HardForkLedgerView_ f xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView data Ticked (HardForkLedgerView_ f xs) = TickedHardForkLedgerView { tickedHardForkLedgerViewTransition ∷ !TransitionInfo tickedHardForkLedgerViewPerEra ∷ !(HardForkState (Ticked :.: f) xs) }
newtype Ticked (K a x)
Instance details Defined in Ouroboros.Consensus.Ticked newtype Ticked (K a x) = TickedK { getTickedK ∷ Ticked a }

lastAppliedPoint ∷ LedgerState (TestBlockWith ptype) → Point (TestBlockWith ptype) Source #

payloadDependentState ∷ LedgerState (TestBlockWith ptype) → PayloadDependentState ptype Source #

Chain

newtype BlockChain Source #

Constructors

BlockChain Word64

Instances

Instances details

Show BlockChain Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockChain → ShowS Source # show ∷ BlockChain → String Source # showList ∷ [BlockChain] → ShowS Source #
Arbitrary BlockChain Source #
Instance details Defined in Test.Util.TestBlock Methods arbitrary ∷ Gen BlockChain shrink ∷ BlockChain → [BlockChain]

blockChain ∷ BlockChain → Chain TestBlock Source #

chainToBlocks ∷ BlockChain → [TestBlock] Source #

Tree

newtype BlockTree Source #

Constructors

BlockTree (Tree ())

Instances

Instances details

Show BlockTree Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockTree → ShowS Source # show ∷ BlockTree → String Source # showList ∷ [BlockTree] → ShowS Source #
Arbitrary BlockTree Source #
Instance details Defined in Test.Util.TestBlock Methods arbitrary ∷ Gen BlockTree shrink ∷ BlockTree → [BlockTree]

blockTree ∷ BlockTree → Tree TestBlock Source #

treePreferredChain ∷ BlockTree → Chain TestBlock Source #

treeToBlocks ∷ BlockTree → [TestBlock] Source #

treeToChains ∷ BlockTree → [Chain TestBlock] Source #

Ledger infrastructure

singleNodeTestConfig ∷ TopLevelConfig TestBlock Source #

Trivial test configuration with a single core node

singleNodeTestConfigWith ∷ CodecConfig (TestBlockWith ptype) → StorageConfig (TestBlockWith ptype) → SecurityParam → TopLevelConfig (TestBlockWith ptype) Source #

singleNodeTestConfigWithK ∷ SecurityParam → TopLevelConfig TestBlock Source #

testInitExtLedger ∷ ExtLedgerState TestBlock Source #

testInitExtLedgerWithState ∷ PayloadDependentState ptype → ExtLedgerState (TestBlockWith ptype) Source #

testInitLedger ∷ LedgerState TestBlock Source #

testInitLedgerWithState ∷ PayloadDependentState ptype → LedgerState (TestBlockWith ptype) Source #

Support for tests

newtype Permutation Source #

Constructors

Permutation Int

Instances

Instances details

Show Permutation Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Permutation → ShowS Source # show ∷ Permutation → String Source # showList ∷ [Permutation] → ShowS Source #
Arbitrary Permutation Source #
Instance details Defined in Test.Util.TestBlock Methods arbitrary ∷ Gen Permutation shrink ∷ Permutation → [Permutation]

permute ∷ Permutation → [a] → [a] Source #