ouroboros-network-testing
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Network.Data.AbsBearerInfo

Documentation

newtype AbsBearerInfoScript Source #

Constructors

AbsBearerInfoScript 

Fields

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

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

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

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

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 #