| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.BlockFetch.Codec
Synopsis
- codecBlockFetch :: forall block point (m :: Type -> Type). MonadST m => (block -> Encoding) -> (forall s. Decoder s block) -> (point -> Encoding) -> (forall s. Decoder s point) -> Codec (BlockFetch block point) DeserialiseFailure m ByteString
- codecBlockFetchId :: forall {k} {k1} (block :: k) (point :: k1) (m :: Type -> Type). Monad m => Codec (BlockFetch block point) CodecFailure m (AnyMessage (BlockFetch block point))
- byteLimitsBlockFetch :: forall {k} {k1} bytes (block :: k) (point :: k1). (bytes -> Word) -> ProtocolSizeLimits (BlockFetch block point) bytes
- timeLimitsBlockFetch :: forall {k} {k1} (block :: k) (point :: k1). ProtocolTimeLimits (BlockFetch block point)
Documentation
codecBlockFetch :: forall block point (m :: Type -> Type). MonadST m => (block -> Encoding) -> (forall s. Decoder s block) -> (point -> Encoding) -> (forall 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 :: forall {k} {k1} (block :: k) (point :: k1) (m :: Type -> Type). Monad m => Codec (BlockFetch block point) CodecFailure m (AnyMessage (BlockFetch block point)) Source #
byteLimitsBlockFetch :: forall {k} {k1} bytes (block :: k) (point :: k1). (bytes -> Word) -> ProtocolSizeLimits (BlockFetch block point) bytes Source #
Byte Limit.
timeLimitsBlockFetch :: forall {k} {k1} (block :: k) (point :: k1). ProtocolTimeLimits (BlockFetch block point) Source #