Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Node.Run

3 types
4 classes

Packageouroboros-consensus-4.2.1.0
Exports7
LicenceApache-2.0

class

class (LedgerSupportsProtocol blk, LedgerSupportsPeras blk, InspectLedger blk, HasHardForkHistory blk, LedgerSupportsMempool blk, HasTxId (GenTx blk), HasRawTxId (TxId (GenTx blk)), BlockSupportsLedgerQuery blk, SupportedNetworkProtocolVersion blk, ConfigSupportsNode blk, ConvertRawHash blk, CommonProtocolParams blk, HasBinaryBlockInfo blk, SerialiseDiskConstraints blk, SerialiseNodeToNodeConstraints blk, SerialiseNodeToClientConstraints blk, LedgerSupportsPeerSelection blk, NodeInitStorage blk, BlockSupportsMetrics blk, BlockSupportsDiffusionPipelining blk, BlockSupportsSanityCheck blk, Show (CannotForge blk), Show (ForgeStateInfo blk), Show (ForgeStateUpdateError blk), ShowProxy blk, ShowProxy (ApplyTxErr blk), ShowProxy (GenTx blk), ShowProxy (Header blk), ShowProxy (BlockQuery blk), ShowProxy (TxId (GenTx blk)), forall (fp :: QueryFootprint). ShowQuery (BlockQuery blk fp), CanUpgradeLedgerTables LedgerState blk) => RunNode blk

Instances1RunNode

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs, BlockSupportsHFLedgerQuery xs, SupportedNetworkProtocolVersion (HardForkBlock xs), SerialiseHFC xs) => RunNode (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node · orphan

class

class (Typeable blk, ConvertRawHash blk, SerialiseNodeToClient blk blk, SerialiseNodeToClient blk (Serialised blk), SerialiseNodeToClient blk (GenTx blk), SerialiseNodeToClient blk (GenTxId blk), SerialiseNodeToClient blk SlotNo, SerialiseNodeToClient blk (ApplyTxErr blk), SerialiseNodeToClient blk (SomeBlockQuery (BlockQuery blk)), SerialiseNodeToClient blk (LedgerConfig blk), SerialiseBlockQueryResult blk BlockQuery) => SerialiseNodeToClientConstraints blk

Instances1SerialiseNodeToClientConstraints

SerialiseHFC xs => SerialiseNodeToClientConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan

class

class (ConvertRawHash blk, SerialiseNodeToNode blk blk, SerialiseNodeToNode blk (Header blk), SerialiseNodeToNode blk (Serialised blk), SerialiseNodeToNode blk (SerialisedHeader blk), SerialiseNodeToNode blk (GenTx blk), SerialiseNodeToNode blk (GenTxId blk)) => SerialiseNodeToNodeConstraints blk where

Methods

estimateBlockSize :: Header blk -> SizeInBytes

Instances1SerialiseNodeToNodeConstraints

SerialiseHFC xs => SerialiseNodeToNodeConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan

class

class (ImmutableDbSerialiseConstraints blk, LedgerDbSerialiseConstraints blk, VolatileDbSerialiseConstraints blk, EncodeDiskDep (NestedCtxt Header) blk) => SerialiseDiskConstraints blk

Instances1SerialiseDiskConstraints

SerialiseHFC xs => SerialiseDiskConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan

type

type ImmutableDbSerialiseConstraints blk = (EncodeDisk blk blk, DecodeDisk blk (ByteString -> Either DecoderError blk), DecodeDiskDep (NestedCtxt Header) blk, ReconstructNestedCtxt Header blk, HasBinaryBlockInfo blk)

type

type LedgerDbSerialiseConstraints blk = (Serialise (HeaderHash blk), EncodeDisk blk (LedgerState blk EmptyMK), DecodeDisk blk (LedgerState blk EmptyMK), EncodeDisk blk (AnnTip blk), DecodeDisk blk (AnnTip blk), EncodeDisk blk (ChainDepState (BlockProtocol blk)), DecodeDisk blk (ChainDepState (BlockProtocol blk)), IndexedMemPack LedgerState blk (TxOut blk), MemPack (TxIn blk), SerializeTablesWithHint LedgerState blk)

type

type VolatileDbSerialiseConstraints blk = (EncodeDisk blk blk, DecodeDisk blk (ByteString -> Either DecoderError blk), DecodeDiskDep (NestedCtxt Header) blk, HasNestedContent Header blk, HasBinaryBlockInfo blk)