Blocks

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 (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 #

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-0.26.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)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (SelectViewDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

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 BlockConfig (DualBlock m a)

Instance details

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

data family BlockQuery ∷ Type → QueryFootprint → Type → Type Source #

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

Instances

Instances details

SameDepIndex2 (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a0 (y ∷ QueryFootprint) b. BlockQuery (DualBlock m a) x a0 → BlockQuery (DualBlock m a) y b → Maybe ('(x, a0) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery TestBlock) Source #
Instance details Defined in Test.Util.TestBlock Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery TestBlock x a → BlockQuery TestBlock y b → Maybe ('(x, a) :~: '(y, b)) Source #
(∀ (footprint ∷ QueryFootprint) result. Show (BlockQuery blk footprint result)) ⇒ Show (SomeBlockQuery (BlockQuery blk))
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeBlockQuery (BlockQuery blk) → ShowS # show ∷ SomeBlockQuery (BlockQuery blk) → String # showList ∷ [SomeBlockQuery (BlockQuery blk)] → ShowS #
ShowQuery (BlockQuery (DualBlock m a) footprint)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) footprint result → result → String Source #
ShowQuery (BlockQuery TestBlock fp) Source #
Instance details Defined in Test.Util.TestBlock Methods showResult ∷ BlockQuery TestBlock fp result → result → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String Source #
Show (BlockQuery (DualBlock m a) footprint result)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → BlockQuery (DualBlock m a) footprint result → ShowS # show ∷ BlockQuery (DualBlock m a) footprint result → String # showList ∷ [BlockQuery (DualBlock m a) footprint result] → ShowS #
Show (BlockQuery TestBlock fp result) Source #
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockQuery TestBlock fp result → ShowS # show ∷ BlockQuery TestBlock fp result → String # showList ∷ [BlockQuery TestBlock fp result] → ShowS #
Eq (BlockQuery TestBlock fp result) Source #
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ BlockQuery TestBlock fp result → BlockQuery TestBlock fp result → Bool # (/=) ∷ BlockQuery TestBlock fp result → BlockQuery TestBlock fp result → Bool #
Inject (SomeBlockQuery :.: BlockQuery)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → (SomeBlockQuery :.: BlockQuery) x → (SomeBlockQuery :.: BlockQuery) (HardForkBlock xs) Source #
data BlockQuery TestBlock fp result Source #
Instance details Defined in Test.Util.TestBlock data BlockQuery TestBlock fp result where QueryLedgerTip ∷ BlockQuery TestBlock 'QFNoTables (Point TestBlock)
data BlockQuery (HardForkBlock xs) footprint result
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) footprint result where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) (footprint ∷ QueryFootprint) result1. QueryIfCurrent xs footprint result1 → BlockQuery (HardForkBlock xs) footprint (Either (MismatchEraInfo xs) result1) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) result x. IsNonEmpty xs1 ⇒ QueryAnytime result → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x result. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) result → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result
data BlockQuery (DualBlock m a) footprint result
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery (DualBlock m a) footprint result

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

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))

Instance details

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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.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-0.26.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.Util.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))

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))

Instance details

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.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 #

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))

Instance details

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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.Util.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 CodecConfig (DualBlock m a)

Instance details

data CodecConfig (DualBlock m a) = DualCodecConfig {

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

}

data family Header blk Source #

Instances

newtype LedgerTables (l ∷ LedgerStateKind) (mk ∷ MapKind) Source #

The Ledger Tables represent the portion of the data on disk that has been pulled from disk and attached to the in-memory Ledger State or that will eventually be written to disk.

With UTxO-HD and the split of the Ledger ledger state into the in-memory part and the on-disk part, this splitting was reflected in the new type parameter added to the (Consensus) LedgerState, to which we refer as "the MapKind" or mk.

Every LedgerState (or LedgerState-like type, such as the ExtLedgerState) is associated with a LedgerTables and they both share the mk. They both are of kind LedgerStateKind. LedgerTables is just a way to refer only to a partial view of the on-disk data without having the rest of the in-memory LedgerState in scope.

The mk can be instantiated to anything that is map-like, i.e. that expects two type parameters, the key and the value.

Constructors

LedgerTables
Fields getLedgerTables ∷ mk (TxIn l) (TxOut l)

Instances

Instances details

(Ord (TxIn l), Eq (TxOut l), Show (TxIn l), Show (TxOut l), NoThunks (TxIn l), NoThunks (TxOut l), MemPack (TxIn l), IndexedMemPack (MemPackIdx l EmptyMK) (TxOut l)) ⇒ HasLedgerTables (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

Methods

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

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

Generic (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

type Rep (LedgerTables l mk)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.Basics type Rep (LedgerTables l mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn l) (TxOut l)))))

Methods

from ∷ LedgerTables l mk → Rep (LedgerTables l mk) x #

to ∷ Rep (LedgerTables l mk) x → LedgerTables l mk #

