diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-24 01:30:08 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-24 01:30:08 +0000 |
| commit | 0f5161930584eaf91fd195b891ce7d9130c7b7f1 (patch) | |
| tree | a505f4b7bfe8dc0b0efa06c42b75502aeb2f247a /lib/kernel/Prototype.ml | |
| parent | 0b1c7ca41a6d8ce41b9783153b567c16250913ff (diff) | |
| download | RNT-0f5161930584eaf91fd195b891ce7d9130c7b7f1.tar.gz RNT-0f5161930584eaf91fd195b891ce7d9130c7b7f1.zip | |
Forsake `fmap`
Diffstat (limited to 'lib/kernel/Prototype.ml')
| -rw-r--r-- | lib/kernel/Prototype.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/kernel/Prototype.ml b/lib/kernel/Prototype.ml index ea1083b..217b221 100644 --- a/lib/kernel/Prototype.ml +++ b/lib/kernel/Prototype.ml @@ -120,8 +120,9 @@ module Directory = struct method list = SI.with_read storage (Fun.flip Tree.keys node) method find k = + let open Utilities.Result in SI.with_read storage (fun tx -> Tree.lookup tx k node) - |> Utilities.Result.fmap (function + |>> (function | None -> Ok None | Some x -> constructor x |> Result.map Option.some ) end |