Erstellen Sie eine NFData-Instanz für Trie

Question

Ich arbeite derzeit an einem Projekt mit dem Modul vcache-trie. Ich versuche, die Ausführungsgeschwindigkeit einer Forschung innerhalb des Trie mit der lookupPrefix Funktion zu testen.

Dies ist ein Benchmark mit Kriterium für diesen Zweck erstellt:

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

wo trie in einer Umgebung für Kriterium erstellt wird. Der Typ dieses Trie ist Trie Int.

Da die Umgebung in Normalform ausgewertet wird, muss ich eine Instanz von NFData für diesen speziellen Typ erstellen.

Der Inhalt des Trie für diesen speziellen Fall ist [(ByteString, Int)], ich nehme an, die Instanz von NFData sollte jedes Tupel auswerten, aber ich bin nicht sicher, wie es weitergeht.

Jede Hilfe wäre sehr dankbar, danke, dass Sie sich die Zeit genommen haben, mein Problem zu lesen.

Answer 1

Das folgende sollte es tun, können aber etwas weniger effizient sein als ein NFData mit Zugriff auf die interne Darstellung zu schreiben (wie von @JonPurdy vorgeschlagen):

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

Answer 2

Im Idealfall sollten Sie sich an den Betreuer von vcache-trie mit einer Feature-Anforderung oder einem Patch wenden, um die Instanz hinzuzufügen, da Sie zum Schreiben auf die interne Repräsentation von Trie zugreifen müssen.

Als Abhilfe können Sie eine lokal modifizierte Version des Pakets machen (zum Beispiel eine lokale Kasse extra-deps in Stack-Zugabe) und entweder fügen Sie eine NFData Instanz selbst, oder fügen Sie deriving (Generic)-Trie und verwenden deepseq-genericsNFData zu implementieren.