我正在尝试修改这个,以处理长度已知的Lazy ByteString (这样就不会强制在内存中读取它的全部内容--它是通过预先发送长度的网络实现的)。似乎我必须在Lazy ByteString上定义一个Lazy ByteString函数才能将它转换为。由于GivesPopper的定义方式复杂,我不知道如何为Lazy ByteString编写它。将欣赏如何编写它的指针。是为从文件中读取而编写的:-- streams large file content, without buffering more than 10k in memory
let