Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.Data.AbsBearerInfo

Documentation

newtype AbsBearerInfoScript Source #

Constructors

AbsBearerInfoScript
Fields unBIScript :: Script AbsBearerInfo

Instances

Instances details

Arbitrary AbsBearerInfoScript Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsBearerInfoScript # shrink :: AbsBearerInfoScript -> [AbsBearerInfoScript] #
Show AbsBearerInfoScript Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsBearerInfoScript -> ShowS # show :: AbsBearerInfoScript -> String # showList :: [AbsBearerInfoScript] -> ShowS #
Eq AbsBearerInfoScript Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsBearerInfoScript -> AbsBearerInfoScript -> Bool # (/=) :: AbsBearerInfoScript -> AbsBearerInfoScript -> Bool #

canFail :: AbsBearerInfo -> Bool Source #

newtype NonFailingAbsBearerInfo Source #

Constructors

NonFailingAbsBearerInfo
Fields unNFBI :: AbsBearerInfo

Instances

Instances details

Arbitrary NonFailingAbsBearerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen NonFailingAbsBearerInfo # shrink :: NonFailingAbsBearerInfo -> [NonFailingAbsBearerInfo] #
Show NonFailingAbsBearerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> NonFailingAbsBearerInfo -> ShowS # show :: NonFailingAbsBearerInfo -> String # showList :: [NonFailingAbsBearerInfo] -> ShowS #
Eq NonFailingAbsBearerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: NonFailingAbsBearerInfo -> NonFailingAbsBearerInfo -> Bool # (/=) :: NonFailingAbsBearerInfo -> NonFailingAbsBearerInfo -> Bool #

newtype NonFailingAbsBearerInfoScript Source #

Constructors

NonFailingAbsBearerInfoScript
Fields unNFBIScript :: Script AbsBearerInfo

Instances

Instances details

Arbitrary NonFailingAbsBearerInfoScript Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen NonFailingAbsBearerInfoScript # shrink :: NonFailingAbsBearerInfoScript -> [NonFailingAbsBearerInfoScript] #
Show NonFailingAbsBearerInfoScript Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> NonFailingAbsBearerInfoScript -> ShowS # show :: NonFailingAbsBearerInfoScript -> String # showList :: [NonFailingAbsBearerInfoScript] -> ShowS #
Eq NonFailingAbsBearerInfoScript Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: NonFailingAbsBearerInfoScript -> NonFailingAbsBearerInfoScript -> Bool # (/=) :: NonFailingAbsBearerInfoScript -> NonFailingAbsBearerInfoScript -> Bool #

data AbsDelay Source #

Constructors

SmallDelay
NormalDelay
LargeDelay

Instances

Instances details

Arbitrary AbsDelay Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsDelay # shrink :: AbsDelay -> [AbsDelay] #
Show AbsDelay Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsDelay -> ShowS # show :: AbsDelay -> String # showList :: [AbsDelay] -> ShowS #
Eq AbsDelay Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsDelay -> AbsDelay -> Bool # (/=) :: AbsDelay -> AbsDelay -> Bool #
Ord AbsDelay Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods compare :: AbsDelay -> AbsDelay -> Ordering # (<) :: AbsDelay -> AbsDelay -> Bool # (<=) :: AbsDelay -> AbsDelay -> Bool # (>) :: AbsDelay -> AbsDelay -> Bool # (>=) :: AbsDelay -> AbsDelay -> Bool # max :: AbsDelay -> AbsDelay -> AbsDelay # min :: AbsDelay -> AbsDelay -> AbsDelay #

delay :: AbsDelay -> DiffTime Source #

data AbsSpeed Source #

Constructors

SlowSpeed
NormalSpeed
FastSpeed

Instances

Instances details

Arbitrary AbsSpeed Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsSpeed # shrink :: AbsSpeed -> [AbsSpeed] #
Show AbsSpeed Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsSpeed -> ShowS # show :: AbsSpeed -> String # showList :: [AbsSpeed] -> ShowS #
Eq AbsSpeed Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsSpeed -> AbsSpeed -> Bool # (/=) :: AbsSpeed -> AbsSpeed -> Bool #
Ord AbsSpeed Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods compare :: AbsSpeed -> AbsSpeed -> Ordering # (<) :: AbsSpeed -> AbsSpeed -> Bool # (<=) :: AbsSpeed -> AbsSpeed -> Bool # (>) :: AbsSpeed -> AbsSpeed -> Bool # (>=) :: AbsSpeed -> AbsSpeed -> Bool # max :: AbsSpeed -> AbsSpeed -> AbsSpeed # min :: AbsSpeed -> AbsSpeed -> AbsSpeed #

