首页 > 解决方案 > 具有持久化、纯接口的字节数组(字节串)数据结构

问题描述

我正在寻找一种数据结构,它可以存储字节,允许恒定时间的纯索引,并提供一个纯的、持久的更新接口。基本上,我正在寻找 Idris 的 Haskell (strict) bytestrings等价物。

Data.ByteArray提供一个IO只能从其访问的可变字节数组;它建立Data.Bytes在乍看起来很有希望的基础之上;但是,它似乎没有索引操作,并且更新似乎只能通过拆分和重新连接来实现。

标签: data-structuresidrisbytestring

解决方案


推荐阅读