考虑我们有一系列幺半群元素,Data.Sequence
非常适合在某些位置插入、更改元素。
我关心以下查询,sum i j sequence
它返回从位置到mconcat
的所有元素的。这可以通过使用在 O(log n) 时间内同时包含索引和结果的度量来完成。i
j
FingerTree
mconcat
在某些 Haskell 库中是否已经实现了此功能?还是我必须Data.Sequence
再次使用这种能力来实现Data.FingerTree
?(Sequence
暴露的内部结构太少,无法有效地做到这一点。)