ouroboros-network-framework:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.RawBearer.Test.Utils

Documentation

newtype Message Source #

Constructors

Message 

Fields

Instances

Instances details
Arbitrary Message Source # 
Instance details

Defined in Ouroboros.Network.RawBearer.Test.Utils

Methods

arbitrary :: Gen Message #

shrink :: Message -> [Message] #

Show Message Source # 
Instance details

Defined in Ouroboros.Network.RawBearer.Test.Utils

Methods

showsPrec :: Int -> Message -> ShowS #

show :: Message -> String #

showList :: [Message] -> ShowS #

Eq Message Source # 
Instance details

Defined in Ouroboros.Network.RawBearer.Test.Utils

Methods

(==) :: Message -> Message -> Bool #

(/=) :: Message -> Message -> Bool #

Ord Message Source # 
Instance details

Defined in Ouroboros.Network.RawBearer.Test.Utils

Methods

compare :: Message -> Message -> Ordering #

(<) :: Message -> Message -> Bool #

(<=) :: Message -> Message -> Bool #

(>) :: Message -> Message -> Bool #

(>=) :: Message -> Message -> Bool #

max :: Message -> Message -> Message #

min :: Message -> Message -> Message #

newtype TestError Source #

Constructors

TestError String 

Instances

Instances details
Exception TestError Source # 
Instance details

Defined in Ouroboros.Network.RawBearer.Test.Utils

Methods

toException :: TestError -> SomeException #

fromException :: SomeException -> Maybe TestError #

displayException :: TestError -> String #

backtraceDesired :: TestError -> Bool #

Show TestError Source # 
Instance details

Defined in Ouroboros.Network.RawBearer.Test.Utils

Methods

showsPrec :: Int -> TestError -> ShowS #

show :: TestError -> String #

showList :: [TestError] -> ShowS #

rawBearerSendAndReceive :: forall m fd addr. (MonadST m, MonadThrow m, MonadAsync m, MonadMVar m, Show addr) => Tracer m String -> Snocket m fd addr -> MakeRawBearer m fd -> addr -> Maybe addr -> Message -> m Property Source #