| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.ObjectDiffusion.Codec
Synopsis
- codecObjectDiffusion :: forall objectId object (m :: Type -> Type). MonadST m => (objectId -> Encoding) -> (forall s. Decoder s objectId) -> (object -> Encoding) -> (forall s. Decoder s object) -> Codec (ObjectDiffusion objectId object) DeserialiseFailure m ByteString
- codecObjectDiffusionId :: forall objectId object (m :: Type -> Type). Monad m => Codec (ObjectDiffusion objectId object) CodecFailure m (AnyMessage (ObjectDiffusion objectId object))
- byteLimitsObjectDiffusion :: (bytes -> Word) -> ProtocolSizeLimits (ObjectDiffusion objectId object) bytes
- timeLimitsObjectDiffusion :: ProtocolTimeLimits (ObjectDiffusion objectId object)
Documentation
Arguments
| :: forall objectId object (m :: Type -> Type). MonadST m | |
| => (objectId -> Encoding) | encode |
| -> (forall s. Decoder s objectId) | decode |
| -> (object -> Encoding) | encode object |
| -> (forall s. Decoder s object) | decode object |
| -> Codec (ObjectDiffusion objectId object) DeserialiseFailure m ByteString |
codecObjectDiffusionId :: forall objectId object (m :: Type -> Type). Monad m => Codec (ObjectDiffusion objectId object) CodecFailure m (AnyMessage (ObjectDiffusion objectId object)) Source #
byteLimitsObjectDiffusion :: (bytes -> Word) -> ProtocolSizeLimits (ObjectDiffusion objectId object) bytes Source #
Byte Limits.
timeLimitsObjectDiffusion :: ProtocolTimeLimits (ObjectDiffusion objectId object) Source #
ObjectDiffusion time limits.
ObjectDiffusion state | timeout (s) |
|---|---|
StInit | waitForever |
StIdle | waitForever |
| waitForever |
| shortWait |
StObjects | shortWait |