Documentation

Methods

unnest ∷ Header (DualBlock m a) → DepPair (NestedCtxt Header (DualBlock m a)) Source #

nest ∷ DepPair (NestedCtxt Header (DualBlock m a)) → Header (DualBlock m a) Source #

DecodeDisk TestBlock (ByteString → Header TestBlock) #

ReconstructNestedCtxt Header m ⇒ ReconstructNestedCtxt Header (DualBlock m a) Source #

(Typeable m, Typeable a) ⇒ ShowProxy (DualHeader m a ∷ Type) Source #

Eq (Header TestBlock) #

Eq ptype ⇒ Eq (Header (TestBlockWith ptype)) #

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

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

Show (Header TestBlock) #

Show ptype ⇒ Show (Header (TestBlockWith ptype)) #

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

NoThunks (Header (DualBlock m a)) Source #

NoThunks (Header TestBlock) #

NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype)) #

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

SignedHeader (Header TestBlock) #

SignedHeader (Header (TestBlockWith ptype)) #

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

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

HasHeader (Header TestBlock) #

Typeable ptype ⇒ HasHeader (Header (TestBlockWith ptype)) #

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

Serialise (Header TestBlock) #

Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype)) #

(HashAlgorithm (SimpleHash c), Typeable c, Typeable ext, Serialise ext') ⇒ Serialise (Header (SimpleBlock' c ext ext')) Source #

Custom Serialise instance that doesn't serialise the hash

DecodeDiskDep (NestedCtxt Header) TestBlock #

DecodeDiskDepIx (NestedCtxt Header) TestBlock #

EncodeDiskDep (NestedCtxt Header) TestBlock #

EncodeDiskDepIx (NestedCtxt Header) TestBlock #

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

Serialise ptype ⇒ DecodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) #

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

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

Serialise ptype ⇒ EncodeDisk (TestBlockWith ptype) (Header (TestBlockWith ptype)) #

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

Serialise ptype ⇒ EncodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) #

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

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

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

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

EncodeDiskDep (NestedCtxt Header) m ⇒ EncodeDiskDep (NestedCtxt Header) (DualBlock m a) Source #

EncodeDiskDepIx (NestedCtxt Header) m ⇒ EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) Source #

Show (Header m) ⇒ Show (DualHeader m a) Source #

