Data structures 字节数组（字节字符串）数据结构，具有持久的纯接口
我正在寻找一种数据结构，它存储字节，允许固定时间的纯索引，并提供一个用于更新的纯持久接口。基本上，我在寻找Idris的Haskell（严格的） 提供仅可从Data structures 字节数组（字节字符串）数据结构，具有持久的纯接口,data-structures,idris,bytestring,Data Structures,Idris,Bytestring,我正在寻找一种数据结构，它存储字节，允许固定时间的纯索引，并提供一个用于更新的纯持久接口。基本上，我在寻找Idris的Haskell（严格的） 提供仅可从IO访问的可变字节数组；它建立在乍一看似乎有希望的基础之上；然而，它似乎没有索引操作，更新似乎只能通过拆分和重新连接来实现
IO