speedToRational :: AbsSpeed -> Rational Source #

delayAtSpeed :: AbsSpeed -> Size -> DiffTime Source #

data AbsSDUSize Source #

Constructors

SmallSDU
NormalSDU
LargeSDU

Instances

Instances details

Arbitrary AbsSDUSize Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsSDUSize # shrink :: AbsSDUSize -> [AbsSDUSize] #
Show AbsSDUSize Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsSDUSize -> ShowS # show :: AbsSDUSize -> String # showList :: [AbsSDUSize] -> ShowS #
Eq AbsSDUSize Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsSDUSize -> AbsSDUSize -> Bool # (/=) :: AbsSDUSize -> AbsSDUSize -> Bool #

toSduSize :: AbsSDUSize -> SDUSize Source #

newtype AbsIOError Source #

Constructors

AbsIOError
Fields getIOError :: IOError

Instances

Instances details

Arbitrary AbsIOError Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsIOError # shrink :: AbsIOError -> [AbsIOError] #
Show AbsIOError Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsIOError -> ShowS # show :: AbsIOError -> String # showList :: [AbsIOError] -> ShowS #

data AbsAttenuation Source #

Constructors

NoAttenuation AbsSpeed
SpeedAttenuation AbsSpeed Time DiffTime
ErrorInterval AbsSpeed Time DiffTime IOError

Instances

Instances details

Arbitrary AbsAttenuation Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsAttenuation # shrink :: AbsAttenuation -> [AbsAttenuation] #
Show AbsAttenuation Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsAttenuation -> ShowS # show :: AbsAttenuation -> String # showList :: [AbsAttenuation] -> ShowS #
Eq AbsAttenuation Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsAttenuation -> AbsAttenuation -> Bool # (/=) :: AbsAttenuation -> AbsAttenuation -> Bool #

attenuation :: AbsAttenuation -> Time -> Size -> (DiffTime, SuccessOrFailure) Source #

absNoAttenuation :: AbsBearerInfo Source #

data AbsBearerInfo Source #

Constructors

AbsBearerInfo
Fields abiConnectionDelay :: !AbsDelay abiInboundAttenuation :: !AbsAttenuation abiOutboundAttenuation :: !AbsAttenuation abiInboundWriteFailure :: !(Maybe Int) abiOutboundWriteFailure :: !(Maybe Int) abiAcceptFailure :: !(Maybe (AbsDelay, IOError)) abiSDUSize :: !AbsSDUSize

Instances

Instances details

Arbitrary AbsBearerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsBearerInfo # shrink :: AbsBearerInfo -> [AbsBearerInfo] #
Show AbsBearerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsBearerInfo -> ShowS # show :: AbsBearerInfo -> String # showList :: [AbsBearerInfo] -> ShowS #
Eq AbsBearerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsBearerInfo -> AbsBearerInfo -> Bool # (/=) :: AbsBearerInfo -> AbsBearerInfo -> Bool #

toNonFailingAbsBearerInfoScript :: AbsBearerInfoScript -> NonFailingAbsBearerInfoScript Source #

data AbsIOErrType Source #

Constructors

AbsIOErrConnectionAborted
AbsIOErrResourceExhausted

Instances

Instances details

Arbitrary AbsIOErrType Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods arbitrary :: Gen AbsIOErrType # shrink :: AbsIOErrType -> [AbsIOErrType] #
Show AbsIOErrType Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods showsPrec :: Int -> AbsIOErrType -> ShowS # show :: AbsIOErrType -> String # showList :: [AbsIOErrType] -> ShowS #
Eq AbsIOErrType Source #
Instance details Defined in Test.Ouroboros.Network.Data.AbsBearerInfo Methods (==) :: AbsIOErrType -> AbsIOErrType -> Bool # (/=) :: AbsIOErrType -> AbsIOErrType -> Bool #