Show (mk (TxIn l) (TxOut l)) ⇒ Show (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables l mk → ShowS #

show ∷ LedgerTables l mk → String #

showList ∷ [LedgerTables l mk] → ShowS #

Eq (mk (TxIn l) (TxOut l)) ⇒ Eq (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

(==) ∷ LedgerTables l mk → LedgerTables l mk → Bool #

(/=) ∷ LedgerTables l mk → LedgerTables l mk → Bool #

NoThunks (mk (TxIn l) (TxOut l)) ⇒ NoThunks (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

noThunks ∷ Context → LedgerTables l mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerTables l mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerTables l mk) → String Source #

type TxIn (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (LedgerTables l) = TxIn l

type TxOut (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (LedgerTables l) = TxOut l

type Rep (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type Rep (LedgerTables l mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn l) (TxOut l)))))

type SerializeTablesHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

type SerializeTablesHint (LedgerTables l ValuesMK) = l EmptyMK

type InitHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type InitHint (LedgerTables l ValuesMK) = l EmptyMK

type ReadHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type ReadHint (LedgerTables l ValuesMK) = l EmptyMK

type WriteHint (LedgerTables l DiffMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type WriteHint (LedgerTables l DiffMK) = (l EmptyMK, l EmptyMK)

data family StorageConfig blk Source #

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

Instances

Instances details

Isomorphic StorageConfig

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))

Instance details

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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.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-0.26.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.Util.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))

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))

Instance details

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.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 #

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))

Instance details

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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.Util.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 StorageConfig (DualBlock m a)

Instance details

BlockSupportsLedgerQuery TestBlock Source #

data StorageConfig (DualBlock m a) = DualStorageConfig {

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

}

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

