Documentation

Methods

sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (SimpleBlock c ext) x a → BlockQuery (SimpleBlock c ext) y b → Maybe ('(x, a) :~: '(y, b)) Source #

Serialise ext ⇒ ReconstructNestedCtxt Header (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

reconstructPrefixLen ∷ proxy (Header (MockBlock ext)) → PrefixLen Source #

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

(Typeable c, Typeable ext, Typeable ext') ⇒ ShowProxy (Header (SimpleBlock' c ext ext') ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (Header (SimpleBlock' c ext ext')) → String Source #

(Typeable c, Typeable ext) ⇒ ShowProxy (GenTx (SimpleBlock c ext) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (GenTx (SimpleBlock c ext)) → String Source #

(Typeable c, Typeable ext) ⇒ ShowProxy (TxId (GenTx (SimpleBlock c ext)) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #

SerialiseBlockQueryResult (MockBlock ext) BlockQuery Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) fp result → result → Encoding Source #

decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) fp result → ∀ s. Decoder s result Source #

HasNestedContent f (SimpleBlock c ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

unnest ∷ f (SimpleBlock c ext) → DepPair (NestedCtxt f (SimpleBlock c ext)) Source #

nest ∷ DepPair (NestedCtxt f (SimpleBlock c ext)) → f (SimpleBlock c ext) Source #

SameDepIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

sameDepIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

hasSingleIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ (SimpleBlock c ext) f (TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) ∷ Type) Source #

(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ StandardHash (SimpleBlock' c ext ext' ∷ Type) Source #

Instance details

(Typeable c, Typeable ext, Typeable ext') ⇒ ShowProxy (SimpleBlock' c ext ext' ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (SimpleBlock' c ext ext') → String Source #

Generic (BlockConfig (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (BlockConfig (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (BlockConfig (SimpleBlock c ext)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ BlockConfig (SimpleBlock c ext) → Rep (BlockConfig (SimpleBlock c ext)) x #

to ∷ Rep (BlockConfig (SimpleBlock c ext)) x → BlockConfig (SimpleBlock c ext) #

Generic (CodecConfig (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (CodecConfig (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig (SimpleBlock c ext) → Rep (CodecConfig (SimpleBlock c ext)) x #

to ∷ Rep (CodecConfig (SimpleBlock c ext)) x → CodecConfig (SimpleBlock c ext) #

Generic (Header (SimpleBlock' c ext ext')) Source #

Instance details

Associated Types

type Rep (Header (SimpleBlock' c ext ext'))

Instance details

type Rep (Header (SimpleBlock' c ext ext')) = D1 ('MetaData "Header" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash (SimpleBlock' c ext ext'))) :*: (S1 ('MetaSel ('Just "simpleHeaderStd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleStdHeader c ext)) :*: S1 ('MetaSel ('Just "simpleHeaderExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ext'))))

Methods

from ∷ Header (SimpleBlock' c ext ext') → Rep (Header (SimpleBlock' c ext ext')) x #

to ∷ Rep (Header (SimpleBlock' c ext ext')) x → Header (SimpleBlock' c ext ext') #

Generic (StorageConfig (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (StorageConfig (SimpleBlock c ext))

Instance details

type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStorageConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam)))

Methods

from ∷ StorageConfig (SimpleBlock c ext) → Rep (StorageConfig (SimpleBlock c ext)) x #

to ∷ Rep (StorageConfig (SimpleBlock c ext)) x → StorageConfig (SimpleBlock c ext) #

Generic (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Associated Types

type Rep (Validated (GenTx (SimpleBlock c ext)))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))

Methods

from ∷ Validated (GenTx (SimpleBlock c ext)) → Rep (Validated (GenTx (SimpleBlock c ext))) x #

to ∷ Rep (Validated (GenTx (SimpleBlock c ext))) x → Validated (GenTx (SimpleBlock c ext)) #

Generic (GenTx (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (GenTx (SimpleBlock c ext))

Instance details

type Rep (GenTx (SimpleBlock c ext)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleGenTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tx) :*: S1 ('MetaSel ('Just "simpleGenTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)))

Methods

from ∷ GenTx (SimpleBlock c ext) → Rep (GenTx (SimpleBlock c ext)) x #

to ∷ Rep (GenTx (SimpleBlock c ext)) x → GenTx (SimpleBlock c ext) #

Generic (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Associated Types

type Rep (TxId (GenTx (SimpleBlock c ext)))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

Methods

from ∷ TxId (GenTx (SimpleBlock c ext)) → Rep (TxId (GenTx (SimpleBlock c ext))) x #

to ∷ Rep (TxId (GenTx (SimpleBlock c ext))) x → TxId (GenTx (SimpleBlock c ext)) #

(SimpleCrypto c, Show ext', Typeable ext) ⇒ Show (Header (SimpleBlock' c ext ext')) Source #

Instance details

Methods

showsPrec ∷ Int → Header (SimpleBlock' c ext ext') → ShowS #

show ∷ Header (SimpleBlock' c ext ext') → String #

showList ∷ [Header (SimpleBlock' c ext ext')] → ShowS #

Show (Validated (GenTx (SimpleBlock p c))) Source #

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx (SimpleBlock p c)) → ShowS #

show ∷ Validated (GenTx (SimpleBlock p c)) → String #

showList ∷ [Validated (GenTx (SimpleBlock p c))] → ShowS #

Show (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx (SimpleBlock p c) → ShowS #

show ∷ GenTx (SimpleBlock p c) → String #

showList ∷ [GenTx (SimpleBlock p c)] → ShowS #

Show (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (SimpleBlock c ext)) → ShowS #

show ∷ TxId (GenTx (SimpleBlock c ext)) → String #

showList ∷ [TxId (GenTx (SimpleBlock c ext))] → ShowS #

(SimpleCrypto c, Eq ext', Typeable ext) ⇒ Eq (Header (SimpleBlock' c ext ext')) Source #

Instance details

Methods

(==) ∷ Header (SimpleBlock' c ext ext') → Header (SimpleBlock' c ext ext') → Bool #

(/=) ∷ Header (SimpleBlock' c ext ext') → Header (SimpleBlock' c ext ext') → Bool #

Eq (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

(==) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(/=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

Eq (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

(==) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(/=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

Eq (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

(==) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(/=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

Ord (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

compare ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Ordering #

(<) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(<=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(>) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(>=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

max ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #

min ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #

Ord (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

compare ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Ordering #

(<) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(<=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(>) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(>=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

max ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) #

min ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) #

Ord (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

compare ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Ordering #

(<) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(<=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(>) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(>=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

max ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #

min ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #

NoThunks (BlockConfig (SimpleBlock c ext)) Source #

Instance details

Methods

noThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (SimpleBlock c ext)) → String Source #

NoThunks (CodecConfig (SimpleBlock c ext)) Source #

Instance details

Methods

noThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (SimpleBlock c ext)) → String Source #

(SimpleCrypto c, NoThunks ext', Typeable ext) ⇒ NoThunks (Header (SimpleBlock' c ext ext')) Source #

Instance details

Methods

noThunks ∷ Context → Header (SimpleBlock' c ext ext') → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header (SimpleBlock' c ext ext') → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header (SimpleBlock' c ext ext')) → String Source #

NoThunks (StorageConfig (SimpleBlock c ext)) Source #

Instance details

Methods

noThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (SimpleBlock c ext)) → String Source #

(Typeable p, Typeable c) ⇒ NoThunks (Validated (GenTx (SimpleBlock p c))) Source #

Instance details

Methods

noThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (SimpleBlock p c))) → String Source #

(Typeable p, Typeable c) ⇒ NoThunks (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

noThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx (SimpleBlock p c)) → String Source #

NoThunks (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

noThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #

GetTip (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (SimpleBlock c ext) mk → Point (LedgerState (SimpleBlock c ext)) Source #

MockProtocolSpecific c ext ⇒ IsLedger (LedgerState (SimpleBlock c ext)) Source #

Instance details

Associated Types

type LedgerErr (LedgerState (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerErr (LedgerState (SimpleBlock c ext)) = MockError (SimpleBlock c ext)
type AuxLedgerEvent (LedgerState (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) = VoidLedgerEvent (LedgerState (SimpleBlock c ext))

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SlotNo → LedgerState (SimpleBlock c ext) EmptyMK → LedgerResult (LedgerState (SimpleBlock c ext)) (Ticked (LedgerState (SimpleBlock c ext)) DiffMK) Source #

HasTxId (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

txId ∷ GenTx (SimpleBlock c ext) → TxId (GenTx (SimpleBlock c ext)) Source #

SimpleCrypto c ⇒ LedgerSupportsProtocol (SimplePraosRuleBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

Methods

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

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

CanStowLedgerTables (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState (SimpleBlock c ext) ValuesMK → LedgerState (SimpleBlock c ext) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (SimpleBlock c ext) EmptyMK → LedgerState (SimpleBlock c ext) ValuesMK Source #

HasLedgerTables (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

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

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

SerializeTablesWithHint (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK) → LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK) → Decoder s (LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK) Source #

HasNetworkProtocolVersion (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Associated Types

type BlockNodeToNodeVersion (MockBlock ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation type BlockNodeToNodeVersion (MockBlock ext) = ()
type BlockNodeToClientVersion (MockBlock ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation type BlockNodeToClientVersion (MockBlock ext) = ()

(Serialise ext, Typeable ext, Serialise (MockLedgerConfig SimpleMockCrypto ext), MockProtocolSpecific SimpleMockCrypto ext) ⇒ SerialiseNodeToClientConstraints (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Serialise ext ⇒ SerialiseNodeToNodeConstraints (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

estimateBlockSize ∷ Header (MockBlock ext) → SizeInBytes Source #

(Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ SerialiseDiskConstraints (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

CanUpgradeLedgerTables (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (SimpleBlock c ext) mk1 → LedgerState (SimpleBlock c ext) mk2 → LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK → LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK Source #

(Serialise ext, Typeable ext) ⇒ HasBinaryBlockInfo (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

getBinaryBlockInfo ∷ MockBlock ext → BinaryBlockInfo Source #

Condense ext' ⇒ Condense (Header (SimpleBlock' c ext ext')) Source #

Instance details

Methods

condense ∷ Header (SimpleBlock' c ext ext') → String Source #

Condense (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

condense ∷ GenTx (SimpleBlock p c) → String Source #

Condense (GenTxId (SimpleBlock p c)) Source #

Instance details

Methods

condense ∷ GenTxId (SimpleBlock p c) → String Source #

HasMockTxs (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

getMockTxs ∷ GenTx (SimpleBlock p c) → [Tx] Source #

(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ HasHeader (Header (SimpleBlock' c ext ext')) Source #

Instance details

Methods

getHeaderFields ∷ Header (SimpleBlock' c ext ext') → HeaderFields (Header (SimpleBlock' c ext ext')) Source #

(SimpleCrypto c, Serialise ext') ⇒ Serialise (Header (SimpleBlock' c ext ext')) Source #

Custom Serialise instance that doesn't serialise the hash

Instance details

Methods

encode ∷ Header (SimpleBlock' c ext ext') → Encoding Source #

decode ∷ Decoder s (Header (SimpleBlock' c ext ext')) Source #

encodeList ∷ [Header (SimpleBlock' c ext ext')] → Encoding Source #

decodeList ∷ Decoder s [Header (SimpleBlock' c ext ext')] Source #

Serialise (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

encode ∷ GenTx (SimpleBlock c ext) → Encoding Source #

decode ∷ Decoder s (GenTx (SimpleBlock c ext)) Source #

encodeList ∷ [GenTx (SimpleBlock c ext)] → Encoding Source #

decodeList ∷ Decoder s [GenTx (SimpleBlock c ext)] Source #

Serialise (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

encode ∷ TxId (GenTx (SimpleBlock c ext)) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx (SimpleBlock c ext))) Source #

encodeList ∷ [TxId (GenTx (SimpleBlock c ext))] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx (SimpleBlock c ext))] Source #

SerialiseNodeToClient (MockBlock ext) SlotNo Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SlotNo → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s SlotNo Source #

DecodeDisk (SimplePraosRuleBlock c) () Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

Methods

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

EncodeDisk (SimplePraosRuleBlock c) () Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

Methods

encodeDisk ∷ CodecConfig (SimplePraosRuleBlock c) → () → Encoding Source #

SerialiseNodeToClient (MockBlock ext) (SomeBlockQuery (BlockQuery (MockBlock ext))) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SomeBlockQuery (BlockQuery (MockBlock ext)) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (MockBlock ext))) Source #

SerialiseNodeToClient (MockBlock ext) (GenTx (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #

SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

SerialiseNodeToClient (MockBlock ext) (MockError (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockError (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockError (MockBlock ext)) Source #

Serialise ext ⇒ SerialiseNodeToClient (MockBlock ext) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockBlock ext → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #

Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (Header (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Header (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Header (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (GenTx (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (SerialisedHeader (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → SerialisedHeader (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (SerialisedHeader (MockBlock ext)) Source #

Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → MockBlock ext → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #

DecodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

Serialise ext ⇒ DecodeDiskDep (NestedCtxt Header) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

Serialise ext ⇒ DecodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

Serialise ext ⇒ EncodeDisk (MockBlock ext) (Header (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → Header (MockBlock ext) → Encoding Source #

EncodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → AnnTip (MockBlock ext) → Encoding Source #

Serialise ext ⇒ EncodeDisk (MockBlock ext) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → MockBlock ext → Encoding Source #

Serialise ext ⇒ EncodeDiskDep (NestedCtxt Header) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeDiskDep ∷ CodecConfig (MockBlock ext) → NestedCtxt Header (MockBlock ext) a → a → Encoding Source #

Serialise ext ⇒ EncodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

MockProtocolSpecific c ext ⇒ ApplyBlock (LedgerState (SimpleBlock c ext)) (SimpleBlock c ext) Source #

Instance details

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Except (LedgerErr (LedgerState (SimpleBlock c ext))) (LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Except (LedgerErr (LedgerState (SimpleBlock c ext))) (LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) DiffMK) Source #

getBlockKeySets ∷ SimpleBlock c ext → LedgerTables (LedgerState (SimpleBlock c ext)) KeysMK Source #

SerialiseNodeToClient (MockBlock ext) (Serialised (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (Serialised (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #

DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → Header (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → MockBlock ext) Source #

EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (MockBlock ext) EmptyMK → Encoding Source #

Generic (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Associated Types

type Rep (LedgerState (SimpleBlock c ext) mk)

Instance details

type Rep (LedgerState (SimpleBlock c ext) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MockState (SimpleBlock c ext))) :*: S1 ('MetaSel ('Just "simpleLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerTables (LedgerState (SimpleBlock c ext)) mk))))

Methods

from ∷ LedgerState (SimpleBlock c ext) mk → Rep (LedgerState (SimpleBlock c ext) mk) x #

to ∷ Rep (LedgerState (SimpleBlock c ext) mk) x → LedgerState (SimpleBlock c ext) mk #

(SimpleCrypto c, Typeable ext, Show (mk TxIn TxOut)) ⇒ Show (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState (SimpleBlock c ext) mk → ShowS #

show ∷ LedgerState (SimpleBlock c ext) mk → String #

showList ∷ [LedgerState (SimpleBlock c ext) mk] → ShowS #

(SimpleCrypto c, Typeable ext, Eq (mk TxIn TxOut)) ⇒ Eq (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Methods

(==) ∷ LedgerState (SimpleBlock c ext) mk → LedgerState (SimpleBlock c ext) mk → Bool #

(/=) ∷ LedgerState (SimpleBlock c ext) mk → LedgerState (SimpleBlock c ext) mk → Bool #

(SimpleCrypto c, Typeable ext, NoThunks (mk TxIn TxOut)) ⇒ NoThunks (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Methods

noThunks ∷ Context → LedgerState (SimpleBlock c ext) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (SimpleBlock c ext) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (SimpleBlock c ext) mk) → String Source #

(SimpleCrypto c, Typeable ext) ⇒ GetPrevHash (SimpleBlock c ext) Source #

Instance details

Methods

headerPrevHash ∷ Header (SimpleBlock c ext) → ChainHash (SimpleBlock c ext) Source #

(BlockSupportsProtocol (SimpleBlock c ext), Show (SelectView (BlockProtocol (SimpleBlock c ext)))) ⇒ BlockSupportsDiffusionPipelining (SimpleBlock c ext) Source #

Instance details

Associated Types

type TentativeHeaderState (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node type TentativeHeaderState (SimpleBlock c ext) = TentativeHeaderState (SelectViewDiffusionPipelining (SimpleBlock c ext))
type TentativeHeaderView (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node type TentativeHeaderView (SimpleBlock c ext) = TentativeHeaderView (SelectViewDiffusionPipelining (SimpleBlock c ext))

Methods

initialTentativeHeaderState ∷ Proxy (SimpleBlock c ext) → TentativeHeaderState (SimpleBlock c ext) Source #

tentativeHeaderView ∷ BlockConfig (SimpleBlock c ext) → Header (SimpleBlock c ext) → TentativeHeaderView (SimpleBlock c ext) Source #

applyTentativeHeaderView ∷ Proxy (SimpleBlock c ext) → TentativeHeaderView (SimpleBlock c ext) → TentativeHeaderState (SimpleBlock c ext) → Maybe (TentativeHeaderState (SimpleBlock c ext)) Source #

BlockSupportsMetrics (SimpleBlock c ext) Source #

Instance details

Methods

isSelfIssued ∷ BlockConfig (SimpleBlock c ext) → Header (SimpleBlock c ext) → WhetherSelfIssued Source #

(SimpleCrypto c, PraosCrypto c', Signable (PraosKES c') (SignedSimplePraos c c')) ⇒ BlockSupportsProtocol (SimpleBlock c (SimplePraosExt c c')) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

Methods

validateView ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → Header (SimpleBlock c (SimplePraosExt c c')) → ValidateView (BlockProtocol (SimpleBlock c (SimplePraosExt c c'))) Source #

selectView ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → Header (SimpleBlock c (SimplePraosExt c c')) → SelectView (BlockProtocol (SimpleBlock c (SimplePraosExt c c'))) Source #

projectChainOrderConfig ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → ChainOrderConfig (SelectView (BlockProtocol (SimpleBlock c (SimplePraosExt c c')))) Source #

SimpleCrypto c ⇒ BlockSupportsProtocol (SimpleBlock c SimplePraosRuleExt) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

Methods

validateView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → ValidateView (BlockProtocol (SimpleBlock c SimplePraosRuleExt)) Source #

selectView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → SelectView (BlockProtocol (SimpleBlock c SimplePraosRuleExt)) Source #

projectChainOrderConfig ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → ChainOrderConfig (SelectView (BlockProtocol (SimpleBlock c SimplePraosRuleExt))) Source #

(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ BlockSupportsProtocol (SimpleBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

validateView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → ValidateView (BlockProtocol (SimpleBftBlock c c')) Source #

selectView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → SelectView (BlockProtocol (SimpleBftBlock c c')) Source #

projectChainOrderConfig ∷ BlockConfig (SimpleBftBlock c c') → ChainOrderConfig (SelectView (BlockProtocol (SimpleBftBlock c c'))) Source #

(SimpleCrypto c, Signable MockDSIGN (SignedSimplePBft c PBftMockCrypto)) ⇒ BlockSupportsProtocol (SimplePBftBlock c PBftMockCrypto) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Methods

validateView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → ValidateView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source #

selectView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → SelectView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source #

projectChainOrderConfig ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → ChainOrderConfig (SelectView (BlockProtocol (SimplePBftBlock c PBftMockCrypto))) Source #

ConsensusProtocol (BlockProtocol (SimpleBlock c ext)) ⇒ BlockSupportsSanityCheck (SimpleBlock c ext) Source #

Instance details

Methods

configAllSecurityParams ∷ TopLevelConfig (SimpleBlock c ext) → NonEmpty SecurityParam Source #

RunMockBlock c ext ⇒ ConfigSupportsNode (SimpleBlock c ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Abstract

Methods

getSystemStart ∷ BlockConfig (SimpleBlock c ext) → SystemStart Source #

getNetworkMagic ∷ BlockConfig (SimpleBlock c ext) → NetworkMagic Source #

HasHardForkHistory (SimpleBlock c ext) Source #

Instance details

Associated Types

type HardForkIndices (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type HardForkIndices (SimpleBlock c ext) = '[SimpleBlock c ext]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) mk → Summary (HardForkIndices (SimpleBlock c ext)) Source #

MockProtocolSpecific c ext ⇒ HasPartialLedgerConfig (SimpleBlock c ext) Source #

Instance details

Associated Types

type PartialLedgerConfig (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type PartialLedgerConfig (SimpleBlock c ext) = LedgerConfig (SimpleBlock c ext)

Methods

completeLedgerConfig ∷ proxy (SimpleBlock c ext) → EpochInfo (Except PastHorizonException) → PartialLedgerConfig (SimpleBlock c ext) → LedgerConfig (SimpleBlock c ext) Source #

(SimpleCrypto c, Typeable ext) ⇒ BasicEnvelopeValidation (SimpleBlock c ext) Source #

Instance details

Methods

expectedFirstBlockNo ∷ proxy (SimpleBlock c ext) → BlockNo Source #

expectedNextBlockNo ∷ proxy (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → BlockNo → BlockNo Source #

minimumPossibleSlotNo ∷ Proxy (SimpleBlock c ext) → SlotNo Source #

minimumNextSlotNo ∷ proxy (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → SlotNo → SlotNo Source #

(SimpleCrypto c, Typeable ext) ⇒ HasAnnTip (SimpleBlock c ext) Source #

Instance details

Associated Types

type TipInfo (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type TipInfo (SimpleBlock c ext) = HeaderHash (SimpleBlock c ext)

Methods

getTipInfo ∷ Header (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) Source #

tipInfoHash ∷ proxy (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → HeaderHash (SimpleBlock c ext) Source #

(SimpleCrypto c, Typeable ext) ⇒ ValidateEnvelope (SimpleBlock c ext) Source #

Instance details

Associated Types

type OtherHeaderEnvelopeError (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type OtherHeaderEnvelopeError (SimpleBlock c ext) = Void

Methods

additionalEnvelopeChecks ∷ TopLevelConfig (SimpleBlock c ext) → LedgerView (BlockProtocol (SimpleBlock c ext)) → Header (SimpleBlock c ext) → Except (OtherHeaderEnvelopeError (SimpleBlock c ext)) () Source #

MockProtocolSpecific c ext ⇒ UpdateLedger (SimpleBlock c ext) Source #

Instance details

GetTip (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (SimpleBlock c ext)) mk → Point (Ticked (LedgerState (SimpleBlock c ext))) Source #

MockProtocolSpecific c ext ⇒ CommonProtocolParams (SimpleBlock c ext) Source #

Dummy values

Instance details

Methods

maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState (SimpleBlock c ext) mk → Word32 Source #

maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState (SimpleBlock c ext) mk → Word32 Source #

InspectLedger (SimpleBlock c ext) Source #

Instance details

Associated Types

type LedgerWarning (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerWarning (SimpleBlock c ext) = Void
type LedgerUpdate (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerUpdate (SimpleBlock c ext) = Void

Methods

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

MockProtocolSpecific c ext ⇒ BlockSupportsLedgerQuery (SimpleBlock c ext) Source #

Instance details

Methods

answerPureBlockQuery ∷ ExtLedgerCfg (SimpleBlock c ext) → BlockQuery (SimpleBlock c ext) 'QFNoTables result → ExtLedgerState (SimpleBlock c ext) EmptyMK → result Source #

answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg (SimpleBlock c ext) → BlockQuery (SimpleBlock c ext) 'QFLookupTables result → ReadOnlyForker' m (SimpleBlock c ext) → m result Source #

answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg (SimpleBlock c ext) → BlockQuery (SimpleBlock c ext) 'QFTraverseTables result → ReadOnlyForker' m (SimpleBlock c ext) → m result Source #

blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery (SimpleBlock c ext) fp result → BlockNodeToClientVersion (SimpleBlock c ext) → Bool Source #

HasTxs (SimpleBlock c ext) Source #

Instance details

Methods

extractTxs ∷ SimpleBlock c ext → [GenTx (SimpleBlock c ext)] Source #

MockProtocolSpecific c ext ⇒ LedgerSupportsMempool (SimpleBlock c ext) Source #

Instance details

Methods

txInvariant ∷ GenTx (SimpleBlock c ext) → Bool Source #

applyTx ∷ LedgerConfig (SimpleBlock c ext) → WhetherToIntervene → SlotNo → GenTx (SimpleBlock c ext) → TickedLedgerState (SimpleBlock c ext) ValuesMK → Except (ApplyTxErr (SimpleBlock c ext)) (TickedLedgerState (SimpleBlock c ext) DiffMK, Validated (GenTx (SimpleBlock c ext))) Source #

reapplyTx ∷ ComputeDiffs → LedgerConfig (SimpleBlock c ext) → SlotNo → Validated (GenTx (SimpleBlock c ext)) → TickedLedgerState (SimpleBlock c ext) ValuesMK → Except (ApplyTxErr (SimpleBlock c ext)) (TickedLedgerState (SimpleBlock c ext) TrackingMK) Source #

reapplyTxs ∷ ComputeDiffs → LedgerConfig (SimpleBlock c ext) → SlotNo → [(Validated (GenTx (SimpleBlock c ext)), extra)] → TickedLedgerState (SimpleBlock c ext) ValuesMK → ReapplyTxsResult extra (SimpleBlock c ext) Source #

txForgetValidated ∷ Validated (GenTx (SimpleBlock c ext)) → GenTx (SimpleBlock c ext) Source #

getTransactionKeySets ∷ GenTx (SimpleBlock c ext) → LedgerTables (LedgerState (SimpleBlock c ext)) KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState (SimpleBlock c ext) DiffMK → TickedLedgerState (SimpleBlock c ext) DiffMK → TickedLedgerState (SimpleBlock c ext) DiffMK Source #

applyMempoolDiffs ∷ LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK → LedgerTables (LedgerState (SimpleBlock c ext)) KeysMK → TickedLedgerState (SimpleBlock c ext) DiffMK → TickedLedgerState (SimpleBlock c ext) ValuesMK Source #

TxLimits (SimpleBlock c ext) Source #

Instance details

Associated Types

type TxMeasure (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type TxMeasure (SimpleBlock c ext) = IgnoringOverflow ByteSize32

Methods

txMeasure ∷ LedgerConfig (SimpleBlock c ext) → TickedLedgerState (SimpleBlock c ext) ValuesMK → GenTx (SimpleBlock c ext) → Except (ApplyTxErr (SimpleBlock c ext)) (TxMeasure (SimpleBlock c ext)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (SimpleBlock c ext) → TickedLedgerState (SimpleBlock c ext) mk → TxMeasure (SimpleBlock c ext) Source #

LedgerSupportsPeerSelection (SimpleBlock c ext) Source #

Instance details

Methods

getPeers ∷ ∀ (mk ∷ MapKind). LedgerState (SimpleBlock c ext) mk → [(PoolStake, NonEmpty StakePoolRelay)] Source #

(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ LedgerSupportsProtocol (SimpleBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

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

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

(SimpleCrypto c, Signable MockDSIGN (SignedSimplePBft c PBftMockCrypto)) ⇒ LedgerSupportsProtocol (SimplePBftBlock c PBftMockCrypto) Source #

The ledger view is constant for the mock instantiation of PBFT (mock blocks cannot change delegation)

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Methods

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

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

(SimpleCrypto c, PraosCrypto c', Signable (PraosKES c') (SignedSimplePraos c c')) ⇒ LedgerSupportsProtocol (SimplePraosBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

Methods

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

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

CanStowLedgerTables (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

stowLedgerTables ∷ Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Ticked (LedgerState (SimpleBlock c ext)) EmptyMK Source #

unstowLedgerTables ∷ Ticked (LedgerState (SimpleBlock c ext)) EmptyMK → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK Source #

HasLedgerTables (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

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

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

NodeInitStorage (SimpleBlock SimpleMockCrypto ext) Source #

Instance details

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig (SimpleBlock SimpleMockCrypto ext) → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig (SimpleBlock SimpleMockCrypto ext) → SimpleBlock SimpleMockCrypto ext → Bool Source #

nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (SimpleBlock SimpleMockCrypto ext) → InitChainDB m (SimpleBlock SimpleMockCrypto ext) → m () Source #

SupportedNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #

Instance details

Methods

supportedNodeToNodeVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToNodeVersion (BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext)) Source #

supportedNodeToClientVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToClientVersion (BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext)) Source #

latestReleasedNodeVersion ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

(LedgerSupportsProtocol (SimpleBlock SimpleMockCrypto ext), Show (CannotForge (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateInfo (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateUpdateError (SimpleBlock SimpleMockCrypto ext)), Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ RunNode (SimpleBlock SimpleMockCrypto ext) Source #

Instance details

SignedHeader (SimpleBftHeader c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

headerSigned ∷ SimpleBftHeader c c' → Signed (SimpleBftHeader c c') Source #

SignedHeader (SimplePBftHeader c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Methods

headerSigned ∷ SimplePBftHeader c c' → Signed (SimplePBftHeader c c') Source #

PraosCrypto c' ⇒ SignedHeader (SimplePraosHeader c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

Methods

headerSigned ∷ SimplePraosHeader c c' → Signed (SimplePraosHeader c c') Source #

(SimpleCrypto c, Typeable ext) ⇒ ShowQuery (BlockQuery (SimpleBlock c ext) fp) Source #

Instance details

Methods

showResult ∷ BlockQuery (SimpleBlock c ext) fp result → result → String Source #

DecodeDisk (SimpleBftBlock c c') () Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

decodeDisk ∷ CodecConfig (SimpleBftBlock c c') → ∀ s. Decoder s () Source #

EncodeDisk (SimpleBftBlock c c') () Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

encodeDisk ∷ CodecConfig (SimpleBftBlock c c') → () → Encoding Source #

IndexedMemPack (LedgerState (SimpleBlock c ext) EmptyMK) TxOut Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (SimpleBlock c ext) EmptyMK → TxOut → Int Source #

indexedPackM ∷ LedgerState (SimpleBlock c ext) EmptyMK → TxOut → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (SimpleBlock c ext) EmptyMK → Unpack b TxOut Source #

indexedTypeName ∷ LedgerState (SimpleBlock c ext) EmptyMK → String Source #

PBftCrypto c' ⇒ DecodeDisk (SimplePBftBlock c c') (PBftState c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Methods

decodeDisk ∷ CodecConfig (SimplePBftBlock c c') → ∀ s. Decoder s (PBftState c') Source #

PraosCrypto c' ⇒ DecodeDisk (SimplePraosBlock c c') (PraosChainDepState c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

Methods

decodeDisk ∷ CodecConfig (SimplePraosBlock c c') → ∀ s. Decoder s (PraosChainDepState c') Source #

PBftCrypto c' ⇒ EncodeDisk (SimplePBftBlock c c') (PBftState c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Methods

encodeDisk ∷ CodecConfig (SimplePBftBlock c c') → PBftState c' → Encoding Source #

PraosCrypto c' ⇒ EncodeDisk (SimplePraosBlock c c') (PraosChainDepState c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

Methods

encodeDisk ∷ CodecConfig (SimplePraosBlock c c') → PraosChainDepState c' → Encoding Source #

(Typeable c, Typeable ext) ⇒ ShowProxy (BlockQuery (SimpleBlock c ext) ∷ QueryFootprint → Type → Type) Source #

Instance details

Methods

showProxy ∷ Proxy (BlockQuery (SimpleBlock c ext)) → String Source #

Serialise (MockLedgerConfig c ext) ⇒ SerialiseNodeToClient (SimpleBlock c ext) (SimpleLedgerConfig c ext) Source #

Instance details

Methods

encodeNodeToClient ∷ CodecConfig (SimpleBlock c ext) → BlockNodeToClientVersion (SimpleBlock c ext) → SimpleLedgerConfig c ext → Encoding Source #

decodeNodeToClient ∷ CodecConfig (SimpleBlock c ext) → BlockNodeToClientVersion (SimpleBlock c ext) → ∀ s. Decoder s (SimpleLedgerConfig c ext) Source #

Generic (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

Associated Types

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk)

Instance details

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext) mk))))

Methods

from ∷ Ticked (LedgerState (SimpleBlock c ext)) mk → Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) x #

to ∷ Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) x → Ticked (LedgerState (SimpleBlock c ext)) mk #

Generic (SimpleBlock' c ext ext') Source #

Instance details

Associated Types

type Rep (SimpleBlock' c ext ext')

Instance details

type Rep (SimpleBlock' c ext ext') = D1 ('MetaData "SimpleBlock'" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header (SimpleBlock' c ext ext'))) :*: S1 ('MetaSel ('Just "simpleBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleBody)))

Methods

from ∷ SimpleBlock' c ext ext' → Rep (SimpleBlock' c ext ext') x #

to ∷ Rep (SimpleBlock' c ext ext') x → SimpleBlock' c ext ext' #

Show (NestedCtxt_ (SimpleBlock c ext) f a) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

showsPrec ∷ Int → NestedCtxt_ (SimpleBlock c ext) f a → ShowS #

show ∷ NestedCtxt_ (SimpleBlock c ext) f a → String #

showList ∷ [NestedCtxt_ (SimpleBlock c ext) f a] → ShowS #

Show (BlockQuery (SimpleBlock c ext) fp result) Source #

Instance details

Methods

showsPrec ∷ Int → BlockQuery (SimpleBlock c ext) fp result → ShowS #

show ∷ BlockQuery (SimpleBlock c ext) fp result → String #

showList ∷ [BlockQuery (SimpleBlock c ext) fp result] → ShowS #

(SimpleCrypto c, Typeable ext, Show (LedgerState (SimpleBlock c ext) mk)) ⇒ Show (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked (LedgerState (SimpleBlock c ext)) mk → ShowS #

show ∷ Ticked (LedgerState (SimpleBlock c ext)) mk → String #

showList ∷ [Ticked (LedgerState (SimpleBlock c ext)) mk] → ShowS #

(SimpleCrypto c, Show ext', Typeable ext) ⇒ Show (SimpleBlock' c ext ext') Source #

Instance details

Methods

showsPrec ∷ Int → SimpleBlock' c ext ext' → ShowS #

show ∷ SimpleBlock' c ext ext' → String #

showList ∷ [SimpleBlock' c ext ext'] → ShowS #

(SimpleCrypto c, Eq ext', Typeable ext) ⇒ Eq (SimpleBlock' c ext ext') Source #

Instance details

Methods

(==) ∷ SimpleBlock' c ext ext' → SimpleBlock' c ext ext' → Bool #

(/=) ∷ SimpleBlock' c ext ext' → SimpleBlock' c ext ext' → Bool #

(SimpleCrypto c, Typeable ext) ⇒ NoThunks (Ticked (LedgerState (SimpleBlock c ext)) TrackingMK) Source #

Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) TrackingMK → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) TrackingMK → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (SimpleBlock c ext)) TrackingMK) → String Source #

SimpleCrypto c ⇒ ConvertRawHash (SimpleBlock' c ext ext') Source #

Instance details

Methods

toRawHash ∷ proxy (SimpleBlock' c ext ext') → HeaderHash (SimpleBlock' c ext ext') → ByteString Source #

fromRawHash ∷ proxy (SimpleBlock' c ext ext') → ByteString → HeaderHash (SimpleBlock' c ext ext') Source #

toShortRawHash ∷ proxy (SimpleBlock' c ext ext') → HeaderHash (SimpleBlock' c ext ext') → ShortByteString Source #

fromShortRawHash ∷ proxy (SimpleBlock' c ext ext') → ShortByteString → HeaderHash (SimpleBlock' c ext ext') Source #

hashSize ∷ proxy (SimpleBlock' c ext ext') → Word32 Source #

(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ GetHeader (SimpleBlock' c ext ext') Source #

Instance details

Methods

getHeader ∷ SimpleBlock' c ext ext' → Header (SimpleBlock' c ext ext') Source #

blockMatchesHeader ∷ Header (SimpleBlock' c ext ext') → SimpleBlock' c ext ext' → Bool Source #

headerIsEBB ∷ Header (SimpleBlock' c ext ext') → Maybe EpochNo Source #

Condense ext' ⇒ Condense (SimpleBlock' c ext ext') Source #

Instance details

Methods

condense ∷ SimpleBlock' c ext ext' → String Source #

HasMockTxs (SimpleBlock' c ext ext') Source #

Instance details

Methods

getMockTxs ∷ SimpleBlock' c ext ext' → [Tx] Source #

(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ HasHeader (SimpleBlock' c ext ext') Source #

Instance details

Methods

getHeaderFields ∷ SimpleBlock' c ext ext' → HeaderFields (SimpleBlock' c ext ext') Source #

(SimpleCrypto c, Serialise ext') ⇒ Serialise (SimpleBlock' c ext ext') Source #

Instance details

Methods

encode ∷ SimpleBlock' c ext ext' → Encoding Source #

decode ∷ Decoder s (SimpleBlock' c ext ext') Source #

encodeList ∷ [SimpleBlock' c ext ext'] → Encoding Source #

decodeList ∷ Decoder s [SimpleBlock' c ext ext'] Source #

type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) = f (SimpleBlock c ext)

type HeaderHash (SimpleBlock' c ext ext' ∷ Type) Source #

Instance details

type HeaderHash (SimpleBlock' c ext ext' ∷ Type) = Hash (SimpleHash c) (Header (SimpleBlock' c ext ext'))

type Rep (BlockConfig (SimpleBlock c ext)) Source #

Instance details

type Rep (BlockConfig (SimpleBlock c ext)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig (SimpleBlock c ext)) Source #

Instance details

type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (Header (SimpleBlock' c ext ext')) Source #

Instance details

type Rep (Header (SimpleBlock' c ext ext')) = D1 ('MetaData "Header" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash (SimpleBlock' c ext ext'))) :*: (S1 ('MetaSel ('Just "simpleHeaderStd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleStdHeader c ext)) :*: S1 ('MetaSel ('Just "simpleHeaderExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ext'))))

type Rep (StorageConfig (SimpleBlock c ext)) Source #

Instance details

type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStorageConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam)))

type Rep (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))

type Rep (GenTx (SimpleBlock c ext)) Source #

Instance details

type Rep (GenTx (SimpleBlock c ext)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleGenTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tx) :*: S1 ('MetaSel ('Just "simpleGenTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)))

type Rep (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

type BlockProtocol (SimplePraosRuleBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

type BlockProtocol (SimplePraosRuleBlock c) = WithLeaderSchedule (Praos PraosCryptoUnused)

type CannotForge (SimplePraosRuleBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

type CannotForge (SimplePraosRuleBlock c) = Void

type ForgeStateInfo (SimplePraosRuleBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

type ForgeStateInfo (SimplePraosRuleBlock c) = ()

type ForgeStateUpdateError (SimplePraosRuleBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

type ForgeStateUpdateError (SimplePraosRuleBlock c) = Void

newtype Validated (GenTx (SimpleBlock c ext)) Source #

Instance details

newtype Validated (GenTx (SimpleBlock c ext)) = ValidatedSimpleGenTx {

forgetValidatedSimpleGenTx ∷ GenTx (SimpleBlock c ext)

}

type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) Source #

Instance details

type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) = VoidLedgerEvent (LedgerState (SimpleBlock c ext))

type LedgerCfg (LedgerState (SimpleBlock c ext)) Source #

Instance details

type LedgerCfg (LedgerState (SimpleBlock c ext)) = SimpleLedgerConfig c ext

type LedgerErr (LedgerState (SimpleBlock c ext)) Source #

Instance details

type LedgerErr (LedgerState (SimpleBlock c ext)) = MockError (SimpleBlock c ext)

newtype TxId (GenTx (SimpleBlock c ext)) Source #

Instance details

newtype TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId {

unSimpleGenTxId ∷ TxId

}

type TxIn (LedgerState (SimpleBlock c ext)) Source #

Instance details

type TxIn (LedgerState (SimpleBlock c ext)) = TxIn

type TxOut (LedgerState (SimpleBlock c ext)) Source #

Instance details

type TxOut (LedgerState (SimpleBlock c ext)) = TxOut

type BlockNodeToClientVersion (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

type BlockNodeToClientVersion (MockBlock ext) = ()

type BlockNodeToNodeVersion (MockBlock ext) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

type BlockNodeToNodeVersion (MockBlock ext) = ()

type Rep (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

type Rep (LedgerState (SimpleBlock c ext) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MockState (SimpleBlock c ext))) :*: S1 ('MetaSel ('Just "simpleLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerTables (LedgerState (SimpleBlock c ext)) mk))))

data BlockConfig (SimpleBlock c ext) Source #

Instance details

data BlockConfig (SimpleBlock c ext) = SimpleBlockConfig

type BlockProtocol (SimpleBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type BlockProtocol (SimpleBftBlock c c') = Bft c'

type BlockProtocol (SimplePBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

type BlockProtocol (SimplePBftBlock c c') = PBft c'

type BlockProtocol (SimplePraosBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

type BlockProtocol (SimplePraosBlock c c') = Praos c'

data CodecConfig (SimpleBlock c ext) Source #

Instance details

data CodecConfig (SimpleBlock c ext) = SimpleCodecConfig

data StorageConfig (SimpleBlock c ext) Source #

Instance details

data StorageConfig (SimpleBlock c ext) = SimpleStorageConfig SecurityParam

type CannotForge (SimpleBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type CannotForge (SimpleBftBlock c c') = Void

type CannotForge (SimplePBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

type CannotForge (SimplePBftBlock c c') = PBftCannotForge c'

type CannotForge (SimplePraosBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

type CannotForge (SimplePraosBlock c c') = Void

type ForgeStateInfo (SimpleBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type ForgeStateInfo (SimpleBftBlock c c') = ()

type ForgeStateInfo (SimplePBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

type ForgeStateInfo (SimplePBftBlock c c') = ()

type ForgeStateInfo (SimplePraosBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

type ForgeStateInfo (SimplePraosBlock c c') = HotKey c'

type ForgeStateUpdateError (SimpleBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type ForgeStateUpdateError (SimpleBftBlock c c') = Void

type ForgeStateUpdateError (SimplePBftBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

type ForgeStateUpdateError (SimplePBftBlock c c') = Void

type ForgeStateUpdateError (SimplePraosBlock c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

type ForgeStateUpdateError (SimplePraosBlock c c') = HotKeyEvolutionError

data NestedCtxt_ (SimpleBlock c ext) f a Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

data NestedCtxt_ (SimpleBlock c ext) f a where

CtxtMock ∷ ∀ c ext (f ∷ Type → Type). NestedCtxt_ (SimpleBlock c ext) f (f (SimpleBlock c ext))

type TentativeHeaderState (SimpleBlock c ext) Source #

Instance details

type TentativeHeaderState (SimpleBlock c ext) = TentativeHeaderState (SelectViewDiffusionPipelining (SimpleBlock c ext))

type TentativeHeaderView (SimpleBlock c ext) Source #

Instance details

type TentativeHeaderView (SimpleBlock c ext) = TentativeHeaderView (SelectViewDiffusionPipelining (SimpleBlock c ext))

type HardForkIndices (SimpleBlock c ext) Source #

Instance details

type HardForkIndices (SimpleBlock c ext) = '[SimpleBlock c ext]

type PartialLedgerConfig (SimpleBlock c ext) Source #

Instance details

type PartialLedgerConfig (SimpleBlock c ext) = LedgerConfig (SimpleBlock c ext)

type OtherHeaderEnvelopeError (SimpleBlock c ext) Source #

Instance details

type OtherHeaderEnvelopeError (SimpleBlock c ext) = Void

type TipInfo (SimpleBlock c ext) Source #

Instance details

type TipInfo (SimpleBlock c ext) = HeaderHash (SimpleBlock c ext)

data LedgerState (SimpleBlock c ext) mk Source #

Instance details

data LedgerState (SimpleBlock c ext) mk = SimpleLedgerState {

simpleLedgerState ∷ MockState (SimpleBlock c ext)
simpleLedgerTables ∷ LedgerTables (LedgerState (SimpleBlock c ext)) mk

}

type LedgerUpdate (SimpleBlock c ext) Source #

Instance details

type LedgerUpdate (SimpleBlock c ext) = Void

type LedgerWarning (SimpleBlock c ext) Source #

Instance details

type LedgerWarning (SimpleBlock c ext) = Void

data BlockQuery (SimpleBlock c ext) fp result Source #

Instance details

data BlockQuery (SimpleBlock c ext) fp result where

QueryLedgerTip ∷ ∀ c ext. BlockQuery (SimpleBlock c ext) 'QFNoTables (Point (SimpleBlock c ext))

type ApplyTxErr (SimpleBlock c ext) Source #

Instance details

type ApplyTxErr (SimpleBlock c ext) = MockError (SimpleBlock c ext)

data GenTx (SimpleBlock c ext) Source #

Instance details

data GenTx (SimpleBlock c ext) = SimpleGenTx {

simpleGenTx ∷ !Tx
simpleGenTxId ∷ !TxId

}

type TxMeasure (SimpleBlock c ext) Source #

Instance details

type TxMeasure (SimpleBlock c ext) = IgnoringOverflow ByteSize32

type Signed (SimpleBftHeader c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type Signed (SimpleBftHeader c c') = SignedSimpleBft c c'

type Signed (SimplePBftHeader c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

type Signed (SimplePBftHeader c c') = SignedSimplePBft c c'

type Signed (SimplePraosHeader c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

type Signed (SimplePraosHeader c c') = SignedSimplePraos c c'

newtype Ticked (LedgerState (SimpleBlock c ext) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

newtype Ticked (LedgerState (SimpleBlock c ext) ∷ MapKind → Type) (mk ∷ MapKind) = TickedSimpleLedgerState {

getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) mk

}

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext) mk))))

type Rep (SimpleBlock' c ext ext') Source #

Instance details

type Rep (SimpleBlock' c ext ext') = D1 ('MetaData "SimpleBlock'" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header (SimpleBlock' c ext ext'))) :*: S1 ('MetaSel ('Just "simpleBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleBody)))

data Header (SimpleBlock' c ext ext') Source #

data SimpleBody Source #

Constructors

SimpleBody
Fields simpleTxs ∷ [Tx]

Instances

Instances details

ToCBOR SimpleBody Source #

Instance details

Methods

toCBOR ∷ SimpleBody → Encoding Source #

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

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

Generic SimpleBody Source #

Instance details

Associated Types

type Rep SimpleBody
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep SimpleBody = D1 ('MetaData "SimpleBody" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Tx])))

Methods

from ∷ SimpleBody → Rep SimpleBody x #

to ∷ Rep SimpleBody x → SimpleBody #

Show SimpleBody Source #

Instance details

Methods

showsPrec ∷ Int → SimpleBody → ShowS #

show ∷ SimpleBody → String #

showList ∷ [SimpleBody] → ShowS #

Eq SimpleBody Source #

Instance details

Methods

(==) ∷ SimpleBody → SimpleBody → Bool #

(/=) ∷ SimpleBody → SimpleBody → Bool #

HasMockTxs SimpleBody Source #

Instance details

Methods

getMockTxs ∷ SimpleBody → [Tx] Source #

Serialise SimpleBody Source #

Instance details

Methods

encode ∷ SimpleBody → Encoding Source #

decode ∷ Decoder s SimpleBody Source #

encodeList ∷ [SimpleBody] → Encoding Source #

decodeList ∷ Decoder s [SimpleBody] Source #

type Rep SimpleBody Source #

Instance details

type Rep SimpleBody = D1 ('MetaData "SimpleBody" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Tx])))

type family SimpleHash c Source #

Instances

Instances details

type SimpleHash SimpleMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleMockCrypto = ShortHash
type SimpleHash SimpleStandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleStandardCrypto = SHA256

type SimpleHeader c ext = Header (SimpleBlock c ext) Source #

data SimpleStdHeader c ext Source #

Constructors

SimpleStdHeader
Fields simplePrev ∷ ChainHash (SimpleBlock c ext) simpleSlotNo ∷ SlotNo simpleBlockNo ∷ BlockNo simpleBodyHash ∷ Hash (SimpleHash c) SimpleBody simpleBodySize ∷ SizeInBytes

Instances

Instances details

Generic (SimpleStdHeader c ext) Source #

Instance details

Associated Types

type Rep (SimpleStdHeader c ext)

Instance details

type Rep (SimpleStdHeader c ext) = D1 ('MetaData "SimpleStdHeader" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStdHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "simplePrev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash (SimpleBlock c ext))) :*: S1 ('MetaSel ('Just "simpleSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "simpleBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "simpleBodyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (SimpleHash c) SimpleBody)) :*: S1 ('MetaSel ('Just "simpleBodySize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SizeInBytes)))))

Methods

from ∷ SimpleStdHeader c ext → Rep (SimpleStdHeader c ext) x #

to ∷ Rep (SimpleStdHeader c ext) x → SimpleStdHeader c ext #

(SimpleCrypto c, Typeable ext) ⇒ Show (SimpleStdHeader c ext) Source #

Instance details

Methods

showsPrec ∷ Int → SimpleStdHeader c ext → ShowS #

show ∷ SimpleStdHeader c ext → String #

showList ∷ [SimpleStdHeader c ext] → ShowS #

(SimpleCrypto c, Typeable ext) ⇒ Eq (SimpleStdHeader c ext) Source #

Instance details

Methods

(==) ∷ SimpleStdHeader c ext → SimpleStdHeader c ext → Bool #

(/=) ∷ SimpleStdHeader c ext → SimpleStdHeader c ext → Bool #

(SimpleCrypto c, Typeable ext) ⇒ NoThunks (SimpleStdHeader c ext) Source #

Instance details

Methods

noThunks ∷ Context → SimpleStdHeader c ext → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SimpleStdHeader c ext → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SimpleStdHeader c ext) → String Source #

KnownNat (SizeHash (SimpleHash c)) ⇒ Serialise (SimpleStdHeader c ext) Source #

Instance details

Methods

encode ∷ SimpleStdHeader c ext → Encoding Source #

decode ∷ Decoder s (SimpleStdHeader c ext) Source #

encodeList ∷ [SimpleStdHeader c ext] → Encoding Source #

decodeList ∷ Decoder s [SimpleStdHeader c ext] Source #

type Rep (SimpleStdHeader c ext) Source #

Instance details

type Rep (SimpleStdHeader c ext) = D1 ('MetaData "SimpleStdHeader" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStdHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "simplePrev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash (SimpleBlock c ext))) :*: S1 ('MetaSel ('Just "simpleSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "simpleBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "simpleBodyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (SimpleHash c) SimpleBody)) :*: S1 ('MetaSel ('Just "simpleBodySize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SizeInBytes)))))

Working with `SimpleBlock`

countSimpleGenTxs ∷ SimpleBlock c ext → Word64 Source #

matchesSimpleHeader ∷ SimpleCrypto c ⇒ Header (SimpleBlock' c ext ext') → SimpleBlock' c ext ext'' → Bool Source #

Check whether the block matches the header

mkSimpleHeader ∷ SimpleCrypto c ⇒ (ext' → Encoding) → SimpleStdHeader c ext → ext' → Header (SimpleBlock' c ext ext') Source #

Create a header by hashing the header without hash and adding to the resulting value.

Configuration

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig

Instance details

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

Methods

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

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

Generic (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Generic (BlockConfig (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (BlockConfig (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (BlockConfig (SimpleBlock c ext)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ BlockConfig (SimpleBlock c ext) → Rep (BlockConfig (SimpleBlock c ext)) x #

to ∷ Rep (BlockConfig (SimpleBlock c ext)) x → BlockConfig (SimpleBlock c ext) #

Show (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

show ∷ BlockConfig (TestBlockWith ptype) → String #

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

CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

NoThunks (BlockConfig (DualBlock m a))

Instance details

Methods

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

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

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

NoThunks (BlockConfig (TestBlockWith ptype))

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 (BlockConfig (SimpleBlock c ext)) Source #

Instance details

Methods

noThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (SimpleBlock c ext)) → String Source #

type Rep (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

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

type Rep (BlockConfig (SimpleBlock c ext)) Source #

Instance details

type Rep (BlockConfig (SimpleBlock c ext)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype BlockConfig (DisableDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (SelectViewDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

data BlockConfig (DualBlock m a)

Instance details

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

data BlockConfig (SimpleBlock c ext) Source #

Instance details

data BlockConfig (SimpleBlock c ext) = SimpleBlockConfig

data family CodecConfig blk Source #

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

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

Instances

Instances details

Isomorphic CodecConfig

Instance details

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

Methods

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

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

Generic (CodecConfig (DualBlock m a))

Instance details

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

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

Methods

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

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

Generic (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Generic (CodecConfig (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (CodecConfig (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig (SimpleBlock c ext) → Rep (CodecConfig (SimpleBlock c ext)) x #

to ∷ Rep (CodecConfig (SimpleBlock c ext)) x → CodecConfig (SimpleBlock c ext) #

Show (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (CodecConfig TestBlock)

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 (CodecConfig (SimpleBlock c ext)) Source #

Instance details

Methods

noThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (SimpleBlock c ext)) → String Source #

data CodecConfig TestBlock

The TestBlock does not need any codec config

Instance details

Defined in Test.Util.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

type Rep (CodecConfig (DualBlock m a))

Instance details

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

type Rep (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

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

type Rep (CodecConfig (SimpleBlock c ext)) Source #

Instance details

type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype CodecConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a)

Instance details

data CodecConfig (DualBlock m a) = DualCodecConfig {

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

}

data CodecConfig (SimpleBlock c ext) Source #

Instance details

data CodecConfig (SimpleBlock c ext) = SimpleCodecConfig

data SimpleLedgerConfig c ext Source #

Constructors

SimpleLedgerConfig
Fields simpleMockLedgerConfig ∷ !(MockLedgerConfig c ext) Config required by the various kinds of mock block (PFT, Praos, ..) simpleLedgerEraParams ∷ !EraParams Era parameters simpleLedgerMockConfig ∷ !MockConfig

Instances

Instances details

Generic (SimpleLedgerConfig c ext) Source #

Instance details

Associated Types

type Rep (SimpleLedgerConfig c ext)

Instance details

type Rep (SimpleLedgerConfig c ext) = D1 ('MetaData "SimpleLedgerConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleMockLedgerConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MockLedgerConfig c ext)) :*: (S1 ('MetaSel ('Just "simpleLedgerEraParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraParams) :*: S1 ('MetaSel ('Just "simpleLedgerMockConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MockConfig))))

Methods

from ∷ SimpleLedgerConfig c ext → Rep (SimpleLedgerConfig c ext) x #

to ∷ Rep (SimpleLedgerConfig c ext) x → SimpleLedgerConfig c ext #

Show (MockLedgerConfig c ext) ⇒ Show (SimpleLedgerConfig c ext) Source #

Instance details

Methods

showsPrec ∷ Int → SimpleLedgerConfig c ext → ShowS #

show ∷ SimpleLedgerConfig c ext → String #

showList ∷ [SimpleLedgerConfig c ext] → ShowS #

Eq (MockLedgerConfig c ext) ⇒ Eq (SimpleLedgerConfig c ext) Source #

Instance details

Methods

(==) ∷ SimpleLedgerConfig c ext → SimpleLedgerConfig c ext → Bool #

(/=) ∷ SimpleLedgerConfig c ext → SimpleLedgerConfig c ext → Bool #

NoThunks (MockLedgerConfig c ext) ⇒ NoThunks (SimpleLedgerConfig c ext) Source #

Instance details

Methods

noThunks ∷ Context → SimpleLedgerConfig c ext → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SimpleLedgerConfig c ext → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SimpleLedgerConfig c ext) → String Source #

Serialise (MockLedgerConfig c ext) ⇒ Serialise (SimpleLedgerConfig c ext) Source #

Instance details

Methods

encode ∷ SimpleLedgerConfig c ext → Encoding Source #

decode ∷ Decoder s (SimpleLedgerConfig c ext) Source #

encodeList ∷ [SimpleLedgerConfig c ext] → Encoding Source #

decodeList ∷ Decoder s [SimpleLedgerConfig c ext] Source #

Serialise (MockLedgerConfig c ext) ⇒ SerialiseNodeToClient (SimpleBlock c ext) (SimpleLedgerConfig c ext) Source #

Instance details

Methods

encodeNodeToClient ∷ CodecConfig (SimpleBlock c ext) → BlockNodeToClientVersion (SimpleBlock c ext) → SimpleLedgerConfig c ext → Encoding Source #

decodeNodeToClient ∷ CodecConfig (SimpleBlock c ext) → BlockNodeToClientVersion (SimpleBlock c ext) → ∀ s. Decoder s (SimpleLedgerConfig c ext) Source #

type Rep (SimpleLedgerConfig c ext) Source #

Instance details

type Rep (SimpleLedgerConfig c ext) = D1 ('MetaData "SimpleLedgerConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleMockLedgerConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MockLedgerConfig c ext)) :*: (S1 ('MetaSel ('Just "simpleLedgerEraParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraParams) :*: S1 ('MetaSel ('Just "simpleLedgerMockConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MockConfig))))

data family StorageConfig blk Source #

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

Instances

Instances details

Isomorphic StorageConfig

Instance details

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

Methods

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

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

Generic (StorageConfig (DualBlock m a))

Instance details

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

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

Methods

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

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

Generic (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Generic (StorageConfig (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (StorageConfig (SimpleBlock c ext))

Instance details

type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStorageConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam)))

Methods

from ∷ StorageConfig (SimpleBlock c ext) → Rep (StorageConfig (SimpleBlock c ext)) x #

to ∷ Rep (StorageConfig (SimpleBlock c ext)) x → StorageConfig (SimpleBlock c ext) #

Show (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (StorageConfig TestBlock)

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 (StorageConfig (SimpleBlock c ext)) Source #

Instance details

Methods

noThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (SimpleBlock c ext)) → String Source #

data StorageConfig TestBlock

The TestBlock does not need any storage config

Instance details

Defined in Test.Util.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

type Rep (StorageConfig (DualBlock m a))

Instance details

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

type Rep (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

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

type Rep (StorageConfig (SimpleBlock c ext)) Source #

Instance details

type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStorageConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam)))

newtype StorageConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a)

Instance details

data StorageConfig (DualBlock m a) = DualStorageConfig {

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

}

data StorageConfig (SimpleBlock c ext) Source #

Instance details

data StorageConfig (SimpleBlock c ext) = SimpleStorageConfig SecurityParam

Protocol-specific part

class (SimpleCrypto c, Typeable ext, Show (MockLedgerConfig c ext), NoThunks (MockLedgerConfig c ext), Serialise (MockLedgerConfig c ext)) ⇒ MockProtocolSpecific c ext Source #

Associated Types

type MockLedgerConfig c ext Source #

Instances

Instances details

SimpleCrypto c ⇒ MockProtocolSpecific c SimplePraosRuleExt Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

Associated Types

type MockLedgerConfig c SimplePraosRuleExt
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type MockLedgerConfig c SimplePraosRuleExt = ()

(SimpleCrypto c, Typeable c') ⇒ MockProtocolSpecific c (SimpleBftExt c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Associated Types

type MockLedgerConfig c (SimpleBftExt c c')
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT type MockLedgerConfig c (SimpleBftExt c c') = ()

(SimpleCrypto c, PBftCrypto c', Serialise (PBftVerKeyHash c')) ⇒ MockProtocolSpecific c (SimplePBftExt c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Associated Types

type MockLedgerConfig c (SimplePBftExt c c')
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type MockLedgerConfig c (SimplePBftExt c c') = PBftLedgerView c'

(SimpleCrypto c, Typeable c') ⇒ MockProtocolSpecific c (SimplePraosExt c c') Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos

Associated Types

type MockLedgerConfig c (SimplePraosExt c c')
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos type MockLedgerConfig c (SimplePraosExt c c') = AddrDist

`UpdateLedger`

data family LedgerState blk (mk ∷ MapKind) Source #

Ledger state associated with a block

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

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

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

Instances

Instances details

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

Instance details

Methods

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

GetTip (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

GetTip (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (SimpleBlock c ext) mk → Point (LedgerState (SimpleBlock c ext)) Source #

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

Instance details

Associated Types

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

Methods

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

PayloadSemantics ptype ⇒ IsLedger (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

MockProtocolSpecific c ext ⇒ IsLedger (LedgerState (SimpleBlock c ext)) Source #

Instance details

Associated Types

type LedgerErr (LedgerState (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerErr (LedgerState (SimpleBlock c ext)) = MockError (SimpleBlock c ext)
type AuxLedgerEvent (LedgerState (SimpleBlock c ext))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) = VoidLedgerEvent (LedgerState (SimpleBlock c ext))

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SlotNo → LedgerState (SimpleBlock c ext) EmptyMK → LedgerResult (LedgerState (SimpleBlock c ext)) (Ticked (LedgerState (SimpleBlock c ext)) DiffMK) Source #

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

Instance details

Methods

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

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

CanStowLedgerTables (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

CanStowLedgerTables (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState (SimpleBlock c ext) ValuesMK → LedgerState (SimpleBlock c ext) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (SimpleBlock c ext) EmptyMK → LedgerState (SimpleBlock c ext) ValuesMK Source #

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

Instance details

Methods

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

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

HasLedgerTables (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

HasLedgerTables (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

SerializeTablesWithHint (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

SerializeTablesWithHint (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK) → LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK) → Decoder s (LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK) Source #

CanUpgradeLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

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

CanUpgradeLedgerTables (LedgerState (OTBlock k v))

Instance details

Methods

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

CanUpgradeLedgerTables (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

CanUpgradeLedgerTables (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (SimpleBlock c ext) mk1 → LedgerState (SimpleBlock c ext) mk2 → LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK → LedgerTables (LedgerState (SimpleBlock c ext)) ValuesMK Source #

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

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

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

Instance details

Methods

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

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

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

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

MockProtocolSpecific c ext ⇒ ApplyBlock (LedgerState (SimpleBlock c ext)) (SimpleBlock c ext) Source #

Instance details

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Except (LedgerErr (LedgerState (SimpleBlock c ext))) (LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Except (LedgerErr (LedgerState (SimpleBlock c ext))) (LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) DiffMK) Source #

getBlockKeySets ∷ SimpleBlock c ext → LedgerTables (LedgerState (SimpleBlock c ext)) KeysMK Source #

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (MockBlock ext) EmptyMK → Encoding Source #

Generic (LedgerState (OTBlock k v) mk)

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

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype mk))))

Methods

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

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

Generic (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Associated Types

type Rep (LedgerState (SimpleBlock c ext) mk)

Instance details

type Rep (LedgerState (SimpleBlock c ext) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MockState (SimpleBlock c ext))) :*: S1 ('MetaSel ('Just "simpleLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerTables (LedgerState (SimpleBlock c ext)) mk))))

Methods

from ∷ LedgerState (SimpleBlock c ext) mk → Rep (LedgerState (SimpleBlock c ext) mk) x #

to ∷ Rep (LedgerState (SimpleBlock c ext) mk) x → LedgerState (SimpleBlock c ext) mk #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

show ∷ LedgerState (HardForkBlock xs) mk → String #

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

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

Instance details

Methods

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

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

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

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

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 #

(SimpleCrypto c, Typeable ext, Show (mk TxIn TxOut)) ⇒ Show (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState (SimpleBlock c ext) mk → ShowS #

show ∷ LedgerState (SimpleBlock c ext) mk → String #

showList ∷ [LedgerState (SimpleBlock c ext) mk] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

Instance details

Methods

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

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

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

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 #

(SimpleCrypto c, Typeable ext, Eq (mk TxIn TxOut)) ⇒ Eq (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Methods

(==) ∷ LedgerState (SimpleBlock c ext) mk → LedgerState (SimpleBlock c ext) mk → Bool #

(/=) ∷ LedgerState (SimpleBlock c ext) mk → LedgerState (SimpleBlock c ext) mk → Bool #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

NoThunks (LedgerState (DualBlock m a) mk)

Instance details

Methods

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

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

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

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

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 #

(SimpleCrypto c, Typeable ext, NoThunks (mk TxIn TxOut)) ⇒ NoThunks (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

Methods

noThunks ∷ Context → LedgerState (SimpleBlock c ext) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (SimpleBlock c ext) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (SimpleBlock c ext) mk) → String Source #

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

Instance details

Methods

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

GetTip (Ticked (LedgerState (TestBlockWith ptype)))

Instance details

Defined in Test.Util.TestBlock

Methods

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

GetTip (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (SimpleBlock c ext)) mk → Point (Ticked (LedgerState (SimpleBlock c ext))) Source #

CanStowLedgerTables (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

stowLedgerTables ∷ Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Ticked (LedgerState (SimpleBlock c ext)) EmptyMK Source #

unstowLedgerTables ∷ Ticked (LedgerState (SimpleBlock c ext)) EmptyMK → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK Source #

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

HasLedgerTables (Ticked (LedgerState TestBlock))

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

HasLedgerTables (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked (LedgerState TestBlock))

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

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

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

Instance details

Methods

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

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

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

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

MemPack v ⇒ IndexedMemPack (LedgerState (OTBlock k v) EmptyMK) v

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 ⇒ LedgerState (OTBlock k v) EmptyMK → Unpack b v Source #

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

IndexedMemPack (LedgerState TestBlock EmptyMK) Void

Instance details

Defined in Test.Util.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState TestBlock EmptyMK → String Source #

IndexedMemPack (LedgerState (SimpleBlock c ext) EmptyMK) TxOut Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (SimpleBlock c ext) EmptyMK → TxOut → Int Source #

indexedPackM ∷ LedgerState (SimpleBlock c ext) EmptyMK → TxOut → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (SimpleBlock c ext) EmptyMK → Unpack b TxOut Source #

indexedTypeName ∷ LedgerState (SimpleBlock c ext) EmptyMK → String Source #

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Instance details

Defined in Test.Util.TestBlock

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

Methods

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

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

Generic (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

Associated Types

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk)

Instance details

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext) mk))))

Methods

from ∷ Ticked (LedgerState (SimpleBlock c ext)) mk → Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) x #

to ∷ Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) x → Ticked (LedgerState (SimpleBlock c ext)) mk #

(SimpleCrypto c, Typeable ext, Show (LedgerState (SimpleBlock c ext) mk)) ⇒ Show (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked (LedgerState (SimpleBlock c ext)) mk → ShowS #

show ∷ Ticked (LedgerState (SimpleBlock c ext)) mk → String #

showList ∷ [Ticked (LedgerState (SimpleBlock c ext)) mk] → ShowS #

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

Instance details

Methods

showsPrec ∷ Int → OTLedgerState k v mk → ShowS #

show ∷ OTLedgerState k v mk → String #

showList ∷ [OTLedgerState k v mk] → ShowS #

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

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

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 #

(SimpleCrypto c, Typeable ext) ⇒ NoThunks (Ticked (LedgerState (SimpleBlock c ext)) TrackingMK) Source #

Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) TrackingMK → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) TrackingMK → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (SimpleBlock c ext)) TrackingMK) → String Source #

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

Instance details

Methods

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

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

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

Inject (Flip LedgerState mk)

Instance details

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

Methods

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

Isomorphic (Flip LedgerState mk)

Instance details

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

Methods

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

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

type AuxLedgerEvent (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

type AuxLedgerEvent (LedgerState (DualBlock m a))

Instance details

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

type AuxLedgerEvent (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

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

type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) Source #

Instance details

type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) = VoidLedgerEvent (LedgerState (SimpleBlock c ext))

type LedgerCfg (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs

type LedgerCfg (LedgerState (DualBlock m a))

Instance details

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

type LedgerCfg (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg (LedgerState (TestBlockWith ptype)) = TestBlockLedgerConfig

type LedgerCfg (LedgerState (SimpleBlock c ext)) Source #

Instance details

type LedgerCfg (LedgerState (SimpleBlock c ext)) = SimpleLedgerConfig c ext

type LedgerErr (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

type LedgerErr (LedgerState (DualBlock m a))

Instance details

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

type LedgerErr (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

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

type LedgerErr (LedgerState (SimpleBlock c ext)) Source #

Instance details

type LedgerErr (LedgerState (SimpleBlock c ext)) = MockError (SimpleBlock c ext)

newtype LedgerState (HardForkBlock xs) mk

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

data LedgerState (TestBlockWith ptype) mk

Instance details

Defined in Test.Util.TestBlock

data LedgerState (TestBlockWith ptype) mk = TestLedger {

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

}

type TxIn (LedgerState (HardForkBlock xs))

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

type TxIn (LedgerState (DualBlock m a))

Instance details

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

type TxIn (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

type TxIn (LedgerState TestBlock) = Void

type TxIn (LedgerState (SimpleBlock c ext)) Source #

Instance details

type TxIn (LedgerState (SimpleBlock c ext)) = TxIn

type TxOut (LedgerState (HardForkBlock xs))

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

type TxOut (LedgerState (DualBlock m a))

Instance details

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

type TxOut (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

type TxOut (LedgerState TestBlock) = Void

type TxOut (LedgerState (SimpleBlock c ext)) Source #

Instance details

type TxOut (LedgerState (SimpleBlock c ext)) = TxOut

type Rep (LedgerState (OTBlock k v) mk)

Instance details

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-0.26.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)

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype mk))))

type Rep (LedgerState (SimpleBlock c ext) mk) Source #

Instance details

type Rep (LedgerState (SimpleBlock c ext) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MockState (SimpleBlock c ext))) :*: S1 ('MetaSel ('Just "simpleLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerTables (LedgerState (SimpleBlock c ext)) mk))))

data LedgerState (DualBlock m a) mk

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

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

}

data LedgerState (OTBlock k v) mk

Instance details

data LedgerState (OTBlock k v) mk = OTLedgerState {

otlsLedgerState ∷ ValuesMK k v
otlsLedgerTables ∷ OTLedgerTables k v mk

}

data LedgerState (SimpleBlock c ext) mk Source #

Instance details

data LedgerState (SimpleBlock c ext) mk = SimpleLedgerState {

simpleLedgerState ∷ MockState (SimpleBlock c ext)
simpleLedgerTables ∷ LedgerTables (LedgerState (SimpleBlock c ext)) mk

}

type TxIn (OTLedgerState k v)

Instance details

type TxIn (OTLedgerState k v) = k

type TxOut (OTLedgerState k v)

Instance details

type TxOut (OTLedgerState k v) = v

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

newtype Ticked (LedgerState (SimpleBlock c ext) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

newtype Ticked (LedgerState (SimpleBlock c ext) ∷ MapKind → Type) (mk ∷ MapKind) = TickedSimpleLedgerState {

getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) mk

}

type HeaderHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

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

Instance details

Defined in Test.Util.TestBlock

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

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext) mk))))

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

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

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

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

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

Constructors

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

Instances

Instances details

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

Methods

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

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

Generic (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables l mk → ShowS #

show ∷ LedgerTables l mk → String #

showList ∷ [LedgerTables l mk] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

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

type TxIn (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (LedgerTables l) = TxIn l

type TxOut (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (LedgerTables l) = TxOut l

type Rep (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

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

type SerializeTablesHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

type SerializeTablesHint (LedgerTables l ValuesMK) = l EmptyMK

type InitHint (LedgerTables l ValuesMK)

Instance details

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

type InitHint (LedgerTables l ValuesMK) = l EmptyMK

type ReadHint (LedgerTables l ValuesMK)

Instance details

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

type ReadHint (LedgerTables l ValuesMK) = l EmptyMK

type WriteHint (LedgerTables l DiffMK)

Instance details

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

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

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

" Ticked " piece of state, either LedgerState or ChainDepState

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state. There are exactly two methods in the interface that do that: tickChainDepState and applyChainTickLedgerResult.

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

Some examples of time related changes:

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

Instances

Instances details

Show (Ticked ())

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

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

Instance details

Methods

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

GetTip (Ticked (LedgerState (TestBlockWith ptype)))

Instance details

Defined in Test.Util.TestBlock

Methods

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

GetTip (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (SimpleBlock c ext)) mk → Point (Ticked (LedgerState (SimpleBlock c ext))) Source #

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

Instance details

Methods

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

CanStowLedgerTables (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

stowLedgerTables ∷ Ticked (LedgerState (SimpleBlock c ext)) ValuesMK → Ticked (LedgerState (SimpleBlock c ext)) EmptyMK Source #

unstowLedgerTables ∷ Ticked (LedgerState (SimpleBlock c ext)) EmptyMK → Ticked (LedgerState (SimpleBlock c ext)) ValuesMK Source #

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

Instance details

Methods

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

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

HasLedgerTables (Ticked (LedgerState TestBlock))

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

HasLedgerTables (Ticked (LedgerState (SimpleBlock c ext))) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked (LedgerState TestBlock))

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

Instance details

Methods

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

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

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Instance details

Defined in Test.Util.TestBlock

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

Methods

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

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

Generic (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

Associated Types

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk)

Instance details

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext) mk))))

Methods

from ∷ Ticked (LedgerState (SimpleBlock c ext)) mk → Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) x #

to ∷ Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) x → Ticked (LedgerState (SimpleBlock c ext)) mk #

(SimpleCrypto c, Typeable ext, Show (LedgerState (SimpleBlock c ext) mk)) ⇒ Show (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked (LedgerState (SimpleBlock c ext)) mk → ShowS #

show ∷ Ticked (LedgerState (SimpleBlock c ext)) mk → String #

showList ∷ [Ticked (LedgerState (SimpleBlock c ext)) mk] → ShowS #

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

Instance details

Methods

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

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

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

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

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 #

(SimpleCrypto c, Typeable ext) ⇒ NoThunks (Ticked (LedgerState (SimpleBlock c ext)) TrackingMK) Source #

Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) TrackingMK → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) TrackingMK → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked (LedgerState (SimpleBlock c ext)) TrackingMK) → String Source #

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

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

data Ticked ()

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState {

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

}

data Ticked (HeaderState blk ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

data Ticked (HeaderState blk ∷ Type) = TickedHeaderState {

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

}

data Ticked (PBftState c ∷ Type)

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data Ticked (PBftState c ∷ Type) = TickedPBftState {

getPBftLedgerView ∷ LedgerView (PBft c)
getTickedPBftState ∷ PBftState c

}

newtype Ticked (WrapChainDepState blk ∷ Type)

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

data Ticked (PraosChainDepState c ∷ Type) Source #

Ticking the Praos chain dep state has no effect

For the real Praos implementation, ticking is crucial, as it determines the point where the "nonce under construction" is swapped out for the "active" nonce. However, for the mock implementation, we keep the full history, and choose the right nonce from that; this means that ticking has no effect.

We do however need access to the ticked stake distribution.

Instance details

Defined in Ouroboros.Consensus.Mock.Protocol.Praos

data Ticked (PraosChainDepState c ∷ Type) = TickedPraosChainDepState {

praosLedgerView ∷ LedgerView (Praos c)
untickedPraosChainDepState ∷ PraosChainDepState c

}

type HeaderHash (Ticked l ∷ k)

Instance details

type HeaderHash (Ticked l ∷ k) = HeaderHash l

type TxIn (Ticked l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (Ticked l) = TxIn l

type TxOut (Ticked l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (Ticked l) = TxOut l

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

newtype Ticked (LedgerState (SimpleBlock c ext) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Instance details

newtype Ticked (LedgerState (SimpleBlock c ext) ∷ MapKind → Type) (mk ∷ MapKind) = TickedSimpleLedgerState {

getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) mk

}

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

Instance details

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) Source #

Instance details

type Rep (Ticked (LedgerState (SimpleBlock c ext)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext) mk))))

genesisSimpleLedgerState ∷ AddrDist → LedgerState (SimpleBlock c ext) ValuesMK Source #

updateSimpleLedgerState ∷ ∀ c ext (mk1 ∷ MapKind). (SimpleCrypto c, Typeable ext) ⇒ LedgerConfig (SimpleBlock c ext) → SimpleBlock c ext → TickedLedgerState (SimpleBlock c ext) mk1 → Except (MockError (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext) mk1) Source #

`ApplyTx` (mempool support)

data family GenTx blk Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Inject GenTx

Instance details

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

Methods

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

Isomorphic GenTx

Instance details

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

Methods

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

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

(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type)

Instance details

Methods

showProxy ∷ Proxy (GenTx (DualBlock m a)) → String Source #

(Typeable c, Typeable ext) ⇒ ShowProxy (GenTx (SimpleBlock c ext) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (GenTx (SimpleBlock c ext)) → String Source #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type)

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #

(Typeable c, Typeable ext) ⇒ ShowProxy (TxId (GenTx (SimpleBlock c ext)) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #

Generic (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Associated Types

type Rep (Validated (GenTx (SimpleBlock c ext)))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))

Methods

from ∷ Validated (GenTx (SimpleBlock c ext)) → Rep (Validated (GenTx (SimpleBlock c ext))) x #

to ∷ Rep (Validated (GenTx (SimpleBlock c ext))) x → Validated (GenTx (SimpleBlock c ext)) #

Generic (GenTx (SimpleBlock c ext)) Source #

Instance details

Associated Types

type Rep (GenTx (SimpleBlock c ext))

Instance details

type Rep (GenTx (SimpleBlock c ext)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleGenTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tx) :*: S1 ('MetaSel ('Just "simpleGenTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)))

Methods

from ∷ GenTx (SimpleBlock c ext) → Rep (GenTx (SimpleBlock c ext)) x #

to ∷ Rep (GenTx (SimpleBlock c ext)) x → GenTx (SimpleBlock c ext) #

Generic (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Associated Types

type Rep (TxId (GenTx (SimpleBlock c ext)))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

Methods

from ∷ TxId (GenTx (SimpleBlock c ext)) → Rep (TxId (GenTx (SimpleBlock c ext))) x #

to ∷ Rep (TxId (GenTx (SimpleBlock c ext))) x → TxId (GenTx (SimpleBlock c ext)) #

Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS #

show ∷ Validated (GenTx (DualBlock m a)) → String #

showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #

Show (Validated (GenTx (SimpleBlock p c))) Source #

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx (SimpleBlock p c)) → ShowS #

show ∷ Validated (GenTx (SimpleBlock p c)) → String #

showList ∷ [Validated (GenTx (SimpleBlock p c))] → ShowS #

Bridge m a ⇒ Show (GenTx (DualBlock m a))

Instance details

Methods

showsPrec ∷ Int → GenTx (DualBlock m a) → ShowS #

show ∷ GenTx (DualBlock m a) → String #

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

Show (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx (SimpleBlock p c) → ShowS #

show ∷ GenTx (SimpleBlock p c) → String #

showList ∷ [GenTx (SimpleBlock p c)] → ShowS #

Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS #

show ∷ TxId (GenTx (DualBlock m a)) → String #

showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #

Show (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (SimpleBlock c ext)) → ShowS #

show ∷ TxId (GenTx (SimpleBlock c ext)) → String #

showList ∷ [TxId (GenTx (SimpleBlock c ext))] → ShowS #

Eq (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

(==) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(/=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

Eq (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

(==) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(/=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a)))

Instance details

Methods

(==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

Eq (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

(==) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(/=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

Ord (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

compare ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Ordering #

(<) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(<=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(>) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(>=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

max ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #

min ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #

Ord (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

compare ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Ordering #

(<) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(<=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(>) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

(>=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #

max ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) #

min ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) #

Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a)))

Instance details

Methods

compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering #

(<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

Ord (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

compare ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Ordering #

(<) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(<=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(>) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(>=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

max ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #

min ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #

NoThunks (Validated (GenTx (DualBlock m a)))

Instance details

Methods

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

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

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

(Typeable p, Typeable c) ⇒ NoThunks (Validated (GenTx (SimpleBlock p c))) Source #

Instance details

Methods

noThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (SimpleBlock p c))) → String Source #

NoThunks (GenTx (DualBlock m a))

Instance details

Methods

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

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

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

(Typeable p, Typeable c) ⇒ NoThunks (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

noThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx (SimpleBlock p c)) → String Source #

NoThunks (TxId (GenTx (DualBlock m a)))

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

noThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #

Bridge m a ⇒ HasTxId (GenTx (DualBlock m a))

Instance details

Methods

txId ∷ GenTx (DualBlock m a) → TxId (GenTx (DualBlock m a)) Source #

HasTxId (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

txId ∷ GenTx (SimpleBlock c ext) → TxId (GenTx (SimpleBlock c ext)) Source #

Condense (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

condense ∷ GenTx (SimpleBlock p c) → String Source #

Condense (GenTxId (SimpleBlock p c)) Source #

Instance details

Methods

condense ∷ GenTxId (SimpleBlock p c) → String Source #

HasMockTxs (GenTx (SimpleBlock p c)) Source #

Instance details

Methods

getMockTxs ∷ GenTx (SimpleBlock p c) → [Tx] Source #

Serialise (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

encode ∷ GenTx (SimpleBlock c ext) → Encoding Source #

decode ∷ Decoder s (GenTx (SimpleBlock c ext)) Source #

encodeList ∷ [GenTx (SimpleBlock c ext)] → Encoding Source #

decodeList ∷ Decoder s [GenTx (SimpleBlock c ext)] Source #

Serialise (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

encode ∷ TxId (GenTx (SimpleBlock c ext)) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx (SimpleBlock c ext))) Source #

encodeList ∷ [TxId (GenTx (SimpleBlock c ext))] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx (SimpleBlock c ext))] Source #

SerialiseNodeToClient (MockBlock ext) (GenTx (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #

SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (GenTx (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

type Rep (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

type Rep (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))

type Rep (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

type Rep (GenTx (SimpleBlock c ext)) Source #

Instance details

type Rep (GenTx (SimpleBlock c ext)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleGenTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tx) :*: S1 ('MetaSel ('Just "simpleGenTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)))

type Rep (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

type Rep (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

newtype Validated (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a))

Instance details

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

newtype Validated (GenTx (SimpleBlock c ext)) Source #

Instance details

newtype Validated (GenTx (SimpleBlock c ext)) = ValidatedSimpleGenTx {

forgetValidatedSimpleGenTx ∷ GenTx (SimpleBlock c ext)

}

newtype GenTx (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx (HardForkBlock xs) = HardForkGenTx {

getHardForkGenTx ∷ OneEraGenTx xs

}

newtype TxId (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a))

Instance details

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain ∷ GenTxId m

}

newtype TxId (GenTx (SimpleBlock c ext)) Source #

Instance details

newtype TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId {

unSimpleGenTxId ∷ TxId

}

data GenTx (DualBlock m a)

Instance details

data GenTx (DualBlock m a) = DualGenTx {

dualGenTxMain ∷ GenTx m
dualGenTxAux ∷ GenTx a
dualGenTxBridge ∷ BridgeTx m a

}

data GenTx (SimpleBlock c ext) Source #

Instance details

data GenTx (SimpleBlock c ext) = SimpleGenTx {

simpleGenTx ∷ !Tx
simpleGenTxId ∷ !TxId

}

data family TxId blk Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type)

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #

(Typeable c, Typeable ext) ⇒ ShowProxy (TxId (GenTx (SimpleBlock c ext)) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #

Generic (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Associated Types

type Rep (TxId (GenTx (SimpleBlock c ext)))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

Methods

from ∷ TxId (GenTx (SimpleBlock c ext)) → Rep (TxId (GenTx (SimpleBlock c ext))) x #

to ∷ Rep (TxId (GenTx (SimpleBlock c ext))) x → TxId (GenTx (SimpleBlock c ext)) #

Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS #

show ∷ TxId (GenTx (DualBlock m a)) → String #

showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #

Show (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (SimpleBlock c ext)) → ShowS #

show ∷ TxId (GenTx (SimpleBlock c ext)) → String #

showList ∷ [TxId (GenTx (SimpleBlock c ext))] → ShowS #

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a)))

Instance details

Methods

(==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

Eq (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

(==) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(/=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a)))

Instance details

Methods

compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering #

(<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

Ord (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

compare ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Ordering #

(<) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(<=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(>) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

(>=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #

max ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #

min ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #

NoThunks (TxId (GenTx (DualBlock m a)))

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

noThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #

Condense (GenTxId (SimpleBlock p c)) Source #

Instance details

Methods

condense ∷ GenTxId (SimpleBlock p c) → String Source #

Serialise (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

encode ∷ TxId (GenTx (SimpleBlock c ext)) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx (SimpleBlock c ext))) Source #

encodeList ∷ [TxId (GenTx (SimpleBlock c ext))] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx (SimpleBlock c ext))] Source #

SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

type Rep (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

type Rep (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

newtype TxId (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a))

Instance details

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain ∷ GenTxId m

}

newtype TxId (GenTx (SimpleBlock c ext)) Source #

Instance details

newtype TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId {

unSimpleGenTxId ∷ TxId

}

data family Validated x Source #

" Validated " transaction or block

The ledger defines how to validate transactions and blocks. It's possible the type before and after validation may be distinct (eg Alonzo transactions), which originally motivated this family.

We also gain the related benefit that certain interface functions, such as those that reapply blocks, can have a more precise type now. TODO

Similarly, the Node-to-Client mini protocols can explicitly indicate that the client trusts the blocks from the local server, by having the server send Validated blocks to the client. TODO

Note that validation has different implications for a transaction than for a block. In particular, a validated transaction can be " reapplied " to different ledger states, whereas a validated block must only be " reapplied " to the exact same ledger state (eg as part of rebuilding from an on-disk ledger snapshot).

Since the ledger defines validation, see the ledger details for concrete examples of what determines the validity (wrt to a LedgerState) of a transaction and/or block. Example properties include: a transaction's claimed inputs exist and are still unspent, a block carries a sufficient cryptographic signature, etc.

Instances

Instances details

Generic (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Associated Types

type Rep (Validated (GenTx (SimpleBlock c ext)))
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))

Methods

from ∷ Validated (GenTx (SimpleBlock c ext)) → Rep (Validated (GenTx (SimpleBlock c ext))) x #

to ∷ Rep (Validated (GenTx (SimpleBlock c ext))) x → Validated (GenTx (SimpleBlock c ext)) #

Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS #

show ∷ Validated (GenTx (DualBlock m a)) → String #

showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #

Show (Validated (GenTx (SimpleBlock p c))) Source #

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx (SimpleBlock p c)) → ShowS #

show ∷ Validated (GenTx (SimpleBlock p c)) → String #

showList ∷ [Validated (GenTx (SimpleBlock p c))] → ShowS #

Eq (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

(==) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(/=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

Ord (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

Methods

compare ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Ordering #

(<) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(<=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(>) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

(>=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #

max ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #

min ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #

NoThunks (Validated (GenTx (DualBlock m a)))

Instance details

Methods

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

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

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

(Typeable p, Typeable c) ⇒ NoThunks (Validated (GenTx (SimpleBlock p c))) Source #

Instance details

Methods

noThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (SimpleBlock p c))) → String Source #

type Rep (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

type Rep (Validated (GenTx (SimpleBlock c ext))) Source #

Instance details

type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))

newtype Validated (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a))

Instance details

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

newtype Validated (GenTx (SimpleBlock c ext)) Source #

Instance details

newtype Validated (GenTx (SimpleBlock c ext)) = ValidatedSimpleGenTx {

forgetValidatedSimpleGenTx ∷ GenTx (SimpleBlock c ext)

}

genTxSize ∷ GenTx (SimpleBlock c ext) → ByteSize32 Source #

mkSimpleGenTx ∷ Tx → GenTx (SimpleBlock c ext) Source #

Crypto

class (KnownNat (SizeHash (SimpleHash c)), HashAlgorithm (SimpleHash c), Typeable c) ⇒ SimpleCrypto c Source #

Instances

Instances details

SimpleCrypto SimpleMockCrypto Source #

Instance details

SimpleCrypto SimpleStandardCrypto Source #

Associated Types

type SimpleHash SimpleMockCrypto
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleMockCrypto = ShortHash

Instance details

Associated Types

type SimpleHash SimpleStandardCrypto
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleStandardCrypto = SHA256

data SimpleMockCrypto Source #

Instances

Instances details

SimpleCrypto SimpleMockCrypto Source #

Instance details