Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Mock.Node

Contents

Orphan instances

Synopsis

data family CodecConfig blk
simpleBlockForging ∷ ∀ c ext m. (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

Instances details

Generic (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (CodecConfig (SimpleBlock c ext)) ∷ 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) #
NoThunks (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block 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 #
type Rep (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.21.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
data CodecConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data CodecConfig (SimpleBlock c ext) = SimpleCodecConfig

simpleBlockForging ∷ ∀ c ext m. (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 #
Instance details Associated Types type TentativeHeaderState (SimpleBlock c ext) Source # type TentativeHeaderView (SimpleBlock c ext) Source # 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 #
ConsensusProtocol (BlockProtocol (SimpleBlock c ext)) ⇒ BlockSupportsSanityCheck (SimpleBlock c ext) Source #
Instance details Methods configAllSecurityParams ∷ TopLevelConfig (SimpleBlock c ext) → NonEmpty SecurityParam 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 #
HasNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Associated Types type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) Source # type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) Source #
SupportedNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Methods supportedNodeToNodeVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToNodeVersion (BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext)) Source # supportedNodeToClientVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToClientVersion (BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext)) Source # latestReleasedNodeVersion ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
(LedgerSupportsProtocol (SimpleBlock SimpleMockCrypto ext), Show (CannotForge (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateInfo (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateUpdateError (SimpleBlock SimpleMockCrypto ext)), Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ RunNode (SimpleBlock SimpleMockCrypto ext) Source #
Instance details