Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data ProtocolSizeLimits ps bytes Source #
ProtocolSizeLimits | |
|
data ProtocolTimeLimits ps Source #
ProtocolTimeLimits | |
|
data ProtocolLimitFailure where Source #
ExceededSizeLimit :: forall (pr :: PeerRole) ps (st :: ps). (forall (st' :: ps). Show (ClientHasAgency st'), forall (st' :: ps). Show (ServerHasAgency st'), ShowProxy ps) => PeerHasAgency pr st -> ProtocolLimitFailure | |
ExceededTimeLimit :: forall (pr :: PeerRole) ps (st :: ps). (forall (st' :: ps). Show (ClientHasAgency st'), forall (st' :: ps). Show (ServerHasAgency st'), ShowProxy ps) => PeerHasAgency pr st -> ProtocolLimitFailure |
Instances
Exception ProtocolLimitFailure Source # | |
Show ProtocolLimitFailure Source # | |
Defined in Ouroboros.Network.Protocol.Limits showsPrec :: Int -> ProtocolLimitFailure -> ShowS # show :: ProtocolLimitFailure -> String # showList :: [ProtocolLimitFailure] -> ShowS # |