From 2b87065ad4a241a6a7d1b5c3e714bcb2c4e6a500 Mon Sep 17 00:00:00 2001 From: ArthurW Date: Thu, 10 Oct 2024 14:52:50 +0200 Subject: [PATCH] Rename Irmin.Node.S.effect type to read_effect --- src/irmin/node_intf.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/irmin/node_intf.ml b/src/irmin/node_intf.ml index 9d9fda43a1..2fae339997 100644 --- a/src/irmin/node_intf.ml +++ b/src/irmin/node_intf.ml @@ -124,10 +124,10 @@ module type Core = sig purpose (so [Tree.hash] and [Tree.equal] are not in the Lwt monad as well). *) - type effect := expected_depth:int -> node_key -> t option + type read_effect := expected_depth:int -> node_key -> t option (** The type for read effects. *) - val with_handler : (effect -> effect) -> t -> t + val with_handler : (read_effect -> read_effect) -> t -> t (** [with_handler f] replace the current effect handler [h] by [f h]. [f h] will be called for all the recursive read effects that are required by recursive operations on nodes. .*)