Closed clement-leprovost closed 7 years ago
The history is local to the device: in memory, optionally persisted on disk.
The History protocol is generic, though. So is the HistoryRecorder that plugs a Searcher to a history.
History
HistoryRecorder
Searcher
Argh, this PR should be against the v2 branch. => Closing it and re-opening a new one.
v2
The history is local to the device: in memory, optionally persisted on disk.
The
History
protocol is generic, though. So is theHistoryRecorder
that plugs aSearcher
to a history.