| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.Limits
Documentation
data ProtocolSizeLimits ps bytes Source #
Constructors
| ProtocolSizeLimits | |
Fields
| |
newtype ProtocolTimeLimits ps Source #
Constructors
| ProtocolTimeLimits | |
Fields
| |
newtype ProtocolTimeLimitsWithRnd ps Source #
Constructors
| ProtocolTimeLimitsWithRnd | |
Fields
| |
data ProtocolLimitFailure where Source #
Constructors
| ExceededSizeLimit :: forall ps (st :: ps). (Show (StateToken st), ShowProxy ps, ActiveState st) => StateToken st -> ProtocolLimitFailure | |
| ExceededTimeLimit :: forall ps (st :: ps). (Show (StateToken st), ShowProxy ps, ActiveState st) => StateToken st -> ProtocolLimitFailure |
Instances
| Exception ProtocolLimitFailure Source # | |
Defined in Ouroboros.Network.Protocol.Limits | |
| Show ProtocolLimitFailure Source # | |
Defined in Ouroboros.Network.Protocol.Limits Methods showsPrec :: Int -> ProtocolLimitFailure -> ShowS # show :: ProtocolLimitFailure -> String # showList :: [ProtocolLimitFailure] -> ShowS # | |