diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 17:03:40 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 17:03:40 +0000 |
| commit | 9efb32195a905de2d66ce29164cc22970833c2d7 (patch) | |
| tree | 2d69b4d5c4dc13b81e239418d8c4ee34731c59c4 /lib/kernel/Storage.ml | |
| parent | 997f3c6c039fd73de26df9f2d2cc1afa9f2677b4 (diff) | |
| download | RNT-9efb32195a905de2d66ce29164cc22970833c2d7.tar.gz RNT-9efb32195a905de2d66ce29164cc22970833c2d7.zip | |
Typed storage pointers
Diffstat (limited to 'lib/kernel/Storage.ml')
| -rw-r--r-- | lib/kernel/Storage.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/kernel/Storage.ml b/lib/kernel/Storage.ml index 376d839..e6a84ba 100644 --- a/lib/kernel/Storage.ml +++ b/lib/kernel/Storage.ml @@ -1,4 +1,16 @@ module Make (S : Abstract.Storage.STORAGE) = struct + module Pointer = struct + type 'a t = { + addr : S.address; + loader : S.transaction -> S.address -> ('a, Concepts.Condition.condition) result + } + + let make addr loader = { addr; loader } + let address_of { addr; _ } = addr + let swap { loader; _ } addr = make addr loader + let deref tx { addr; loader } = loader tx addr + end + let finish tx = function | Ok value -> let open Utilities.Result in |