Mavryk_shell.Chain_validator_eventsinclude module type of struct include Mavryk_base.TzPervasives.Internal_event.Simple endThis module provides wrappers to declare events without having to declare a module and apply the Make functor. They are pretty-printed as <DOC> (<PARAMETER> = <VALUE>, ...) (unless there is no parameter at all, in which case they are printed as <DOC>). You may also use braces to inline some parameters in <DOC>. In the example below, hash is inlined.
For consistency, it is suggested that log messages do not start with a capital letter and do not end with a period. For instance, write ~msg: "started something important" instead of ~msg: "Started something important.". The reason is that messages that do not inline all of their parameters are followed by the remaining parameters in parentheses, and a period does not (arguably) look great in those cases. If it does not end with a period, it is not a sentence and thus capitalizing the first word does not make much sense either.
Declare events with one of the declare functions, for instance:
let inject =
Internal_event.Simple.declare_2
~name: "inject"
~msg: "injected block {hash}"
("level", int)
("hash", string)
You must declare events only once for a given name. Usually you should thus declare them as global variables.
There is one declare_n function for each number n of parameters. For instance, the above example uses declare_2 because it has two parameters: level and hash.
Each parameter has a default pretty-printer that you can override using the ?ppX parameters. For instance, to override the default pretty-printer of the second parameter, pass a ~pp2 argument. This allows to, for instance, print only the first element of a list, remove quotes for strings, decide how many decimal digits are printed for floats, etc.
The default pretty-printer behaves as follows:
[...];N/A;Null and another encoding e (this is the encoding of options), it prints null for Null and uses e to decide how to print the value otherwise;<list> or <obj> (see remark below).Because constructed values such as lists and objects are printed as placeholders such as <list> and <obj> and thus do not give any information, those parameters are not automatically added in parentheses at the end of the messages. You can override the default pretty-printer of those parameters to override this behavior. In that case, values will be printed if your pretty-printer does not output an empty string. Note that you should also override the default pretty-printer of constructed types that you inline using braces, as they would be printed using the placeholder otherwise.
Then emit this event with some parameters like this: Internal_event.Simple.emit inject (42, "BL654654654645654654564") This event will be printed as: injected block BL654654654645654654564 (level = 42)
For all declare functions, the default value for level is Info.
type 'a t = 'a Mavryk_event_logging.Internal_event.Simple.tEvent declarations where 'a is the type of the event parameters.
val emit : 'a t -> 'a -> unit Lwt.tEmit an instance of an event.
val emit__dont_wait__use_with_care : 'a t -> 'a -> unitEmit an instance of an event but do not wait for completion. Only use if you really need to not wait for logging resolution before continuing. May cause increased memory usage and out-of-order log messages.
val declare_0 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
unit ->
unit tDeclare an event with no parameters.
val declare_1 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
'a tDeclare an event with one parameter.
val declare_2 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
('a * 'b) tDeclare an event with two parameters.
val declare_3 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
?pp3:(Stdlib.Format.formatter -> 'c -> unit) ->
(string * 'c Data_encoding.t) ->
('a * 'b * 'c) tDeclare an event with three parameters.
val declare_4 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
?pp3:(Stdlib.Format.formatter -> 'c -> unit) ->
(string * 'c Data_encoding.t) ->
?pp4:(Stdlib.Format.formatter -> 'd -> unit) ->
(string * 'd Data_encoding.t) ->
('a * 'b * 'c * 'd) tDeclare an event with four parameters.
val declare_5 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
?pp3:(Stdlib.Format.formatter -> 'c -> unit) ->
(string * 'c Data_encoding.t) ->
?pp4:(Stdlib.Format.formatter -> 'd -> unit) ->
(string * 'd Data_encoding.t) ->
?pp5:(Stdlib.Format.formatter -> 'e -> unit) ->
(string * 'e Data_encoding.t) ->
('a * 'b * 'c * 'd * 'e) tDeclare an event with five parameters.
val declare_6 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
?pp3:(Stdlib.Format.formatter -> 'c -> unit) ->
(string * 'c Data_encoding.t) ->
?pp4:(Stdlib.Format.formatter -> 'd -> unit) ->
(string * 'd Data_encoding.t) ->
?pp5:(Stdlib.Format.formatter -> 'e -> unit) ->
(string * 'e Data_encoding.t) ->
?pp6:(Stdlib.Format.formatter -> 'f -> unit) ->
(string * 'f Data_encoding.t) ->
('a * 'b * 'c * 'd * 'e * 'f) tDeclare an event with six parameters.
val declare_7 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
?pp3:(Stdlib.Format.formatter -> 'c -> unit) ->
(string * 'c Data_encoding.t) ->
?pp4:(Stdlib.Format.formatter -> 'd -> unit) ->
(string * 'd Data_encoding.t) ->
?pp5:(Stdlib.Format.formatter -> 'e -> unit) ->
(string * 'e Data_encoding.t) ->
?pp6:(Stdlib.Format.formatter -> 'f -> unit) ->
(string * 'f Data_encoding.t) ->
?pp7:(Stdlib.Format.formatter -> 'g -> unit) ->
(string * 'g Data_encoding.t) ->
('a * 'b * 'c * 'd * 'e * 'f * 'g) tDeclare an event with seven parameters.
val declare_8 :
?section:string list ->
name:string ->
msg:string ->
?level:Mavryk_event_logging.Internal_event.level ->
?pp1:(Stdlib.Format.formatter -> 'a -> unit) ->
(string * 'a Data_encoding.t) ->
?pp2:(Stdlib.Format.formatter -> 'b -> unit) ->
(string * 'b Data_encoding.t) ->
?pp3:(Stdlib.Format.formatter -> 'c -> unit) ->
(string * 'c Data_encoding.t) ->
?pp4:(Stdlib.Format.formatter -> 'd -> unit) ->
(string * 'd Data_encoding.t) ->
?pp5:(Stdlib.Format.formatter -> 'e -> unit) ->
(string * 'e Data_encoding.t) ->
?pp6:(Stdlib.Format.formatter -> 'f -> unit) ->
(string * 'f Data_encoding.t) ->
?pp7:(Stdlib.Format.formatter -> 'g -> unit) ->
(string * 'g Data_encoding.t) ->
?pp8:(Stdlib.Format.formatter -> 'h -> unit) ->
(string * 'h Data_encoding.t) ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) tDeclare an event with eight parameters.
module Request = Mavryk_shell_services.Chain_validator_worker_state.Requestval updated_to_checkpoint :
(Mavryk_base.TzPervasives.Block_hash.t
* Mavryk_shell_services.History_mode.Legacy.t)
tval prevalidator_filter_not_found : Mavryk_base.TzPervasives.Protocol_hash.t tval prevalidator_reinstantiation_failure : Mavryk_base.TzPervasives.tztrace tval prevalidator_instantiation_failure : Mavryk_base.TzPervasives.tztrace tval loading_protocol : Mavryk_base.TzPervasives.Protocol_hash.t tval bootstrapped : unit tval synchronisation_status :
Mavryk_shell_services.Chain_validator_worker_state.synchronisation_status tval could_not_switch_testchain : Mavryk_base.TzPervasives.tztrace tval request_failure :
(Request.view
* Mavryk_base.Worker_types.request_status
* Mavryk_base.TzPervasives.tztrace)
tval notify_head :
(Mavryk_base.P2p_peer.Id.t * Mavryk_base.TzPervasives.Block_hash.t) tval notify_branch :
(Mavryk_base.P2p_peer.Id.t * Mavryk_base.TzPervasives.Block_hash.t) tval connection : Mavryk_base.P2p_peer.Id.t tval disconnection : Mavryk_base.P2p_peer.Id.t tval ignore_head : (Request.view * int32) tval branch_switch : (Request.view * int32) tval head_increment : (Request.view * int32) tval bootstrap_head_increment : (int32 * Mavryk_base.Time.System.Span.t) tval block_info : (Mavryk_base.Time.Protocol.t * Mavryk_base.Fitness.t) tval bootstrap_active_peers : (int * int) tval bootstrap_active_peers_heads_time : (int * int) t