diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-04-24 21:20:25 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-04-24 21:20:25 +0200 |
| commit | a511d2d1ef5fa07dde601961fe9394b474aad5ae (patch) | |
| tree | 9dd7321cba6303583d044cae95ea622e96b55d45 /include/erebos/state.h | |
| parent | 9aaba1211c95dc7e08437a7cca73452181e296d6 (diff) | |
Behavior lens for shared refs from local state
Diffstat (limited to 'include/erebos/state.h')
| -rw-r--r-- | include/erebos/state.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/erebos/state.h b/include/erebos/state.h index b1567b0..7060f22 100644 --- a/include/erebos/state.h +++ b/include/erebos/state.h @@ -32,6 +32,8 @@ public: vector<Ref> sharedRefs() const; LocalState sharedRefAdd(const Ref &) const; + template<typename T> static T lens(const LocalState &); + private: vector<Ref> lookupShared(UUID) const; LocalState updateShared(UUID, const vector<Ref> &) const; |