Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Mock.Node
Contents
Synopsis
- data family CodecConfig blk
- simpleBlockForging ∷ ∀ c ext (m ∷ Type → Type). (RunMockBlock c ext, CannotForge (SimpleBlock c ext) ~ Void, ForgeStateInfo (SimpleBlock c ext) ~ (), ForgeStateUpdateError (SimpleBlock c ext) ~ Void, Monad m) ⇒ CanBeLeader (BlockProtocol (SimpleBlock c ext)) → ForgeExt c ext → BlockForging m (SimpleBlock c ext)
Documentation
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
simpleBlockForging ∷ ∀ c ext (m ∷ Type → Type). (RunMockBlock c ext, CannotForge (SimpleBlock c ext) ~ Void, ForgeStateInfo (SimpleBlock c ext) ~ (), ForgeStateUpdateError (SimpleBlock c ext) ~ Void, Monad m) ⇒ CanBeLeader (BlockProtocol (SimpleBlock c ext)) → ForgeExt c ext → BlockForging m (SimpleBlock c ext) Source #
Can be used when CanBeLeader
is static
Orphan instances
(BlockSupportsProtocol (SimpleBlock c ext), Show (SelectView (BlockProtocol (SimpleBlock c ext)))) ⇒ BlockSupportsDiffusionPipelining (SimpleBlock c ext) Source # | |||||||||
Associated Types
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 # | |||||||||
Methods isSelfIssued ∷ BlockConfig (SimpleBlock c ext) → Header (SimpleBlock c ext) → WhetherSelfIssued Source # | |||||||||
ConsensusProtocol (BlockProtocol (SimpleBlock c ext)) ⇒ BlockSupportsSanityCheck (SimpleBlock c ext) Source # | |||||||||
Methods configAllSecurityParams ∷ TopLevelConfig (SimpleBlock c ext) → NonEmpty SecurityParam Source # | |||||||||
NodeInitStorage (SimpleBlock SimpleMockCrypto ext) Source # | |||||||||
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 # | |||||||||
Methods supportedNodeToNodeVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToNodeVersion (BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext)) Source # supportedNodeToClientVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToClientVersion (BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext)) Source # latestReleasedNodeVersion ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
(LedgerSupportsProtocol (SimpleBlock SimpleMockCrypto ext), Show (CannotForge (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateInfo (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateUpdateError (SimpleBlock SimpleMockCrypto ext)), Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ RunNode (SimpleBlock SimpleMockCrypto ext) Source # | |||||||||