Generic (TestBlockError ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (TestBlockError ptype)

Instance details

Defined in Test.Util.TestBlock

type Rep (TestBlockError ptype) = D1 ('MetaData "TestBlockError" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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)))))

Methods

from ∷ TestBlockError ptype → Rep (TestBlockError ptype) x #

to ∷ Rep (TestBlockError ptype) x → TestBlockError ptype #

Show (PayloadDependentError ptype) ⇒ Show (TestBlockError ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → TestBlockError ptype → ShowS #

show ∷ TestBlockError ptype → String #

showList ∷ [TestBlockError ptype] → ShowS #

Eq (PayloadDependentError ptype) ⇒ Eq (TestBlockError ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ TestBlockError ptype → TestBlockError ptype → Bool #

(/=) ∷ TestBlockError ptype → TestBlockError ptype → Bool #

(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) Source #

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

showTypeOf ∷ Proxy (TestBlockError ptype) → String Source #

type Rep (TestBlockError ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (TestBlockError ptype) = D1 ('MetaData "TestBlockError" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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

HasHardForkHistory TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

Instance details

Defined in Test.Util.TestBlock

Methods

answerPureBlockQuery ∷ ExtLedgerCfg TestBlock → BlockQuery TestBlock 'QFNoTables result → ExtLedgerState TestBlock EmptyMK → result Source #

answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg TestBlock → BlockQuery TestBlock 'QFLookupTables result → ReadOnlyForker' m TestBlock → m result Source #

answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg TestBlock → BlockQuery TestBlock 'QFTraverseTables result → ReadOnlyForker' m TestBlock → m result Source #

blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery TestBlock fp result → BlockNodeToClientVersion TestBlock → Bool Source #

ShowProxy TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showProxy ∷ Proxy TestBlock → String Source #

SameDepIndex2 (BlockQuery TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery TestBlock x a → BlockQuery TestBlock y b → Maybe ('(x, a) :~: '(y, b)) 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 #

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 (TestBlockWith ptype ∷ Type) Source #

Instance details

Defined in Test.Util.TestBlock

Typeable ptype ⇒ ShowProxy (Header (TestBlockWith ptype) ∷ Type) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showProxy ∷ Proxy (Header (TestBlockWith ptype)) → String Source #

SameDepIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) 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 ∷ Type → Type) Source #

Instance details

Defined in Test.Util.TestBlock

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) ∷ Type) Source #

Generic (BlockConfig (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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-0.26.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) #

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-0.26.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.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-0.26.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 (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

type Rep (TestBlockWith ptype) = D1 ('MetaData "TestBlockWith" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockWith" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tbHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestHash) :*: S1 ('MetaSel ('Just "tbSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "tbValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Validity) :*: S1 ('MetaSel ('Just "tbPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ptype))))

Methods

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

to ∷ Rep (TestBlockWith ptype) x → 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 #

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 #

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 #

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 #

Show ptype ⇒ Show (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → TestBlockWith ptype → ShowS #

show ∷ TestBlockWith ptype → String #

showList ∷ [TestBlockWith ptype] → ShowS #

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 #

Eq ptype ⇒ Eq (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool #

(/=) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool #

Ord ptype ⇒ Ord (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

compare ∷ TestBlockWith ptype → TestBlockWith ptype → Ordering #

(<) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool #

(<=) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool #

(>) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool #

(>=) ∷ TestBlockWith ptype → TestBlockWith ptype → Bool #

max ∷ TestBlockWith ptype → TestBlockWith ptype → TestBlockWith ptype #

min ∷ TestBlockWith ptype → TestBlockWith ptype → TestBlockWith ptype #

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 #

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 #

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 #

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 #

NoThunks ptype ⇒ NoThunks (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (TestBlockWith ptype) → String 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) ⇒ 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 #

(Typeable ptype, Eq ptype) ⇒ GetPrevHash (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

headerPrevHash ∷ Header (TestBlockWith ptype) → ChainHash (TestBlockWith ptype) Source #

BlockSupportsProtocol (TestBlockWith ptype) ⇒ BlockSupportsDiffusionPipelining (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type TentativeHeaderState (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type TentativeHeaderState (TestBlockWith ptype) = TentativeHeaderState (SelectViewDiffusionPipelining (TestBlockWith ptype))
type TentativeHeaderView (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type TentativeHeaderView (TestBlockWith ptype) = TentativeHeaderView (SelectViewDiffusionPipelining (TestBlockWith ptype))

Methods

initialTentativeHeaderState ∷ Proxy (TestBlockWith ptype) → TentativeHeaderState (TestBlockWith ptype) Source #

tentativeHeaderView ∷ BlockConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → TentativeHeaderView (TestBlockWith ptype) Source #

applyTentativeHeaderView ∷ Proxy (TestBlockWith ptype) → TentativeHeaderView (TestBlockWith ptype) → TentativeHeaderState (TestBlockWith ptype) → Maybe (TentativeHeaderState (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 #

projectChainOrderConfig ∷ BlockConfig (TestBlockWith ptype) → ChainOrderConfig (SelectView (BlockProtocol (TestBlockWith ptype))) Source #

ConfigSupportsNode (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getSystemStart ∷ BlockConfig (TestBlockWith ptype) → SystemStart Source #

getNetworkMagic ∷ BlockConfig (TestBlockWith ptype) → NetworkMagic Source #

ImmutableEraParams (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

immutableEraParams ∷ TopLevelConfig (TestBlockWith ptype) → EraParams 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 ⇒ HasAnnTip (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type TipInfo (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type TipInfo (TestBlockWith ptype) = HeaderHash (TestBlockWith ptype)

Methods

getTipInfo ∷ Header (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) Source #

tipInfoHash ∷ proxy (TestBlockWith ptype) → TipInfo (TestBlockWith ptype) → HeaderHash (TestBlockWith ptype) Source #

PayloadSemantics ptype ⇒ ValidateEnvelope (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type OtherHeaderEnvelopeError (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type OtherHeaderEnvelopeError (TestBlockWith ptype) = Void

Methods

additionalEnvelopeChecks ∷ TopLevelConfig (TestBlockWith ptype) → LedgerView (BlockProtocol (TestBlockWith ptype)) → Header (TestBlockWith ptype) → Except (OtherHeaderEnvelopeError (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 ∷ ∀ (mk ∷ MapKind). LedgerState (TestBlockWith ptype) mk → Point (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))
Instance details Defined in Test.Util.TestBlock type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype
type AuxLedgerEvent (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))

Methods

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

InspectLedger (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type LedgerWarning (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type LedgerWarning (TestBlockWith ptype) = Void
type LedgerUpdate (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type LedgerUpdate (TestBlockWith ptype) = Void

Methods

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

PayloadSemantics ptype ⇒ LedgerSupportsProtocol (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

CanStowLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

HasLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

SerializeTablesWithHint (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState TestBlock) ValuesMK) → LedgerTables (LedgerState TestBlock) ValuesMK → Encoding Source #

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

HasNetworkProtocolVersion (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type BlockNodeToNodeVersion (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type BlockNodeToNodeVersion (TestBlockWith ptype) = ()
type BlockNodeToClientVersion (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type BlockNodeToClientVersion (TestBlockWith ptype) = ()

SignedHeader (Header (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

headerSigned ∷ Header (TestBlockWith ptype) → Signed (Header (TestBlockWith ptype)) Source #

(Serialise ptype, PayloadSemantics ptype, IndexedMemPack (LedgerState (TestBlockWith ptype) EmptyMK) (TxOut (LedgerState (TestBlockWith ptype))), SerializeTablesWithHint (LedgerState (TestBlockWith ptype))) ⇒ SerialiseDiskConstraints (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

CanUpgradeLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

Serialise ptype ⇒ HasBinaryBlockInfo (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getBinaryBlockInfo ∷ TestBlockWith ptype → BinaryBlockInfo Source #

(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

condense ∷ Header (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 #

Typeable 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 #

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 #

Serialise (RealPoint (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ RealPoint (TestBlockWith ptype) → Encoding Source #

decode ∷ Decoder s (RealPoint (TestBlockWith ptype)) Source #

encodeList ∷ [RealPoint (TestBlockWith ptype)] → Encoding Source #

decodeList ∷ Decoder s [RealPoint (TestBlockWith ptype)] Source #

Serialise (AnnTip (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ AnnTip (TestBlockWith ptype) → Encoding Source #

decode ∷ Decoder s (AnnTip (TestBlockWith ptype)) Source #

encodeList ∷ [AnnTip (TestBlockWith ptype)] → Encoding Source #

decodeList ∷ Decoder s [AnnTip (TestBlockWith ptype)] Source #

Serialise ptype ⇒ Serialise (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ TestBlockWith ptype → Encoding Source #

decode ∷ Decoder s (TestBlockWith ptype) Source #

encodeList ∷ [TestBlockWith ptype] → Encoding Source #

decodeList ∷ Decoder s [TestBlockWith ptype] Source #

ToExpr ptype ⇒ ToExpr (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

toExpr ∷ TestBlockWith ptype → Expr Source #

listToExpr ∷ [TestBlockWith ptype] → Expr Source #

DecodeDisk (TestBlockWith ptype) () Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

EncodeDisk (TestBlockWith ptype) () Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeDisk ∷ CodecConfig (TestBlockWith ptype) → () → Encoding Source #

PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK) Source #

getBlockKeySets ∷ TestBlockWith ptype → LedgerTables (LedgerState (TestBlockWith ptype)) KeysMK 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 ⇒ 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 ⇒ EncodeDisk (TestBlockWith ptype) (Header (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeDisk ∷ CodecConfig (TestBlockWith ptype) → Header (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) (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeDisk ∷ CodecConfig (TestBlockWith ptype) → 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 #

PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) 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 #

PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

Generic (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 mk))))

Methods

from ∷ LedgerState (TestBlockWith ptype) mk → Rep (LedgerState (TestBlockWith ptype) mk) x #

to ∷ Rep (LedgerState (TestBlockWith ptype) mk) x → LedgerState (TestBlockWith ptype) mk #

(ShowMK mk, PayloadSemantics ptype) ⇒ Show (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → LedgerState (TestBlockWith ptype) mk → ShowS #

show ∷ LedgerState (TestBlockWith ptype) mk → String #

showList ∷ [LedgerState (TestBlockWith ptype) mk] → ShowS #

Eq (PayloadDependentState ptype mk) ⇒ Eq (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool #

(/=) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool #

NoThunks (PayloadDependentState ptype mk) ⇒ NoThunks (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype) mk) → String Source #

GetTip (Ticked (LedgerState (TestBlockWith ptype))) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

HasLedgerTables (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

Condense (ChainHash (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

condense ∷ ChainHash (TestBlockWith ptype) → String Source #

ShowQuery (BlockQuery TestBlock fp) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showResult ∷ BlockQuery TestBlock fp result → result → String Source #

PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

decode ∷ Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) Source #

encodeList ∷ [LedgerState (TestBlockWith ptype) EmptyMK] → Encoding Source #

decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype) EmptyMK] Source #

PayloadSemantics ptype ⇒ Serialise (ExtLedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ ExtLedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

decode ∷ Decoder s (ExtLedgerState (TestBlockWith ptype) EmptyMK) Source #

encodeList ∷ [ExtLedgerState (TestBlockWith ptype) EmptyMK] → Encoding Source #

decodeList ∷ Decoder s [ExtLedgerState (TestBlockWith ptype) EmptyMK] Source #

IndexedMemPack (LedgerState TestBlock EmptyMK) Void Source #

Instance details

Defined in Test.Util.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState TestBlock EmptyMK → String Source #

Generic (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

Methods

from ∷ Ticked (LedgerState (TestBlockWith ptype)) mk → Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x #

to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x → Ticked (LedgerState (TestBlockWith ptype)) mk #

Show (NestedCtxt_ (TestBlockWith ptype) f a) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → NestedCtxt_ (TestBlockWith ptype) f a → ShowS #

show ∷ NestedCtxt_ (TestBlockWith ptype) f a → String #

showList ∷ [NestedCtxt_ (TestBlockWith ptype) f a] → ShowS #

Show (BlockQuery TestBlock fp result) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → BlockQuery TestBlock fp result → ShowS #

show ∷ BlockQuery TestBlock fp result → String #

showList ∷ [BlockQuery TestBlock fp result] → ShowS #

Eq (BlockQuery TestBlock fp result) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ BlockQuery TestBlock fp result → BlockQuery TestBlock fp result → Bool #

(/=) ∷ BlockQuery TestBlock fp result → BlockQuery TestBlock fp result → Bool #

(NoThunksMK mk, NoThunks (PayloadDependentState ptype mk)) ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype)) mk) → String Source #

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 HardForkIndices TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

type HardForkIndices TestBlock = '[TestBlock]

data BlockQuery TestBlock fp result Source #

Instance details

Defined in Test.Util.TestBlock

data BlockQuery TestBlock fp result where

QueryLedgerTip ∷ BlockQuery TestBlock 'QFNoTables (Point TestBlock)

type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) Source #

Instance details

Defined in Test.Util.TestBlock

type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) = f (TestBlockWith ptype)

type HeaderHash (TestBlockWith ptype ∷ Type) Source #

Instance details

Defined in Test.Util.TestBlock

type HeaderHash (TestBlockWith ptype ∷ Type) = TestHash

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-0.26.0.0-inplace-unstable-consensus-testlib" '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-0.26.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.Util.TestBlock

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

type Rep (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (TestBlockWith ptype) = D1 ('MetaData "TestBlockWith" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockWith" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tbHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestHash) :*: S1 ('MetaSel ('Just "tbSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "tbValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Validity) :*: S1 ('MetaSel ('Just "tbPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ptype))))

data BlockConfig (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

type BlockProtocol (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type BlockProtocol (TestBlockWith ptype) = Bft BftMockCrypto

newtype Header (TestBlockWith ptype) Source #

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))

type TentativeHeaderState (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type TentativeHeaderState (TestBlockWith ptype) = TentativeHeaderState (SelectViewDiffusionPipelining (TestBlockWith ptype))

type TentativeHeaderView (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type TentativeHeaderView (TestBlockWith ptype) = TentativeHeaderView (SelectViewDiffusionPipelining (TestBlockWith ptype))

type OtherHeaderEnvelopeError (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type OtherHeaderEnvelopeError (TestBlockWith ptype) = Void

type TipInfo (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type TipInfo (TestBlockWith ptype) = HeaderHash (TestBlockWith ptype)

type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))

type LedgerCfg (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg (LedgerState (TestBlockWith ptype)) = TestBlockLedgerConfig

type LedgerErr (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype

data LedgerState (TestBlockWith ptype) mk Source #

Instance details

Defined in Test.Util.TestBlock

data LedgerState (TestBlockWith ptype) mk = TestLedger {

lastAppliedPoint ∷ Point (TestBlockWith ptype)
payloadDependentState ∷ PayloadDependentState ptype mk

}

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 TxIn (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

type TxIn (LedgerState TestBlock) = Void

type TxOut (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

type TxOut (LedgerState TestBlock) = Void

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 Signed (Header (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type Signed (Header (TestBlockWith ptype)) = ()

type Rep (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 mk))))

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

Defined in Test.Util.TestBlock

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

data TestHash where Source #

Bundled Patterns

pattern TestHash ∷ NonEmpty Word64 → TestHash

Instances

Instances details

Generic TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep TestHash
Instance details Defined in Test.Util.TestBlock type Rep TestHash = D1 ('MetaData "TestHash" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "UnsafeTestHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTestHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Word64))))

Methods

from ∷ TestHash → Rep TestHash x #

to ∷ Rep TestHash x → TestHash #

Show TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → TestHash → ShowS #

show ∷ TestHash → String #

showList ∷ [TestHash] → ShowS #

Eq TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ TestHash → TestHash → Bool #

(/=) ∷ TestHash → TestHash → Bool #

Ord TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

compare ∷ TestHash → TestHash → Ordering #

(<) ∷ TestHash → TestHash → Bool #

(<=) ∷ TestHash → TestHash → Bool #

(>) ∷ TestHash → TestHash → Bool #

(>=) ∷ TestHash → TestHash → Bool #

max ∷ TestHash → TestHash → TestHash #

min ∷ TestHash → TestHash → TestHash #

NoThunks TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy TestHash → String Source #

Condense TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

condense ∷ TestHash → String Source #

Serialise TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ TestHash → Encoding Source #

decode ∷ Decoder s TestHash Source #

encodeList ∷ [TestHash] → Encoding Source #

decodeList ∷ Decoder s [TestHash] Source #

ToExpr TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

toExpr ∷ TestHash → Expr Source #

listToExpr ∷ [TestHash] → Expr Source #

type Rep TestHash Source #

Instance details

Defined in Test.Util.TestBlock

type Rep TestHash = D1 ('MetaData "TestHash" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 #

maxBound ∷ Validity #

Enum Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

succ ∷ Validity → Validity #

pred ∷ Validity → Validity #

toEnum ∷ Int → Validity #

fromEnum ∷ Validity → Int #

enumFrom ∷ Validity → [Validity] #

enumFromThen ∷ Validity → Validity → [Validity] #

enumFromTo ∷ Validity → Validity → [Validity] #

enumFromThenTo ∷ Validity → Validity → Validity → [Validity] #

Generic Validity Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep Validity
Instance details Defined in Test.Util.TestBlock type Rep Validity = D1 ('MetaData "Validity" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "Valid" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Invalid" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ Validity → Rep Validity x #

to ∷ Rep Validity x → Validity #

Show Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → Validity → ShowS #

show ∷ Validity → String #

showList ∷ [Validity] → ShowS #

Eq Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ Validity → Validity → Bool #

(/=) ∷ Validity → Validity → Bool #

Ord Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

compare ∷ Validity → Validity → Ordering #

(<) ∷ Validity → Validity → Bool #

(<=) ∷ Validity → Validity → Bool #

(>) ∷ Validity → Validity → Bool #

(>=) ∷ Validity → Validity → Bool #

max ∷ Validity → Validity → Validity #

min ∷ Validity → Validity → Validity #

NoThunks Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy Validity → String Source #

Serialise Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ Validity → Encoding Source #

decode ∷ Decoder s Validity Source #

encodeList ∷ [Validity] → Encoding Source #

decodeList ∷ Decoder s [Validity] Source #

ToExpr Validity Source #

Instance details

Defined in Test.Util.TestBlock

Methods

toExpr ∷ Validity → Expr Source #

listToExpr ∷ [Validity] → Expr Source #

type Rep Validity Source #

Instance details

Defined in Test.Util.TestBlock

type Rep Validity = D1 ('MetaData "Validity" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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

data family PayloadDependentState ptype (mk ∷ MapKind) Source #

Instances

Instances details

Generic (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

from ∷ PayloadDependentState () mk → Rep (PayloadDependentState () mk) x #

to ∷ Rep (PayloadDependentState () mk) x → PayloadDependentState () mk #

Show (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → PayloadDependentState () mk → ShowS #

show ∷ PayloadDependentState () mk → String #

showList ∷ [PayloadDependentState () mk] → ShowS #

Eq (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ PayloadDependentState () mk → PayloadDependentState () mk → Bool #

(/=) ∷ PayloadDependentState () mk → PayloadDependentState () mk → Bool #

NoThunks (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (PayloadDependentState () mk) → String Source #

Serialise (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ PayloadDependentState () mk → Encoding Source #

decode ∷ Decoder s (PayloadDependentState () mk) Source #

encodeList ∷ [PayloadDependentState () mk] → Encoding Source #

decodeList ∷ Decoder s [PayloadDependentState () mk] Source #

data PayloadDependentState () mk Source #

Instance details

Defined in Test.Util.TestBlock

data PayloadDependentState () mk = EmptyPLDS

type Rep (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (PayloadDependentState () mk) = D1 ('MetaData "PayloadDependentState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "EmptyPLDS" 'PrefixI 'False) (U1 ∷ Type → Type))

class (Typeable ptype, Eq ptype, NoThunks ptype, ∀ (mk ∷ MapKind). EqMK mk ⇒ Eq (PayloadDependentState ptype mk), ∀ (mk ∷ MapKind). NoThunksMK mk ⇒ NoThunks (PayloadDependentState ptype mk), ∀ (mk ∷ MapKind). ShowMK mk ⇒ Show (PayloadDependentState ptype mk), ∀ (mk ∷ MapKind). Generic (PayloadDependentState ptype mk), Serialise (PayloadDependentState ptype EmptyMK), HasLedgerTables (LedgerState (TestBlockWith ptype)), HasLedgerTables (Ticked (LedgerState (TestBlockWith ptype))), CanStowLedgerTables (LedgerState (TestBlockWith 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

data PayloadDependentState ptype (mk ∷ MapKind) Source #

type PayloadDependentError ptype Source #

Methods

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

getPayloadKeySets ∷ ptype → LedgerTables (LedgerState (TestBlockWith ptype)) KeysMK Source #

This function is used to implement the getBlockKeySets function of the ApplyBlock class. Thus we assume that the payload contains all the information needed to determine which keys should be retrieved from the backing store to apply a TestBlockWith.

Instances

Instances details

PayloadSemantics () Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

data PayloadDependentState () mk
Instance details Defined in Test.Util.TestBlock data PayloadDependentState () mk = EmptyPLDS
type PayloadDependentError ()
Instance details Defined in Test.Util.TestBlock type PayloadDependentError () = ()

Methods

applyPayload ∷ PayloadDependentState () ValuesMK → () → Either (PayloadDependentError ()) (PayloadDependentState () TrackingMK) Source #

getPayloadKeySets ∷ () → LedgerTables (LedgerState (TestBlockWith ())) KeysMK Source #

applyDirectlyToPayloadDependentState ∷ PayloadSemantics ptype ⇒ Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → ptype → Either (PayloadDependentError ptype) (Ticked (LedgerState (TestBlockWith ptype)) TrackingMK) 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 (mk ∷ MapKind) Source #

Ledger state associated with a block

This is the Consensus notion of a Ledger ledger state. Each block type is associated with one of the Ledger types for the ledger state. Virtually every concept in this codebase revolves around this type, or the referenced blk. Whenever we use the type variable l we intend to signal that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

This type is parametrized over mk :: MapKind to express the LedgerTables contained in such a LedgerState. See LedgerTables for a more thorough description.

The main operations we can do with a LedgerState are ticking (defined in IsLedger), and applying a block (defined in ApplyBlock).

Instances

Instances details

Bridge m a ⇒ GetTip (LedgerState (DualBlock m a))

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (DualBlock m a) mk → Point (LedgerState (DualBlock m a)) Source #

GetTip (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

Bridge m a ⇒ IsLedger (LedgerState (DualBlock m a))

Instance details

Associated Types

type LedgerErr (LedgerState (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerErr (LedgerState (DualBlock m a)) = DualLedgerError m a
type AuxLedgerEvent (LedgerState (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (LedgerState (DualBlock m a)) (Ticked (LedgerState (DualBlock m a)) DiffMK) Source #

PayloadSemantics ptype ⇒ IsLedger (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type LedgerErr (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype
type AuxLedgerEvent (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))

Methods

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

CanStowLedgerTables (LedgerState m) ⇒ CanStowLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

stowLedgerTables ∷ LedgerState (DualBlock m a) ValuesMK → LedgerState (DualBlock m a) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (DualBlock m a) EmptyMK → LedgerState (DualBlock m a) ValuesMK Source #

CanStowLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

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

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

HasLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

(Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m)), MemPack (TxOut (LedgerState m))) ⇒ SerializeTablesWithHint (LedgerState (DualBlock m a))

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) → Decoder s (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) Source #

SerializeTablesWithHint (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState TestBlock) ValuesMK) → LedgerTables (LedgerState TestBlock) ValuesMK → Encoding Source #

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

CanUpgradeLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (DualBlock m a) mk1 → LedgerState (DualBlock m a) mk2 → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → LedgerTables (LedgerState (DualBlock m a)) ValuesMK Source #

CanUpgradeLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK) Source #

getBlockKeySets ∷ TestBlockWith ptype → LedgerTables (LedgerState (TestBlockWith ptype)) KeysMK Source #

Bridge m a ⇒ ApplyBlock (LedgerState (DualBlock m a)) (DualBlock m a)

Instance details

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK) Source #

getBlockKeySets ∷ DualBlock m a → LedgerTables (LedgerState (DualBlock m a)) KeysMK Source #

PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

(IsNonEmpty xs, SListI xs, All (Compose Arbitrary (Flip LedgerState mk)) xs) ⇒ Arbitrary (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Test.Util.Orphans.Arbitrary

Methods

arbitrary ∷ Gen (LedgerState (HardForkBlock xs) mk) Source #

shrink ∷ LedgerState (HardForkBlock xs) mk → [LedgerState (HardForkBlock xs) mk] Source #

Generic (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 mk))))

Methods

from ∷ LedgerState (TestBlockWith ptype) mk → Rep (LedgerState (TestBlockWith ptype) mk) x #

to ∷ Rep (LedgerState (TestBlockWith ptype) mk) x → LedgerState (TestBlockWith ptype) mk #

(ShowMK mk, CanHardFork xs) ⇒ Show (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec ∷ Int → LedgerState (HardForkBlock xs) mk → ShowS #

show ∷ LedgerState (HardForkBlock xs) mk → String #

showList ∷ [LedgerState (HardForkBlock xs) mk] → ShowS #

(Bridge m a, ShowMK mk) ⇒ Show (LedgerState (DualBlock m a) mk)

Instance details

Methods

showsPrec ∷ Int → LedgerState (DualBlock m a) mk → ShowS #

show ∷ LedgerState (DualBlock m a) mk → String #

showList ∷ [LedgerState (DualBlock m a) mk] → ShowS #

(ShowMK mk, PayloadSemantics ptype) ⇒ Show (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → LedgerState (TestBlockWith ptype) mk → ShowS #

show ∷ LedgerState (TestBlockWith ptype) mk → String #

showList ∷ [LedgerState (TestBlockWith ptype) mk] → ShowS #

(EqMK mk, CanHardFork xs) ⇒ Eq (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(/=) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(Bridge m a, EqMK mk) ⇒ Eq (LedgerState (DualBlock m a) mk)

Instance details

Methods

(==) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

(/=) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

Eq (PayloadDependentState ptype mk) ⇒ Eq (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool #

(/=) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool #

(NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source #

NoThunks (LedgerState (DualBlock m a) mk)

Instance details

Methods

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

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

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

NoThunks (PayloadDependentState ptype mk) ⇒ NoThunks (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype) mk) → String Source #

Bridge m a ⇒ GetTip (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (DualBlock m a)) mk → Point (Ticked (LedgerState (DualBlock m a))) Source #

GetTip (Ticked (LedgerState (TestBlockWith ptype))) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

(Ord k, Eq v, MemPack k, MemPack v) ⇒ CanStowLedgerTables (OTLedgerState k v) Source #

Instance details

Methods

stowLedgerTables ∷ OTLedgerState k v ValuesMK → OTLedgerState k v EmptyMK Source #

unstowLedgerTables ∷ OTLedgerState k v EmptyMK → OTLedgerState k v ValuesMK Source #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

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

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

HasLedgerTables (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

(Ord k, Eq v, Show k, Show v, MemPack k, MemPack v, NoThunks k, NoThunks v) ⇒ HasLedgerTables (OTLedgerState k v) Source #

Instance details

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ OTLedgerState k v mk → LedgerTables (OTLedgerState k v) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ OTLedgerState k v any → LedgerTables (OTLedgerState k v) mk → OTLedgerState k v mk Source #

LedgerTablesAreTrivial (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype) EmptyMK) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

decode ∷ Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) Source #

encodeList ∷ [LedgerState (TestBlockWith ptype) EmptyMK] → Encoding Source #

decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype) EmptyMK] Source #

(txout ~ TxOut (LedgerState m), IndexedMemPack (LedgerState m EmptyMK) txout) ⇒ IndexedMemPack (LedgerState (DualBlock m a) EmptyMK) txout

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (DualBlock m a) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (DualBlock m a) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (DualBlock m a) EmptyMK → Unpack b txout Source #

indexedTypeName ∷ LedgerState (DualBlock m a) EmptyMK → String Source #

IndexedMemPack (LedgerState TestBlock EmptyMK) Void Source #

Instance details

Defined in Test.Util.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState TestBlock EmptyMK → String Source #

StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

Generic (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

Methods

from ∷ Ticked (LedgerState (TestBlockWith ptype)) mk → Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x #

to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x → Ticked (LedgerState (TestBlockWith ptype)) mk #

(Show k, Show v, Show (mk k v)) ⇒ Show (OTLedgerState k v mk) Source #

Instance details

Methods

showsPrec ∷ Int → OTLedgerState k v mk → ShowS #

show ∷ OTLedgerState k v mk → String #

showList ∷ [OTLedgerState k v mk] → ShowS #

(Ord k, Eq v, Eq (mk k v)) ⇒ Eq (OTLedgerState k v mk) Source #

Instance details

Methods

(==) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

(/=) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

NoThunks (Ticked (LedgerState (DualBlock m a)) mk)

Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a)) mk) → String Source #

(NoThunksMK mk, NoThunks (PayloadDependentState ptype mk)) ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype)) mk) → String Source #

(NoThunks k, NoThunks v, NoThunks (mk k v)) ⇒ NoThunks (OTLedgerState k v mk) Source #

Instance details

Methods

noThunks ∷ Context → OTLedgerState k v mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OTLedgerState k v mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OTLedgerState k v mk) → String Source #

Inject (Flip LedgerState mk)

Instance details

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

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Flip LedgerState mk x → Flip LedgerState mk (HardForkBlock xs) Source #

Isomorphic (Flip LedgerState mk)

Instance details

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

Methods

project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source #

inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #

type AuxLedgerEvent (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs

type AuxLedgerEvent (LedgerState (DualBlock m a))

Instance details

type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)

type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (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 (DualBlock m a))

Instance details

type LedgerCfg (LedgerState (DualBlock m a)) = DualLedgerConfig m a

type LedgerCfg (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg (LedgerState (TestBlockWith ptype)) = TestBlockLedgerConfig

type LedgerErr (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs

type LedgerErr (LedgerState (DualBlock m a))

Instance details

type LedgerErr (LedgerState (DualBlock m a)) = DualLedgerError m a

type LedgerErr (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype

newtype LedgerState (HardForkBlock xs) mk

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

data LedgerState (TestBlockWith ptype) mk Source #

Instance details

Defined in Test.Util.TestBlock

data LedgerState (TestBlockWith ptype) mk = TestLedger {

lastAppliedPoint ∷ Point (TestBlockWith ptype)
payloadDependentState ∷ PayloadDependentState ptype mk

}

type TxIn (LedgerState (HardForkBlock xs))

Must be the CannonicalTxIn type, but this will probably change in the future to NS WrapTxIn xs. See HasCanonicalTxIn.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxIn (LedgerState (HardForkBlock xs)) = CanonicalTxIn xs

type TxIn (LedgerState (DualBlock m a))

Instance details

type TxIn (LedgerState (DualBlock m a)) = TxIn (LedgerState m)

type TxIn (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

type TxIn (LedgerState TestBlock) = Void

type TxOut (LedgerState (HardForkBlock xs))

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (LedgerState (HardForkBlock xs)) = HardForkTxOut xs

type TxOut (LedgerState (DualBlock m a))

Instance details

type TxOut (LedgerState (DualBlock m a)) = TxOut (LedgerState m)

type TxOut (LedgerState TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

type TxOut (LedgerState TestBlock) = Void

type Rep (LedgerState (TestBlockWith ptype) mk) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" '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 mk))))

data LedgerState (DualBlock m a) mk

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

dualLedgerStateMain ∷ LedgerState m mk
dualLedgerStateAux ∷ LedgerState a ValuesMK
dualLedgerStateBridge ∷ BridgeLedger m a

}

type TxIn (OTLedgerState k v) Source #

Instance details

type TxIn (OTLedgerState k v) = k

type TxOut (OTLedgerState k v) Source #

Instance details

type TxOut (OTLedgerState k v) = v

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked (LedgerState m) mk
tickedDualLedgerStateAux ∷ Ticked (LedgerState a) ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

Defined in Test.Util.TestBlock

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

type HeaderHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk ∷ MapKind → Type) = HeaderHash blk

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

data family Ticked (st ∷ k) ∷ k Source #

" Ticked " piece of state, either LedgerState or ChainDepState

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. There are exactly two methods in the interface that do that: tickChainDepState and applyChainTickLedgerResult.

Also note that a successful forecast forecastFor (ledgerViewForecastAt cfg st) slot must equal protocolLedgerView cfg (applyChainTick cfg slot st). Thus a LedgerView can only be projected from a Ticked state, but cannot itself be ticked.

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

Show (Ticked ())

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

Bridge m a ⇒ GetTip (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (DualBlock m a)) mk → Point (Ticked (LedgerState (DualBlock m a))) Source #

GetTip (Ticked (LedgerState (TestBlockWith ptype))) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

IsLedger (LedgerState blk) ⇒ GetTip (Ticked (ExtLedgerState blk))

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (ExtLedgerState blk) mk → Point (Ticked (ExtLedgerState blk)) Source #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

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

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

HasLedgerTables (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

(HasLedgerTables (Ticked (LedgerState blk)), NoThunks (TxOut (LedgerState blk)), NoThunks (TxIn (LedgerState blk)), Show (TxOut (LedgerState blk)), Show (TxIn (LedgerState blk)), Eq (TxOut (LedgerState blk)), Ord (TxIn (LedgerState blk)), MemPack (TxIn (LedgerState blk))) ⇒ HasLedgerTables (Ticked (ExtLedgerState blk))

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

LedgerTablesAreTrivial (Ticked (LedgerState blk)) ⇒ LedgerTablesAreTrivial (Ticked (ExtLedgerState blk))

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (ExtLedgerState blk) mk → Ticked (ExtLedgerState blk) mk' Source #

Generic (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

Methods

from ∷ Ticked (LedgerState (TestBlockWith ptype)) mk → Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x #

to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x → Ticked (LedgerState (TestBlockWith ptype)) mk #

NoThunks (Ticked (LedgerState (DualBlock m a)) mk)

Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a)) mk) → String Source #

(NoThunksMK mk, NoThunks (PayloadDependentState ptype mk)) ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype)) mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype)) mk) → String Source #

Show (Ticked (f a)) ⇒ Show (((Ticked ∷ Type → Type) :.: f) a)

Instance details

Methods

showsPrec ∷ Int → ((Ticked ∷ Type → Type) :.: f) a → ShowS #

show ∷ ((Ticked ∷ Type → Type) :.: f) a → String #

showList ∷ [((Ticked ∷ Type → Type) :.: f) a] → ShowS #

NoThunks (Ticked (f a)) ⇒ NoThunks (((Ticked ∷ Type → Type) :.: f) a)

Instance details

Methods

noThunks ∷ Context → ((Ticked ∷ Type → Type) :.: f) a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ((Ticked ∷ Type → Type) :.: f) a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (((Ticked ∷ Type → Type) :.: f) a) → String Source #

data Ticked ()

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState {

tickedHardForkChainDepStatePerEra ∷ HardForkState ((Ticked ∷ Type → Type) :.: WrapChainDepState) xs
tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException)

}

data Ticked (HeaderState blk ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

data Ticked (HeaderState blk ∷ Type) = TickedHeaderState {

untickedHeaderStateTip ∷ WithOrigin (AnnTip blk)
tickedHeaderStateChainDep ∷ Ticked (ChainDepState (BlockProtocol blk))

}

data Ticked (PBftState c ∷ Type)

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data Ticked (PBftState c ∷ Type) = TickedPBftState {

getPBftLedgerView ∷ LedgerView (PBft c)
getTickedPBftState ∷ PBftState c

}

newtype Ticked (WrapChainDepState blk ∷ Type)

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

type HeaderHash (Ticked l ∷ k)

Instance details

type HeaderHash (Ticked l ∷ k) = HeaderHash l

type TxIn (Ticked l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (Ticked l) = TxIn l

type TxOut (Ticked l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (Ticked l) = TxOut l

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked (LedgerState m) mk
tickedDualLedgerStateAux ∷ Ticked (LedgerState a) ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

Defined in Test.Util.TestBlock

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

data Ticked (ExtLedgerState blk ∷ MapKind → Type) (mk ∷ MapKind)

Instance details