Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Ouroboros.Network.Protocol.Limits
Documentation
data ProtocolSizeLimits ps bytes Source #
Constructors
ProtocolSizeLimits | |
Fields
|
data ProtocolTimeLimits ps Source #
Constructors
ProtocolTimeLimits | |
Fields
|
data ProtocolLimitFailure where Source #
Constructors
ExceededSizeLimit ∷ ∀ (pr ∷ PeerRole) ps (st ∷ ps). (∀ (st' ∷ ps). Show (ClientHasAgency st'), ∀ (st' ∷ ps). Show (ServerHasAgency st'), ShowProxy ps) ⇒ PeerHasAgency pr st → ProtocolLimitFailure | |
ExceededTimeLimit ∷ ∀ (pr ∷ PeerRole) ps (st ∷ ps). (∀ (st' ∷ ps). Show (ClientHasAgency st'), ∀ (st' ∷ ps). Show (ServerHasAgency st'), ShowProxy ps) ⇒ PeerHasAgency pr st → ProtocolLimitFailure |
Instances
Exception ProtocolLimitFailure Source # | |
Show ProtocolLimitFailure Source # | |
Defined in Ouroboros.Network.Protocol.Limits Methods showsPrec ∷ Int → ProtocolLimitFailure → ShowS # show ∷ ProtocolLimitFailure → String # showList ∷ [ProtocolLimitFailure] → ShowS # |