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, MonadEvaluate 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) -> TVar m [TxId] -> Applications NtNAddr NtNVersion NtNVersionData NtCAddr NtCVersion NtCVersionData PeerTrustable m () Source #

Protocol handlers.

configuration constants

Orphan instances

ShowProxy PingPong Source # 
Instance details

Methods

showProxy :: Proxy PingPong -> String