diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-02 22:22:15 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-05 20:35:54 +0200 |
| commit | 0efd90e5f01996ceb01f5a2889f9e2986322c371 (patch) | |
| tree | 329aef1383154d7b2eeb2deca1f3522058284d83 /src/Erebos/Storage.hs | |
| parent | 9fe388f9172717cf0ebfd223e122506725a31542 (diff) | |
Diffstat (limited to 'src/Erebos/Storage.hs')
| -rw-r--r-- | src/Erebos/Storage.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Erebos/Storage.hs b/src/Erebos/Storage.hs index d9559bc..f6ee200 100644 --- a/src/Erebos/Storage.hs +++ b/src/Erebos/Storage.hs @@ -14,7 +14,7 @@ module Erebos.Storage ( HeadID, HeadTypeID, headId, headStorage, headRef, headObject, headStoredObject, loadHeads, loadHead, reloadHead, - storeHead, replaceHead, updateHead, updateHead_, + storeHead, replaceHead, updateHead, updateHead', updateHead_, WatchedHead, watchHead, watchHeadWith, unwatchHead, |