| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.BlockFetch.Codec
Synopsis
- codecBlockFetch ∷ ∀ block point m. MonadST m ⇒ (block → Encoding) → (∀ s. Decoder s block) → (point → Encoding) → (∀ s. Decoder s point) → Codec (BlockFetch block point) DeserialiseFailure m ByteString
- codecBlockFetchId ∷ ∀ block point m. Monad m ⇒ Codec (BlockFetch block point) CodecFailure m (AnyMessage (BlockFetch block point))
- byteLimitsBlockFetch ∷ ∀ bytes block point. (bytes → Word) → ProtocolSizeLimits (BlockFetch block point) bytes
- timeLimitsBlockFetch ∷ ∀ block point. ProtocolTimeLimits (BlockFetch block point)
Documentation
codecBlockFetch ∷ ∀ block point m. MonadST m ⇒ (block → Encoding) → (∀ s. Decoder s block) → (point → Encoding) → (∀ s. Decoder s point) → Codec (BlockFetch block point) DeserialiseFailure m ByteString Source #
Codec for chain sync that encodes/decodes blocks
NOTE: See wrapCBORinCBOR and unwrapCBORinCBOR if you want to use this
with a block type that has annotations.
codecBlockFetchId ∷ ∀ block point m. Monad m ⇒ Codec (BlockFetch block point) CodecFailure m (AnyMessage (BlockFetch block point)) Source #
byteLimitsBlockFetch ∷ ∀ bytes block point. (bytes → Word) → ProtocolSizeLimits (BlockFetch block point) bytes Source #
Byte Limit.
timeLimitsBlockFetch ∷ ∀ block point. ProtocolTimeLimits (BlockFetch block point) Source #