haskell - 为 Trie 创建一个 NFData 实例

Question

我目前正在使用 vcache-trie 进行一个项目模块。我正在寻找使用 lookupPrefix 函数测试 trie 内部研究的执行速度。

这是使用 Criterion 为此目的创建的基准:

bench "trieSearch"  $ nf (lookupPrefix (pack "ab")) trie

其中 trie 是在标准环境中创建的。这个 trie 的类型是 Trie Int。

由于环境被评估为正常形式，我需要创建一个 NFData 的实例对于这个特定类型。

这个特定案例的 trie 的内容是 [(ByteString, Int)]，我假设 NFData 的实例应该评估每个元组，但我不确定如何继续。

任何帮助将不胜感激，感谢您花时间阅读我的问题。

Answer 1

以下应该可以解决问题，但可能比编写具有内部表示访问权限的 NFData 效率稍低(如@JonPurdy 所建议):

instance NFData a => NFData (Trie a) where rnf = rnf . toList