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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig TestBlock) → String Source #

NoThunks (BlockConfig (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

data BlockConfig TestBlock Source #

Instance details

data BlockConfig TestBlock = TestBlockConfig {

testBlockEBBsAllowed ∷ !Bool
testBlockNumCoreNodes ∷ !NumCoreNodes

}

type Rep (BlockConfig TestBlock) Source #

Instance details

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

type Rep (BlockConfig (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

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

newtype BlockConfig (DisableDiffusionPipelining blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (SelectViewDiffusionPipelining blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

data BlockConfig (DualBlock m a) Source #

Instance details

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

All SingleEraBlock xs ⇒ SameDepIndex2 (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (HardForkBlock xs) x a → BlockQuery (HardForkBlock xs) y b → Maybe ('(x, a) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type) Source #
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 #
SerialiseHFC xs ⇒ SerialiseBlockQueryResult (HardForkBlock xs) BlockQuery Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → ∀ s. Decoder s result Source #
(∀ (footprint ∷ QueryFootprint) result. Show (BlockQuery blk footprint result)) ⇒ Show (SomeBlockQuery (BlockQuery blk)) Source #
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 #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeBlockQuery (BlockQuery (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeBlockQuery (BlockQuery (HardForkBlock xs)) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (HardForkBlock xs))) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs) footprint) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) footprint result → result → String #
ShowQuery (BlockQuery (DualBlock m a) footprint) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) footprint result → result → String #
ShowQuery (BlockQuery TestBlock fp) Source #
Instance details Defined in Test.Util.TestBlock Methods showResult ∷ BlockQuery TestBlock fp result → result → String #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String #
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 #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) footprint result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) footprint result → ShowS # show ∷ BlockQuery (HardForkBlock xs) footprint result → String # showList ∷ [BlockQuery (HardForkBlock xs) footprint result] → ShowS #
Show (BlockQuery (DualBlock m a) footprint result) Source #
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 #
Inject (SomeBlockQuery :.: BlockQuery) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → (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 Source #
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 Source #
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 Source #

Instance details

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

Methods

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

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

Generic (CodecConfig (DualBlock m a)) Source #

Instance details

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-4.0.0.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))

Methods

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

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

Generic (CodecConfig TestBlock) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Show (CodecConfig TestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

Show (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

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

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

ToExpr (CodecConfig TestBlock) Source #

Instance details

Methods

toExpr ∷ CodecConfig TestBlock → Expr Source #

listToExpr ∷ [CodecConfig TestBlock] → Expr Source #

data CodecConfig TestBlock Source #

Instance details

data CodecConfig TestBlock = TestBlockCodecConfig

data CodecConfig TestBlock Source #

The TestBlock does not need any codec config

Instance details

Defined in Test.Util.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

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

Instance details

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

type Rep (CodecConfig TestBlock) Source #

Instance details

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

type Rep (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

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

newtype CodecConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a) Source #

Instance details

data CodecConfig (DualBlock m a) = DualCodecConfig {

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

}

data family Header blk Source #

Instances

newtype LedgerTables blk (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 blk) (TxOut blk)

Instances

Instances details

(∀ k v. LedgerTableConstraints' l k v ⇒ Monoid (mk k v), LedgerTableConstraints l) ⇒ Monoid (LedgerTables l mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

mempty ∷ LedgerTables l mk #

mappend ∷ LedgerTables l mk → LedgerTables l mk → LedgerTables l mk #

mconcat ∷ [LedgerTables l mk] → LedgerTables l mk #

(∀ k v. LedgerTableConstraints' blk k v ⇒ Semigroup (mk k v), LedgerTableConstraints blk) ⇒ Semigroup (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

(<>) ∷ LedgerTables blk mk → LedgerTables blk mk → LedgerTables blk mk #

sconcat ∷ NonEmpty (LedgerTables blk mk) → LedgerTables blk mk #

stimes ∷ Integral b ⇒ b → LedgerTables blk mk → LedgerTables blk mk #

Eq (mk (TxIn blk) (TxOut blk)) ⇒ Eq (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

Generic (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

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

Methods

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

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

Show (mk (TxIn blk) (TxOut blk)) ⇒ Show (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables blk mk → ShowS #

show ∷ LedgerTables blk mk → String #

showList ∷ [LedgerTables blk mk] → ShowS #

NoThunks (mk (TxIn blk) (TxOut blk)) ⇒ NoThunks (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

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

type Rep (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

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

data family StorageConfig blk Source #

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

Instances

Instances details

Isomorphic StorageConfig Source #

Instance details

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

Methods

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

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

Generic (StorageConfig (DualBlock m a)) Source #

Instance details

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-4.0.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

Methods

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

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

Generic (StorageConfig TestBlock) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Show (StorageConfig TestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Show (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

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

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

NoThunks (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

data StorageConfig TestBlock Source #

Instance details

data StorageConfig TestBlock = TestBlockStorageConfig

data StorageConfig TestBlock Source #

The TestBlock does not need any storage config

Instance details

Defined in Test.Util.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

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

Instance details

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

type Rep (StorageConfig TestBlock) Source #

Instance details

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

type Rep (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

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

newtype StorageConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a) Source #

Instance details

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

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 #

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

(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-4.0.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

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 #

CanUpgradeLedgerTables LedgerState TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

HasLedgerTables LedgerState TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial LedgerState TestBlock Source #

Instance details

Defined in Test.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 ∷ LedgerState TestBlock EmptyMK → LedgerTables TestBlock ValuesMK → Encoding Source #

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

ShowProxy TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

Methods

showProxy ∷ Proxy TestBlock → String #

IndexedMemPack LedgerState TestBlock 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 ⇒ ∀ s. LedgerState TestBlock EmptyMK → Unpack s b Void Source #

indexedTypeName ∷ Proxy Void → LedgerState TestBlock EmptyMK → 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 #

PayloadSemantics ptype ⇒ ApplyBlock LedgerState (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 (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 (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (TestBlockWith ptype) → TestBlockWith ptype → Ticked LedgerState (TestBlockWith ptype) ValuesMK → LedgerResult (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) 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

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (TestBlockWith ptype) → SlotNo → LedgerState (TestBlockWith ptype) EmptyMK → LedgerResult (TestBlockWith ptype) (Ticked LedgerState (TestBlockWith ptype) DiffMK) 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 #

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 #

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 #

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-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

Methods

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

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

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Generic (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

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

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

Associated Types

type HashSize (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type HashSize (TestBlockWith ptype) = 808

Methods

toRawHash ∷ proxy (TestBlockWith ptype) → HeaderHash (TestBlockWith ptype) → ByteString Source #

toShortRawHash ∷ proxy (TestBlockWith ptype) → HeaderHash (TestBlockWith ptype) → ShortByteString Source #

fromRawHash ∷ proxy (TestBlockWith ptype) → ByteString → Maybe (HeaderHash (TestBlockWith ptype)) Source #

fromShortRawHash ∷ proxy (TestBlockWith ptype) → ShortByteString → Maybe (HeaderHash (TestBlockWith ptype)) Source #

unsafeFromRawHash ∷ proxy (TestBlockWith ptype) → ByteString → HeaderHash (TestBlockWith ptype) Source #

unsafeFromShortRawHash ∷ 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 ⇒ BlockSupportsPeras (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type PerasVote (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type PerasVote (TestBlockWith ptype) = MockPerasVote (TestBlockWith ptype)
type PerasCert (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type PerasCert (TestBlockWith ptype) = MockPerasCert (TestBlockWith ptype)
type PerasError (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type PerasError (TestBlockWith ptype) = MockPerasError (TestBlockWith ptype)
type PerasCrypto (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type PerasCrypto (TestBlockWith ptype) = MockPerasCrypto (TestBlockWith ptype)
type PerasVotingCommitteeScheme (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type PerasVotingCommitteeScheme (TestBlockWith ptype) = MockPerasVotingCommitteeScheme (TestBlockWith ptype)

Methods

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

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

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

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

getPerasCertInBlock ∷ TestBlockWith ptype → Either (PerasError (TestBlockWith ptype)) (Maybe (PerasCert (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 #

tiebreakerView ∷ BlockConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → TiebreakerView (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 #

HasHardForkHistory (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type HardForkIndices (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type HardForkIndices (TestBlockWith ptype) = '[TestBlockWith ptype]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) mk → Summary (HardForkIndices (TestBlockWith ptype)) 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 ⇒ GetBlockKeySets (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getBlockKeySets ∷ TestBlockWith ptype → LedgerTables (TestBlockWith ptype) KeysMK 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 #

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 #

LedgerStateSupportsPeras (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk 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 #

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

Typeable ptype ⇒ StateSupportsPerasEpochContext (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type MaybeEraIndexedEpochToPerasRoundInfo (TestBlockWith ptype) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (TestBlockWith ptype) → MaybeEraIndexedEpochToPerasRoundInfo (TestBlockWith ptype) → EpochToPerasRoundInfo Source #

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

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

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) (TxOut (TestBlockWith ptype)), MemPack (TxIn (TestBlockWith ptype)), SerializeTablesWithHint LedgerState (TestBlockWith ptype)) ⇒ SerialiseDiskConstraints (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

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

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

Instance details

Defined in Test.Util.TestBlock

Methods

getHeaderFields ∷ TestBlockWith ptype → HeaderFields (TestBlockWith ptype) #

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 #

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 → Either DecoderError (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

Serialise ptype ⇒ DecodeDisk (TestBlockWith ptype) (ByteString → Header (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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 #

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 #

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

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 #

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 #

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 #

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

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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 #

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 #

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 #

LedgerStateSupportsPeras (Ticked LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ Ticked LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk 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-4.0.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 #

(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

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

Instance details

Defined in Test.Util.TestBlock

type TxIn TestBlock = Void

type TxOut TestBlock Source #

Instance details

Defined in Test.Util.TestBlock

type TxOut TestBlock = Void

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

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-4.0.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-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig TestBlock) Source #

Instance details

Defined in Test.Util.TestBlock

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

type Rep (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type Rep (TestBlockWith ptype) = D1 ('MetaData "TestBlockWith" "Test.Util.TestBlock" "ouroboros-consensus-4.0.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

type HashSize (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type HashSize (TestBlockWith ptype) = 808

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

Instance details

Defined in Test.Util.TestBlock

type PerasCert (TestBlockWith ptype) = MockPerasCert (TestBlockWith ptype)

type PerasCrypto (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type PerasCrypto (TestBlockWith ptype) = MockPerasCrypto (TestBlockWith ptype)

type PerasError (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type PerasError (TestBlockWith ptype) = MockPerasError (TestBlockWith ptype)

type PerasVote (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type PerasVote (TestBlockWith ptype) = MockPerasVote (TestBlockWith ptype)

type PerasVotingCommitteeScheme (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type PerasVotingCommitteeScheme (TestBlockWith ptype) = MockPerasVotingCommitteeScheme (TestBlockWith ptype)

type HardForkIndices (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type HardForkIndices (TestBlockWith ptype) = '[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 (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type AuxLedgerEvent (TestBlockWith ptype) = VoidLedgerEvent

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

Instance details

Defined in Test.Util.TestBlock

type MaybeEraIndexedEpochToPerasRoundInfo (TestBlockWith ptype) = EpochToPerasRoundInfo

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-4.0.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 ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Test.Util.TestBlock

newtype Ticked LedgerState (TestBlockWith ptype ∷ 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-4.0.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

NFData TestHash Source #

Instance details

Defined in Test.Util.TestBlock

Methods

rnf ∷ TestHash → () #

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 #

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

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

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 #

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

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

Eq (PayloadDependentState () mk) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

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-4.0.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 (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 (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

ApplyBlock LedgerState TestBlock Source #

Instance details

IsLedger LedgerState TestBlock Source #

Instance details

CanUpgradeLedgerTables LedgerState TestBlock Source #

Associated Types

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

Methods

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

Instance details

CanUpgradeLedgerTables LedgerState TestBlock Source #

Methods

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

HasLedgerTables LedgerState TestBlock Source #

Instance details

LedgerTablesAreTrivial LedgerState TestBlock Source #

Methods

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

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

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

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

Instance details

LedgerTablesAreTrivial LedgerState TestBlock Source #

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState TestBlock mk → LedgerState TestBlock mk' 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

SerializeTablesWithHint LedgerState TestBlock Source #

Methods

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

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

IndexedMemPack LedgerState TestBlock Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

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

IndexedMemPack LedgerState TestBlock 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 ⇒ ∀ s. LedgerState TestBlock EmptyMK → Unpack s b Void Source #

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ ApplyBlock LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (HardForkBlock xs) → HardForkBlock xs → Ticked LedgerState (HardForkBlock xs) ValuesMK → LedgerResult (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK) Source #

PayloadSemantics ptype ⇒ ApplyBlock LedgerState (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 (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 (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

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

CanHardFork xs ⇒ IsLedger LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerErr LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (HardForkBlock xs) → SlotNo → LedgerState (HardForkBlock xs) EmptyMK → LedgerResult (HardForkBlock xs) (Ticked LedgerState (HardForkBlock xs) 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

Methods

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

(CanHardFork xs, HasHardForkTxOut xs) ⇒ CanUpgradeLedgerTables LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables LedgerState (HardForkBlock xs) Source #

Warning: projectLedgerTables and withLedgerTables are prohibitively expensive when using big tables or when used multiple times. See the TxOut instance for the HardForkBlock for more information.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

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 (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 (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 (DualBlock m a) (LedgerState (DualBlock m a) DiffMK) Source #

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

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

Methods

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

CanUpgradeLedgerTables LedgerState (DualBlock m a) Source #

Instance details

Methods

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

CanUpgradeLedgerTables LedgerState (OTBlock k v) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (OTBlock k v) mk1 → LedgerState (OTBlock k v) mk2 → LedgerTables (OTBlock k v) ValuesMK → LedgerTables (OTBlock k v) ValuesMK Source #

(Bridge m a, HasLedgerTables LedgerState m) ⇒ HasLedgerTables LedgerState (DualBlock m a) Source #

Instance details

Methods

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

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

(Ord k, Eq v, NoThunks k, NoThunks v) ⇒ HasLedgerTables LedgerState (OTBlock k v) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

(Ord k, MemPack k, MemPack v) ⇒ SerializeTablesWithHint LedgerState (OTBlock k v) Source #

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (OTBlock k v) EmptyMK → LedgerTables (OTBlock k v) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (OTBlock k v) EmptyMK → Decoder s (LedgerTables (OTBlock k v) ValuesMK) Source #

DecodeDisk TestBlock (LedgerState TestBlock EmptyMK) Source #

Instance details

Methods

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

EncodeDisk TestBlock (LedgerState TestBlock EmptyMK) Source #

Instance details

Methods

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

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

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 ⇒ ∀ s. LedgerState (DualBlock m a) EmptyMK → Unpack s b txout Source #

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

MemPack v ⇒ IndexedMemPack LedgerState (OTBlock k v) v Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (OTBlock k v) EmptyMK → v → Int Source #

indexedPackM ∷ LedgerState (OTBlock k v) EmptyMK → v → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (OTBlock k v) EmptyMK → Unpack s b v Source #

indexedTypeName ∷ Proxy v → LedgerState (OTBlock k v) EmptyMK → String Source #

CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

Instance details

Methods

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

GetTip (LedgerState TestBlock) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState TestBlock mk → Point (LedgerState TestBlock) 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 #

CanHardFork xs ⇒ LedgerStateSupportsPeras (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPoolDistr ∷ LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState TestBlock) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk Source #

All (Compose CanStowLedgerTables LedgerState) xs ⇒ CanStowLedgerTables (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

stowLedgerTables ∷ LedgerState (HardForkBlock xs) ValuesMK → LedgerState (HardForkBlock xs) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (HardForkBlock xs) EmptyMK → LedgerState (HardForkBlock xs) ValuesMK Source #

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

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

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock 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 #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

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

SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) EmptyMK → Encoding 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 #

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

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

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

Instance details

Methods

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

(/=) ∷ LedgerState TestBlock mk → LedgerState TestBlock 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 #

Generic (LedgerState TestBlock mk) Source #

Instance details

Associated Types

type Rep (LedgerState TestBlock mk)

Instance details

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

Methods

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

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

Generic (LedgerState (OTBlock k v) mk) Source #

Instance details

Associated Types

type Rep (LedgerState (OTBlock k v) mk)

Instance details

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk))))

Methods

from ∷ LedgerState (OTBlock k v) mk → Rep (LedgerState (OTBlock k v) mk) x #

to ∷ Rep (LedgerState (OTBlock k v) mk) x → LedgerState (OTBlock k v) mk #

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-4.0.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) Source #

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

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 #

Show (LedgerState TestBlock mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState TestBlock mk → ShowS #

show ∷ LedgerState TestBlock mk → String #

showList ∷ [LedgerState TestBlock 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 #

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

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

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

Instance details

Methods

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

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

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

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 #

(Ord k, Eq 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 #

Serialise (LedgerState TestBlock mk) Source #

Instance details

Methods

encode ∷ LedgerState TestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState TestBlock mk) Source #

encodeList ∷ [LedgerState TestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState TestBlock mk] Source #

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 #

ToExpr (LedgerState TestBlock EmptyMK) Source #

Instance details

Methods

toExpr ∷ LedgerState TestBlock EmptyMK → Expr Source #

listToExpr ∷ [LedgerState TestBlock EmptyMK] → Expr Source #

HasLedgerTables (Ticked LedgerState) TestBlock Source #

Instance details

Methods

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

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

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

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock Source #

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). 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 #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked LedgerState) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

(Bridge m a, HasLedgerTables (Ticked LedgerState) m) ⇒ HasLedgerTables (Ticked LedgerState) (DualBlock m a) Source #

Instance details

Methods

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

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

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

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

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

CanHardFork xs ⇒ GetTip (Ticked LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

Instance details

Methods

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

GetTip (Ticked LedgerState TestBlock) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState TestBlock mk → Point (Ticked LedgerState TestBlock) 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 #

CanHardFork xs ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ Ticked LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk 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-4.0.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) Source #

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 #

Inject (Flip LedgerState mk) Source #

Instance details

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

Methods

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

Isomorphic (Flip LedgerState mk) Source #

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 #

data LedgerState TestBlock mk Source #

Instance details

data LedgerState TestBlock mk = TestLedger {

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

}

type LedgerCfg LedgerState TestBlock Source #

Instance details

type LedgerCfg LedgerState TestBlock = EraParams

type LedgerErr LedgerState TestBlock Source #

Instance details

type LedgerErr LedgerState TestBlock = TestBlockError

type LedgerCfg LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xs

type LedgerCfg LedgerState (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg LedgerState (TestBlockWith ptype) = TestBlockLedgerConfig

type LedgerErr LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

type LedgerErr LedgerState (TestBlockWith ptype) Source #

Instance details

Defined in Test.Util.TestBlock

type LedgerErr LedgerState (TestBlockWith ptype) = TestBlockError ptype

type LedgerCfg LedgerState (DualBlock m a) Source #

Instance details

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

type LedgerErr LedgerState (DualBlock m a) Source #

Instance details

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

newtype LedgerState (HardForkBlock xs) mk Source #

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

Instance details

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

type Rep (LedgerState (OTBlock k v) mk) Source #

Instance details

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk))))

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

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

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

}

data LedgerState (OTBlock k v) mk Source #

Instance details

data LedgerState (OTBlock k v) mk = OTLedgerState {

otlsLedgerState ∷ ValuesMK k v
otlsLedgerTables ∷ OTLedgerTables k v mk

}

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) Source #

Instance details

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

getTickedTestLedger ∷ LedgerState TestBlock mk

}

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

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

Instance details

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

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

}

type HeaderHash (LedgerState blk ∷ MapKind → Type) Source #

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

Ticked is used mainly in two ways:

Ticked (Ext)LedgerState where its kind gets concretized to StateKind -> StateKind
Ticked (HeaderState blk) where its kind gets concretized to Type -> Type

Instances

Instances details

Show (Ticked ()) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

CanHardFork xs ⇒ ChainDepStateSupportsPeras (Ticked (HardForkChainDepState xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

Methods

getEpochNonce ∷ Ticked (HardForkChainDepState xs) → Nonce Source #

ChainDepStateSupportsPeras (Ticked (ChainDepState (BlockProtocol blk))) ⇒ ChainDepStateSupportsPeras (Ticked (HeaderState blk)) Source #

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

getEpochNonce ∷ Ticked (HeaderState blk) → Nonce Source #

ChainDepStateSupportsPeras (Ticked ()) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.Abstract

Methods

getEpochNonce ∷ Ticked () → Nonce Source #

HasLedgerTables (Ticked LedgerState) TestBlock Source #

Instance details

Methods

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

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

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

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

(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) ⇒ HasLedgerTables (Ticked ExtLedgerState) blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock Source #

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). 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 #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked LedgerState) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

(Bridge m a, HasLedgerTables (Ticked LedgerState) m) ⇒ HasLedgerTables (Ticked LedgerState) (DualBlock m a) Source #

Instance details

Methods

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

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

CanHardFork xs ⇒ GetTip (Ticked LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

Instance details

Methods

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

GetTip (Ticked LedgerState TestBlock) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState TestBlock mk → Point (Ticked LedgerState TestBlock) 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) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

CanHardFork xs ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState (TestBlockWith ptype)) Source #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ Ticked LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk 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-4.0.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) Source #

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

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

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

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type) Source #

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

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

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

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

type HeaderHash (Ticked l blk ∷ k2) Source #

Instance details

type HeaderHash (Ticked l blk ∷ k2) = HeaderHash (l blk)

data Ticked ExtLedgerState (blk ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

data Ticked ExtLedgerState (blk ∷ Type) (mk ∷ MapKind) = TickedExtLedgerState {

tickedLedgerState ∷ Ticked LedgerState blk mk
ledgerView ∷ LedgerView (BlockProtocol blk)
tickedHeaderState ∷ Ticked (HeaderState blk)
tickedPerasState ∷ PerasState blk

}

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) Source #

Instance details

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

getTickedTestLedger ∷ LedgerState TestBlock mk

}

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

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

Instance details