cardano-diffusion:cardano-diffusion-tests-lib
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Network.Diffusion.Testnet.MiniProtocols

Description

Mini-protocols for Testnet.

Synopsis

Documentation

data Codecs addr header block (m :: Type -> Type) Source #

Protocol codecs.

cborCodecs :: forall (m :: Type -> Type). MonadST m => Codecs NtNAddr BlockHeader Block m Source #

data LimitsAndTimeouts header block Source #

Limits and protocol timeouts

Constructors

LimitsAndTimeouts 

Fields

data AppArgs header block (m :: Type -> Type) Source #

Arguments for protocol handlers required by nodeApplications.

Constructors

AppArgs 

Fields

applications :: forall block header s (m :: Type -> Type). (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFork m, MonadMask m, MonadMVar m, MonadSay m, MonadThrow m, MonadTime m, MonadTimer m, MonadThrow (STM m), HasHeader header, HasHeader block, HeaderHash header ~ HeaderHash block, Show header, Show block, ShowProxy block, ShowProxy header, RandomGen s) => Tracer m String -> Tracer m (TraceTxSubmissionInbound Int (Tx Int)) -> Tracer m (TraceTxLogic NtNAddr Int (Tx Int)) -> NodeKernel header block s Int m -> Codecs NtNAddr header block m -> LimitsAndTimeouts header block -> AppArgs header block m -> (block -> header) -> Applications NtNAddr NtNVersion NtNVersionData NtCAddr NtCVersion NtCVersionData m () Source #

Protocol handlers.

configuration constants

Orphan instances

ShowProxy PingPong Source # 
Instance details

Methods

showProxy :: Proxy PingPong -> String