Ouroboros.Consensus.Util.IndexedMemPack

Name of the type that is being deserialized for error reporting. Default implementation relies on Typeable.

Report the exact size in number of bytes that packed version of this type will occupy. It is very important to get this right, otherwise packM will result in a runtime exception. Another words this is the expected property that it should hold:

prop> packedByteCount a == bufferByteCount (pack a)

Write binary representation of a type into the MutableByteArray which can be accessed with ask, whenever direct operations on it are necessary.

Read binary representation of the type directly from the buffer, which can be accessed with ask when necessary.

Warning - Direct reads from the buffer should be preceded with advancing the buffer offset within MonadState by the exact number of bytes that gets consumed from that buffer.

⚠ - Violation of the above rule will lead to segfaults.