sig
val names : string list
val kill_index :
([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm
val someone_is_listening :
([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm
val has_seen_error :
([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm
val error_handlers :
([< `Read | `Set_and_create ], Raw_monitor.t, (exn -> unit) list)
Fieldslib.Field.t_with_perm
val parent :
([< `Read | `Set_and_create ], Raw_monitor.t, Raw_monitor.t option)
Fieldslib.Field.t_with_perm
val id :
([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm
val here :
([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm
val name :
([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm
val make_creator :
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'a -> ('b -> Core.Std.Info.t) * 'c) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
'c -> ('b -> Core.Std.Source_code_position.t option) * 'd) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> 'd -> ('b -> int) * 'e) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm ->
'e -> ('b -> Raw_monitor.t option) * 'f) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm ->
'f -> ('b -> (exn -> unit) list) * 'g) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'g -> ('b -> bool) * 'h) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm ->
'h -> ('b -> bool) * 'i) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm ->
'i -> ('b -> Kill_index.t) * 'j) ->
'a -> ('b -> Raw_monitor.t) * 'j
val create :
name:Core.Std.Info.t ->
here:Core.Std.Source_code_position.t option ->
id:int ->
parent:Raw_monitor.t option ->
error_handlers:(exn -> unit) list ->
has_seen_error:bool ->
someone_is_listening:bool -> kill_index:Kill_index.t -> Raw_monitor.t
val map :
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> Core.Std.Info.t) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
Core.Std.Source_code_position.t option) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> int) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm -> Raw_monitor.t option) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm -> (exn -> unit) list) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> bool) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> Kill_index.t) ->
Raw_monitor.t
val iter :
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'a) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> 'b) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> 'c) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm -> 'd) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm -> 'e) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'f) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'g) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'h) ->
'h
val fold :
init:'a ->
name:('a ->
([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'b) ->
here:('b ->
([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> 'c) ->
id:('c ->
([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> 'd) ->
parent:('d ->
([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm -> 'e) ->
error_handlers:('e ->
([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm -> 'f) ->
has_seen_error:('f ->
([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'g) ->
someone_is_listening:('g ->
([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'h) ->
kill_index:('h ->
([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'i) ->
'i
val map_poly :
([< `Read | `Set_and_create ], Raw_monitor.t, 'a) Fieldslib.Field.user ->
'a list
val for_all :
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> bool) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> bool) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> bool) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm -> bool) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm -> bool) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> bool) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val exists :
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> bool) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> bool) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> bool) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm -> bool) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm -> bool) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> bool) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val to_list :
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'a) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> 'a) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> 'a) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm -> 'a) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm -> 'a) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'a) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm -> 'a) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'a) ->
'a list
module Direct :
sig
val iter :
Raw_monitor.t ->
name:(([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Core.Std.Info.t -> 'a) ->
here:(([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Core.Std.Source_code_position.t option -> 'b) ->
id:(([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> Raw_monitor.t -> int -> 'c) ->
parent:(([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Raw_monitor.t option -> 'd) ->
error_handlers:(([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> (exn -> unit) list -> 'e) ->
has_seen_error:(([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> bool -> 'f) ->
someone_is_listening:(([< `Read | `Set_and_create ], Raw_monitor.t,
bool)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> bool -> 'g) ->
kill_index:(([< `Read | `Set_and_create ], Raw_monitor.t,
Kill_index.t)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Kill_index.t -> 'h) ->
'h
val fold :
Raw_monitor.t ->
init:'a ->
name:('a ->
([< `Read | `Set_and_create ], Raw_monitor.t, Core.Std.Info.t)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Core.Std.Info.t -> 'b) ->
here:('b ->
([< `Read | `Set_and_create ], Raw_monitor.t,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Core.Std.Source_code_position.t option -> 'c) ->
id:('c ->
([< `Read | `Set_and_create ], Raw_monitor.t, int)
Fieldslib.Field.t_with_perm -> Raw_monitor.t -> int -> 'd) ->
parent:('d ->
([< `Read | `Set_and_create ], Raw_monitor.t,
Raw_monitor.t option)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Raw_monitor.t option -> 'e) ->
error_handlers:('e ->
([< `Read | `Set_and_create ], Raw_monitor.t,
(exn -> unit) list)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> (exn -> unit) list -> 'f) ->
has_seen_error:('f ->
([< `Read | `Set_and_create ], Raw_monitor.t, bool)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> bool -> 'g) ->
someone_is_listening:('g ->
([< `Read | `Set_and_create ], Raw_monitor.t,
bool)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> bool -> 'h) ->
kill_index:('h ->
([< `Read | `Set_and_create ], Raw_monitor.t,
Kill_index.t)
Fieldslib.Field.t_with_perm ->
Raw_monitor.t -> Kill_index.t -> 'i) ->
'i
end
end