SignedHeader (SimpleBftHeader c c') Source #

SignedHeader (SimplePBftHeader c c') Source #

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

Bridge m a ⇒ HasHeader (DualHeader m a) Source #

newtype Header TestBlock #

type HeaderHash (Header blk ∷ Type) Source #

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-4.0.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 BlockProtocol (Header blk) Source #

newtype Header (DisableDiffusionPipelining blk) Source #

newtype Header (SelectViewDiffusionPipelining blk) Source #

newtype Header (HardForkBlock xs) Source #

newtype Header (TestBlockWith ptype) #

type Signed (Header TestBlock) #

type Signed (Header (TestBlockWith ptype)) #

newtype Header (DualBlock m a) Source #

type Signed (SimpleBftHeader c c') Source #

type Signed (SimplePBftHeader c c') Source #

type Signed (SimplePraosHeader c c') Source #

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

type SimpleBlock c ext = SimpleBlock' c ext ext Source #

data SimpleBlock' c ext ext' Source #

Constructors

SimpleBlock
Fields simpleHeader ∷ Header (SimpleBlock' c ext ext') simpleBody ∷ SimpleBody

Instances

Instances details

SameDepIndex2 (BlockQuery (SimpleBlock c ext) ∷ QueryFootprint → Type → Type) Source #

Instance details

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

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

Instance details

Methods

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

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

Instance details

Methods

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

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

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

MockProtocolSpecific c ext ⇒ ApplyBlock LedgerState (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 (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 (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 (SimpleBlock c ext) (LedgerState (SimpleBlock c ext) 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)

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (SimpleBlock c ext) → SlotNo → LedgerState (SimpleBlock c ext) EmptyMK → LedgerResult (SimpleBlock c ext) (Ticked LedgerState (SimpleBlock c ext) DiffMK) 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 (SimpleBlock c ext) ValuesMK → LedgerTables (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 (SimpleBlock c ext) mk Source #

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

SerializeTablesWithHint LedgerState (SimpleBlock c ext) Source #

Instance details

Methods

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

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

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

IndexedMemPack LedgerState (SimpleBlock c ext) 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 ⇒ ∀ s. LedgerState (SimpleBlock c ext) EmptyMK → Unpack s b TxOut Source #

indexedTypeName ∷ Proxy TxOut → LedgerState (SimpleBlock c ext) EmptyMK → String 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 #

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

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

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 #

HasTxId (GenTx (SimpleBlock c ext)) Source #

Instance details

Methods

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

LedgerStateSupportsPeras (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState (SimpleBlock c ext) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (SimpleBlock c ext) EmptyMK → PerasParams blk 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 #

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

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

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

Instance details

Associated Types

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

Methods

getRawTxId ∷ TxId (GenTx (SimpleBlock c ext)) → RawTxId (TxId (GenTx (SimpleBlock c ext)))

(HashAlgorithm (SimpleHash c), Typeable c, Typeable ext, 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 #

Typeable ext ⇒ 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, Typeable 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, Typeable 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, Typeable 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, Typeable 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 #

Typeable ext ⇒ 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, Typeable 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, Typeable 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, Typeable 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 #

Typeable ext ⇒ 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, Typeable 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, Typeable 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, Typeable 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 #

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 #

Typeable ext ⇒ 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, Typeable ext) ⇒ DecodeDisk (MockBlock ext) (ByteString → Either DecoderError (MockBlock ext)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

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

(Serialise ext, Typeable 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 #

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

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

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-4.0.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 (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, 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 (TiebreakerView (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, Typeable ext) ⇒ BlockSupportsPeras (SimpleBlock c ext) Source #

Instance details

Associated Types

type PerasVote (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Peras type PerasVote (SimpleBlock c ext) = VoidPerasVote (SimpleBlock c ext)
type PerasCert (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Peras type PerasCert (SimpleBlock c ext) = VoidPerasCert (SimpleBlock c ext)
type PerasError (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Peras type PerasError (SimpleBlock c ext) = VoidPerasError (SimpleBlock c ext)
type PerasCrypto (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Peras type PerasCrypto (SimpleBlock c ext) = VoidPerasCrypto (SimpleBlock c ext)
type PerasVotingCommitteeScheme (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Peras type PerasVotingCommitteeScheme (SimpleBlock c ext) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (SimpleBlock c ext) → PerasVote (SimpleBlock c ext) → Either (PerasError (SimpleBlock c ext)) (ValidatedPerasVote (SimpleBlock c ext)) Source #

forgePerasCert ∷ PerasEpochContext (SimpleBlock c ext) → PerasVoteCollectionWithQuorum (SimpleBlock c ext) → Either (PerasError (SimpleBlock c ext)) (ValidatedPerasCert (SimpleBlock c ext)) Source #

verifyPerasCert ∷ PerasEpochContext (SimpleBlock c ext) → PerasCert (SimpleBlock c ext) → Either (PerasError (SimpleBlock c ext)) (ValidatedPerasCert (SimpleBlock c ext)) Source #

getPerasCertInBlock ∷ SimpleBlock c ext → Either (PerasError (SimpleBlock c ext)) (Maybe (PerasCert (SimpleBlock c ext))) 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 #

tiebreakerView ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → Header (SimpleBlock c (SimplePraosExt c c')) → TiebreakerView (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 #

tiebreakerView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → TiebreakerView (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 #

tiebreakerView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → TiebreakerView (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 #

tiebreakerView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → TiebreakerView (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 #

GetBlockKeySets (SimpleBlock c ext) Source #

Instance details

Methods

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

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

Instance details

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 ∷ LedgerConfig (SimpleBlock c ext) → SlotNo → Validated (GenTx (SimpleBlock c ext)) → TickedLedgerState (SimpleBlock c ext) ValuesMK → Except (ApplyTxErr (SimpleBlock c ext)) (TickedLedgerState (SimpleBlock c ext) ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig (SimpleBlock c ext) → SlotNo → [(Validated (GenTx (SimpleBlock c ext)), InputTxDiffs (SimpleBlock c ext) wtd, extra)] → TickedLedgerState (SimpleBlock c ext) ValuesMK → ReapplyTxsResult extra (SimpleBlock c ext) wtd Source #

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

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

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

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

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState (SimpleBlock c ext) mk → Text → Maybe (ApplyTxErr (SimpleBlock c ext)) Source #

TxLimits (SimpleBlock c ext) Source #

Instance details

Associated Types

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

Methods

txWireSize ∷ GenTx (SimpleBlock c ext) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (SimpleBlock c ext) → TickedLedgerState (SimpleBlock c ext) EmptyMK → GenTx (SimpleBlock c ext) → Except (ApplyTxErr (SimpleBlock c ext)) (TxMeasurePhase1 (SimpleBlock c ext)) Source #

txMeasurePhase2 ∷ LedgerConfig (SimpleBlock c ext) → TickedLedgerState (SimpleBlock c ext) ValuesMK → GenTx (SimpleBlock c ext) → Except (ApplyTxErr (SimpleBlock c ext)) (TxMeasurePhase2 (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 #

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, ChainDepStateSupportsPeras (ChainDepState (BlockProtocol (SimpleBlock SimpleMockCrypto ext))), ChainDepStateSupportsPeras (Ticked (ChainDepState (BlockProtocol (SimpleBlock SimpleMockCrypto ext))))) ⇒ RunNode (SimpleBlock SimpleMockCrypto ext) Source #

Instance details

(SimpleCrypto c, Typeable ext, ChainDepStateSupportsPeras (ChainDepState (BlockProtocol (SimpleBlock c ext))), ChainDepStateSupportsPeras (Ticked (ChainDepState (BlockProtocol (SimpleBlock c ext))))) ⇒ StateSupportsPerasEpochContext (SimpleBlock c ext) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext)
Instance details Defined in Ouroboros.Consensus.Mock.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (SimpleBlock c ext) → MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) → EpochToPerasRoundInfo Source #

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

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

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 #

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 #

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 #

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

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState (SimpleBlock c ext) any → LedgerTables (SimpleBlock c ext) mk → Ticked LedgerState (SimpleBlock c ext) mk 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 #

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

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

(KnownNat (HashSize (SimpleHash c)), SimpleCrypto c) ⇒ ConvertRawHash (SimpleBlock' c ext ext') Source #

Instance details

Associated Types

type HashSize (SimpleBlock' c ext ext')
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type HashSize (SimpleBlock' c ext ext') = HashSize (SimpleHash c)

Methods

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

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

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

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

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

unsafeFromShortRawHash ∷ 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 #

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 #

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

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (SimpleBlock c ext) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (SimpleBlock c ext) EmptyMK → PerasParams 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 #

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

(HashAlgorithm (SimpleHash c), Typeable c, Typeable ext, 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 #

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

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

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

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

}

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

Instance details

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

unSimpleGenTxId ∷ TxId

}

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 RawTxId (TxId (GenTx (SimpleBlock c ext))) Source #

Instance details

type RawTxId (TxId (GenTx (SimpleBlock c ext))) = TxId

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-4.0.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 (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 PerasCert (SimpleBlock c ext) Source #

Instance details

type PerasCert (SimpleBlock c ext) = VoidPerasCert (SimpleBlock c ext)

type PerasCrypto (SimpleBlock c ext) Source #

Instance details

type PerasCrypto (SimpleBlock c ext) = VoidPerasCrypto (SimpleBlock c ext)

type PerasError (SimpleBlock c ext) Source #

Instance details

type PerasError (SimpleBlock c ext) = VoidPerasError (SimpleBlock c ext)

type PerasVote (SimpleBlock c ext) Source #

Instance details

type PerasVote (SimpleBlock c ext) = VoidPerasVote (SimpleBlock c ext)

type PerasVotingCommitteeScheme (SimpleBlock c ext) Source #

Instance details

type PerasVotingCommitteeScheme (SimpleBlock c ext) = VoidPerasVotingCommitteeScheme

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)

type AuxLedgerEvent (SimpleBlock c ext) Source #

Instance details

type AuxLedgerEvent (SimpleBlock c ext) = VoidLedgerEvent

data LedgerState (SimpleBlock c ext) mk Source #

Instance details

data LedgerState (SimpleBlock c ext) mk = SimpleLedgerState {

simpleLedgerState ∷ MockState (SimpleBlock c ext)
simpleLedgerTables ∷ LedgerTables (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 TxMeasurePhase1 (SimpleBlock c ext) Source #

Instance details

type TxMeasurePhase1 (SimpleBlock c ext) = IgnoringOverflow ByteSize32

type TxMeasurePhase2 (SimpleBlock c ext) Source #

Instance details

type TxMeasurePhase2 (SimpleBlock c ext) = TrivialTxMeasurePhase2

type TxIn (SimpleBlock c ext) Source #

Instance details

type TxIn (SimpleBlock c ext) = TxIn

type TxOut (SimpleBlock c ext) Source #

Instance details

type TxOut (SimpleBlock c ext) = TxOut

type MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) Source #

Instance details

type MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) = EpochToPerasRoundInfo

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

Instance details

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

getTickedSimpleLedgerState ∷ 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-4.0.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)))

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

Instance details

type HashSize (SimpleBlock' c ext ext') = HashSize (SimpleHash c)

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

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

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 #

Eq SimpleBody Source #

Instance details

Methods

(==) ∷ SimpleBody → SimpleBody → Bool #

(/=) ∷ SimpleBody → SimpleBody → Bool #

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

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

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

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

(HashAlgorithm (SimpleHash c), Typeable c, Typeable ext) ⇒ 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-4.0.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 ∷ (HashAlgorithm (SimpleHash c), Typeable c, Typeable ext) ⇒ (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 Source #

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

Instance details

Associated Types

type Rep (BlockConfig TestBlock)

Instance details

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

Methods

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

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

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

NoThunks (BlockConfig (DualBlock m a)) Source #

Instance details

Methods

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

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

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

NoThunks (BlockConfig TestBlock) #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig TestBlock) → String Source #

NoThunks (BlockConfig (TestBlockWith ptype)) #

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 #

data BlockConfig TestBlock #

Instance details

data BlockConfig TestBlock = TestBlockConfig {

testBlockEBBsAllowed ∷ !Bool
testBlockNumCoreNodes ∷ !NumCoreNodes

}

type Rep (BlockConfig TestBlock) #

Instance details

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

type Rep (BlockConfig (TestBlockWith ptype)) #

Instance details

Defined in Test.Util.TestBlock

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

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

Instance details

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

newtype BlockConfig (DisableDiffusionPipelining blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (SelectViewDiffusionPipelining blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (TestBlockWith ptype) #

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

data BlockConfig (DualBlock m a) Source #

Instance details

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

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

Instance details

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

Methods

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

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

Generic (CodecConfig (DualBlock m a)) Source #

Instance details

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

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

Methods

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

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

Generic (CodecConfig TestBlock) #

Instance details

Associated Types

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

Methods

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

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

Generic (CodecConfig TestBlock) #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

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

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (CodecConfig TestBlock) #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (CodecConfig TestBlock) #

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 #

ToExpr (CodecConfig TestBlock) #

Instance details

Methods

toExpr ∷ CodecConfig TestBlock → Expr Source #

listToExpr ∷ [CodecConfig TestBlock] → Expr Source #

data CodecConfig TestBlock #

Instance details

data CodecConfig TestBlock = TestBlockCodecConfig

data CodecConfig TestBlock #

Instance details

Defined in Test.Util.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

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

Instance details

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

type Rep (CodecConfig TestBlock) #

Instance details

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

type Rep (CodecConfig TestBlock) #

Instance details

Defined in Test.Util.TestBlock

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

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

Instance details

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

newtype CodecConfig (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a) Source #

Instance details

data CodecConfig (DualBlock m a) = DualCodecConfig {

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

}

data 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

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 #

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

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

Instance details

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

Methods

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

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

Generic (StorageConfig (DualBlock m a)) Source #

Instance details

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

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

Methods

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

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

Generic (StorageConfig TestBlock) #

Instance details

Associated Types

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

Methods

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

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

Generic (StorageConfig TestBlock) #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

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

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (StorageConfig TestBlock) #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

NoThunks (StorageConfig TestBlock) #

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 #

Instance details

data StorageConfig TestBlock = TestBlockStorageConfig

data StorageConfig TestBlock #

Instance details

Defined in Test.Util.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

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

Instance details

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

type Rep (StorageConfig TestBlock) #

Instance details

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

type Rep (StorageConfig TestBlock) #

Instance details

Defined in Test.Util.TestBlock

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

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

Instance details

type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-4.0.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) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a) Source #

Instance details

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

ApplyBlock LedgerState TestBlock #

Instance details

Methods

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

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

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

IsLedger LedgerState TestBlock #

Instance details

Associated Types

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

Methods

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

CanUpgradeLedgerTables LedgerState TestBlock #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → LedgerTables TestBlock ValuesMK → LedgerTables TestBlock 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 TestBlock ValuesMK → LedgerTables TestBlock ValuesMK Source #

HasLedgerTables LedgerState TestBlock #

Instance details

Methods

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

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

HasLedgerTables LedgerState TestBlock #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial LedgerState TestBlock #

Instance details

Methods

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

SerializeTablesWithHint LedgerState TestBlock #

Instance details

Methods

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

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

SerializeTablesWithHint LedgerState TestBlock #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

IndexedMemPack LedgerState TestBlock Void #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

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

IndexedMemPack LedgerState TestBlock Void #

Instance details

Defined in Test.Util.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

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

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

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

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

PayloadSemantics ptype ⇒ IsLedger LedgerState (TestBlockWith ptype) #

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Instance details

Methods

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

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

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

MockProtocolSpecific c ext ⇒ ApplyBlock LedgerState (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 (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 (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 (SimpleBlock c ext) (LedgerState (SimpleBlock c ext) DiffMK) Source #

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

Instance details

Associated Types

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

Methods

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

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)

Methods

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

CanUpgradeLedgerTables LedgerState (DualBlock m a) Source #

Instance details

Methods

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

CanUpgradeLedgerTables LedgerState (OTBlock k v) #

Instance details

Methods

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

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 (SimpleBlock c ext) ValuesMK → LedgerTables (SimpleBlock c ext) ValuesMK Source #

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

HasLedgerTables LedgerState (SimpleBlock c ext) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

SerializeTablesWithHint LedgerState (SimpleBlock c ext) Source #

Instance details

Methods

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

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

DecodeDisk TestBlock (LedgerState TestBlock EmptyMK) #

Instance details

Methods

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

EncodeDisk TestBlock (LedgerState TestBlock EmptyMK) #

Instance details

Methods

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

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

Instance details

Methods

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

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

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

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

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

Instance details

Methods

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

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

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

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

IndexedMemPack LedgerState (SimpleBlock c ext) 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 ⇒ ∀ s. LedgerState (SimpleBlock c ext) EmptyMK → Unpack s b TxOut Source #

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

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

Instance details

Methods

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

GetTip (LedgerState TestBlock) #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

LedgerStateSupportsPeras (LedgerState (DualBlock m a)) Source #

Instance details

Methods

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

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

LedgerStateSupportsPeras (LedgerState TestBlock) #

Instance details

Methods

getPoolDistr ∷ LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState (TestBlockWith ptype)) #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerStateSupportsPeras (LedgerState (SimpleBlock c ext)) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState (SimpleBlock c ext) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (SimpleBlock c ext) EmptyMK → PerasParams blk Source #

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

Instance details

Methods

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

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

CanStowLedgerTables (LedgerState TestBlock) #

Instance details

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

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

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 #

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

Instance details

Methods

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

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

Eq (LedgerState TestBlock mk) #

Instance details

Methods

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

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

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

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 #

Generic (LedgerState TestBlock mk) #

Instance details

Associated Types

type Rep (LedgerState TestBlock mk)

Instance details

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

Methods

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

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

Generic (LedgerState (OTBlock k v) mk) #

Instance details

Associated Types

type Rep (LedgerState (OTBlock k v) mk)

Instance details

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

Methods

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

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

Generic (LedgerState (TestBlockWith ptype) mk) #

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

show ∷ LedgerState (HardForkBlock xs) mk → String #

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

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

Instance details

Methods

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

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

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

Show (LedgerState TestBlock mk) #

Instance details

Methods

showsPrec ∷ Int → LedgerState TestBlock mk → ShowS #

show ∷ LedgerState TestBlock mk → String #

showList ∷ [LedgerState TestBlock mk] → ShowS #

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

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 #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

NoThunks (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

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

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

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

NoThunks (LedgerState TestBlock mk) #

Instance details

Methods

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

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

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

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

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 #

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

Serialise (LedgerState TestBlock mk) #

Instance details

Methods

encode ∷ LedgerState TestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState TestBlock mk) Source #

encodeList ∷ [LedgerState TestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState TestBlock mk] Source #

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

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

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

ToExpr (LedgerState TestBlock EmptyMK) #

Instance details

Methods

toExpr ∷ LedgerState TestBlock EmptyMK → Expr Source #

listToExpr ∷ [LedgerState TestBlock EmptyMK] → Expr Source #

HasLedgerTables (Ticked LedgerState) TestBlock #

Instance details

Methods

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

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

HasLedgerTables (Ticked LedgerState) TestBlock #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

Instance details

Methods

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

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

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

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

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

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

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

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

Instance details

Methods

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

GetTip (Ticked LedgerState TestBlock) #

Instance details

Methods

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

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

Instance details

Methods

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

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

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState (TestBlockWith ptype)) #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (SimpleBlock c ext) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (SimpleBlock c ext) EmptyMK → PerasParams 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 #

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-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

Methods

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

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

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

Instance details

Methods

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

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

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

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

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 #

Inject (Flip LedgerState mk) Source #

Instance details

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

Methods

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

Isomorphic (Flip LedgerState mk) Source #

Instance details

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

Methods

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

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

data LedgerState TestBlock mk #

Instance details

data LedgerState TestBlock mk = TestLedger {

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

}

type LedgerCfg LedgerState TestBlock #

Instance details

type LedgerCfg LedgerState TestBlock = EraParams

type LedgerErr LedgerState TestBlock #

Instance details

type LedgerErr LedgerState TestBlock = TestBlockError

type LedgerCfg LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xs

type LedgerCfg LedgerState (TestBlockWith ptype) #

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg LedgerState (TestBlockWith ptype) = TestBlockLedgerConfig

type LedgerErr LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

type LedgerErr LedgerState (TestBlockWith ptype) #

Instance details

Defined in Test.Util.TestBlock

type LedgerErr LedgerState (TestBlockWith ptype) = TestBlockError ptype

type LedgerCfg LedgerState (DualBlock m a) Source #

Instance details

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

type LedgerCfg LedgerState (SimpleBlock c ext) Source #

Instance details

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

type LedgerErr LedgerState (DualBlock m a) Source #

Instance details

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

type LedgerErr LedgerState (SimpleBlock c ext) Source #

Instance details

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

newtype LedgerState (HardForkBlock xs) mk Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

data LedgerState (TestBlockWith ptype) mk #

Instance details

Defined in Test.Util.TestBlock

data LedgerState (TestBlockWith ptype) mk = TestLedger {

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

}

type Rep (LedgerState TestBlock mk) #

Instance details

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

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

Instance details

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

type Rep (LedgerState (TestBlockWith ptype) mk) #

Instance details

Defined in Test.Util.TestBlock

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

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-4.0.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 (SimpleBlock c ext) mk))))

data LedgerState (DualBlock m a) mk Source #

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

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

}

data LedgerState (OTBlock k v) mk #

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 (SimpleBlock c ext) mk

}

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) #

Instance details

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

getTickedTestLedger ∷ LedgerState TestBlock mk

}

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

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

Instance details

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

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

}

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

Instance details

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

getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) mk

}

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

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

Instance details

Defined in Test.Util.TestBlock

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

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

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

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

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

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

Constructors

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

Instances

Instances details

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

mempty ∷ LedgerTables l mk #

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

Generic (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables blk mk → ShowS #

show ∷ LedgerTables blk mk → String #

showList ∷ [LedgerTables blk mk] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

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

type Rep (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

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

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

" Ticked " piece of state, either LedgerState or ChainDepState

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state. There are exactly two methods in the interface that do that: tickChainDepState and applyChainTickLedgerResult.

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

Some examples of time related changes:

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

Ticked is used mainly in two ways:

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

Instances

Instances details

Show (Ticked ()) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

getEpochNonce ∷ Ticked (HeaderState blk) → Nonce Source #

ChainDepStateSupportsPeras (Ticked (PBftState c)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

getEpochNonce ∷ Ticked (PBftState c) → Nonce Source #

ChainDepStateSupportsPeras (Ticked (PraosChainDepState c)) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Protocol.Praos

Methods

getEpochNonce ∷ Ticked (PraosChainDepState c) → Nonce Source #

ChainDepStateSupportsPeras (Ticked ()) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.Abstract

Methods

getEpochNonce ∷ Ticked () → Nonce Source #

HasLedgerTables (Ticked LedgerState) TestBlock #

Instance details

Methods

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

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

HasLedgerTables (Ticked LedgerState) TestBlock #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock #

Instance details

Methods

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

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

Instance details

Methods

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

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

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

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

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

Instance details

Methods

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

GetTip (Ticked LedgerState TestBlock) #

Instance details

Methods

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

Instance details

Methods

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

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

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState (TestBlockWith ptype)) #

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (SimpleBlock c ext) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (SimpleBlock c ext) EmptyMK → PerasParams 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 #

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-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

Methods

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

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

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

Instance details

Methods

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

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

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

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

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

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

data Ticked () Source #

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState {

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

}

data Ticked (HeaderState blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

data Ticked (HeaderState blk ∷ Type) = TickedHeaderState {

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

}

data Ticked (PBftState c ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data Ticked (PBftState c ∷ Type) = TickedPBftState {

getPBftLedgerView ∷ LedgerView (PBft c)
getTickedPBftState ∷ PBftState c

}

newtype Ticked (WrapChainDepState blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

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

Instance details

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

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

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

}

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) #

Instance details

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

getTickedTestLedger ∷ LedgerState TestBlock mk

}

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

Defined in Test.Util.TestBlock

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

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

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

Instance details

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

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

}

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

Instance details

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

getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) mk

}

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

Instance details

Defined in Test.Util.TestBlock

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

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

Instance details

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

Methods

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

Isomorphic GenTx Source #

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

Instance details

Methods

showProxy ∷ Proxy (GenTx (DualBlock m a)) → String #

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

Instance details

Methods

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

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

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

Instance details

Methods

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

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

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

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

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

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

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

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 #

NoThunks (Validated (GenTx (DualBlock m a))) Source #

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

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

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

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 #

HasRawTxId (GenTxId m) ⇒ HasRawTxId (TxId (GenTx (DualBlock m a)))

Instance details

Associated Types

type RawTxId (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

Methods

getRawTxId ∷ TxId (GenTx (DualBlock m a)) → RawTxId (TxId (GenTx (DualBlock m a)))

HasRawTxId (TxId (GenTx (SimpleBlock c ext)))

Instance details

Associated Types

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

Methods

getRawTxId ∷ TxId (GenTx (SimpleBlock c ext)) → RawTxId (TxId (GenTx (SimpleBlock c ext)))

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.0.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-4.0.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))) Source #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a)) Source #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx (HardForkBlock xs) = HardForkGenTx {

getHardForkGenTx ∷ OneEraGenTx xs

}

newtype TxId (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a)) Source #

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

}

type RawTxId (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

type RawTxId (TxId (GenTx (DualBlock m a))) Source #

Instance details

type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

type RawTxId (TxId (GenTx (SimpleBlock c ext)))

Instance details

type RawTxId (TxId (GenTx (SimpleBlock c ext))) = TxId

data GenTx (DualBlock m a) Source #

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

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

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

Instance details

Methods

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

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #

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

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

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

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 #

NoThunks (TxId (GenTx (DualBlock m a))) Source #

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 #

HasRawTxId (GenTxId m) ⇒ HasRawTxId (TxId (GenTx (DualBlock m a)))

Instance details

Associated Types

type RawTxId (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

Methods

getRawTxId ∷ TxId (GenTx (DualBlock m a)) → RawTxId (TxId (GenTx (DualBlock m a)))

HasRawTxId (TxId (GenTx (SimpleBlock c ext)))

Instance details

Associated Types

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

Methods

getRawTxId ∷ TxId (GenTx (SimpleBlock c ext)) → RawTxId (TxId (GenTx (SimpleBlock c ext)))

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a)) Source #

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

}

type RawTxId (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

type RawTxId (TxId (GenTx (DualBlock m a))) Source #

Instance details

type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

type RawTxId (TxId (GenTx (SimpleBlock c ext)))

Instance details

type RawTxId (TxId (GenTx (SimpleBlock c ext))) = 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

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

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

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 #

NoThunks (Validated (GenTx (DualBlock m a))) Source #

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a)) Source #

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