| 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 # | |