diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-13 00:22:02 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:06:54 +0000 |
| commit | a727eb4351df972ff2e34fa111aeb435e70cdbd4 (patch) | |
| tree | 897531a4f085aef5a96fb4b91bc631e8c5a6cc0d /lib/kernel/Storage.mli | |
| parent | 634625d832873b75b3d9c049db2e95fda31135ae (diff) | |
| download | RNT-a727eb4351df972ff2e34fa111aeb435e70cdbd4.tar.gz RNT-a727eb4351df972ff2e34fa111aeb435e70cdbd4.zip | |
Move storage helpers to a dedicated module
Diffstat (limited to 'lib/kernel/Storage.mli')
| -rw-r--r-- | lib/kernel/Storage.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/kernel/Storage.mli b/lib/kernel/Storage.mli new file mode 100644 index 0000000..3ef1ffc --- /dev/null +++ b/lib/kernel/Storage.mli @@ -0,0 +1,5 @@ +module Make : functor (S : Abstract.Storage.STORAGE) -> sig + val finish : S.transaction -> ('a, Concepts.Condition.condition) result -> ('a, Concepts.Condition.condition) result + val with_transaction : S.connection -> (S.transaction -> ('a, Concepts.Condition.condition) result) -> ('a, Concepts.Condition.condition) result + val store_blob : S.transaction -> Concepts.Representation.blob -> (Concepts.Hash.hash, Concepts.Condition.condition) result +end |