Incremental decoding of CBOR-in-CBOR

[coot]

unwrapCBORinCBOR is not incremental; it could be using well-typed/cborg#286.

[lehins]

Instance for Serialised also needs to be fixed, in particular the TODOs needs to be take care of.

ouroboros-network/ouroboros-network-api/src/Ouroboros/Network/Block.hs

Lines 472 to 488 in 8629962

	-- | CBOR-in-CBOR
	--
	-- TODO: replace with encodeEmbeddedCBOR from cborg-0.2.4 once
	-- it is available, since that will be faster.
	--
	-- TODO: Avoid converting to a strict ByteString, as that requires copying O(n)
	-- in case the lazy ByteString consists of more than one chunks.
	instance Serialise (Serialised a) where
	encode (Serialised bs) = mconcat [
	Enc.encodeTag 24
	, Enc.encodeBytes (Lazy.toStrict bs)
	]
	decode = do
	tag <- Dec.decodeTag
	when (tag /= 24) $ fail "expected tag 24 (CBOR-in-CBOR)"
	Serialised . Lazy.fromStrict <$> Dec.decodeBytes