ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Leios.LeiosNotify.Protocol

Description

Tests of LeiosNotify's client and server, run against each other over connected channels with a real codec.

Synopsis

Documentation

newtype ExcessiveOutcome Source #

Constructors

ExcessiveOutcome WhetherDisconnected 

Instances

Instances details
Eq ExcessiveOutcome Source # 
Instance details

Defined in Test.Consensus.Leios.LeiosNotify.Protocol

Methods

(==) ∷ ExcessiveOutcome → ExcessiveOutcome → Bool #

(/=) ∷ ExcessiveOutcome → ExcessiveOutcome → Bool #

Show ExcessiveOutcome Source # 
Instance details

Defined in Test.Consensus.Leios.LeiosNotify.Protocol

Methods

showsPrec ∷ Int → ExcessiveOutcome → ShowS #

show ∷ ExcessiveOutcome → String #

showList ∷ [ExcessiveOutcome] → ShowS #

type P = LeiosNotify Int Int Int Source #

data WhetherDisconnected Source #

Constructors

Disconnected 
NotDisconnected 

Instances

Instances details
Eq WhetherDisconnected Source # 
Instance details

Defined in Test.Consensus.Leios.LeiosNotify.Protocol

Methods

(==) ∷ WhetherDisconnected → WhetherDisconnected → Bool #

(/=) ∷ WhetherDisconnected → WhetherDisconnected → Bool #

Show WhetherDisconnected Source # 
Instance details

Defined in Test.Consensus.Leios.LeiosNotify.Protocol

Methods

showsPrec ∷ Int → WhetherDisconnected → ShowS #

show ∷ WhetherDisconnected → String #

showList ∷ [WhetherDisconnected] → ShowS #

codec ∷ Codec P DeserialiseFailure (IOSim s) ByteString Source #

runPipelinedClient ∷ (ShowProxy point, ShowProxy announcement, ShowProxy vote) ⇒ Codec (LeiosNotify point announcement vote) DeserialiseFailure (IOSim s) ByteString → StrictTVar (IOSim s) Int → Int → StrictTMVar (IOSim s) () → Channel (IOSim s) ByteString → IOSim s () Source #

Run the pipelined client at the given depth until stop is filled, counting the replies it handles.

sizeLimits ∷ ProtocolSizeLimits (LeiosNotify point announcement vote) ByteString Source #

tests ∷ TestTree Source #