sig
val __pa_ounit_275876e34cf609db118f3d84b799a790 : string
type 'execution_context t_ =
'execution_context Raw_monitor.t_ = {
name : Core.Std.Info.t;
here : Core.Std.Source_code_position.t option;
id : int;
parent : 'execution_context t_ option;
errors : (exn, 'execution_context) Raw_tail.t;
mutable has_seen_error : bool;
mutable someone_is_listening : bool;
mutable kill_index : Kill_index.t;
}
val kill_index : 'a t_ -> Kill_index.t
val set_kill_index : 'a t_ -> Kill_index.t -> unit
val someone_is_listening : 'a t_ -> bool
val set_someone_is_listening : 'a t_ -> bool -> unit
val has_seen_error : 'a t_ -> bool
val set_has_seen_error : 'a t_ -> bool -> unit
val errors : 'a t_ -> (exn, 'a) Raw_tail.t
val parent : 'a t_ -> 'a t_ option
val id : 'a t_ -> int
val here : 'a t_ -> Core.Std.Source_code_position.t option
val name : 'a t_ -> Core.Std.Info.t
module Fields_of_t_ :
sig
val names : string list
val kill_index :
([< `Read | `Set_and_create ], 'a t_, Kill_index.t)
Fieldslib.Field.t_with_perm
val someone_is_listening :
([< `Read | `Set_and_create ], 'a t_, bool)
Fieldslib.Field.t_with_perm
val has_seen_error :
([< `Read | `Set_and_create ], 'a t_, bool)
Fieldslib.Field.t_with_perm
val errors :
([< `Read | `Set_and_create ], 'execution_context t_,
(exn, 'execution_context) Raw_tail.t)
Fieldslib.Field.t_with_perm
val parent :
([< `Read | `Set_and_create ], 'execution_context t_,
'execution_context t_ option)
Fieldslib.Field.t_with_perm
val id :
([< `Read | `Set_and_create ], 'a t_, int)
Fieldslib.Field.t_with_perm
val here :
([< `Read | `Set_and_create ], 'a t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm
val name :
([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm
val make_creator :
name:(([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm ->
'b -> ('c -> Core.Std.Info.t) * 'd) ->
here:(([< `Read | `Set_and_create ], 'e t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
'd -> ('c -> Core.Std.Source_code_position.t option) * 'f) ->
id:(([< `Read | `Set_and_create ], 'g t_, int)
Fieldslib.Field.t_with_perm -> 'f -> ('c -> int) * 'h) ->
parent:(([< `Read | `Set_and_create ], 'i t_, 'i t_ option)
Fieldslib.Field.t_with_perm ->
'h -> ('c -> 'j t_ option) * 'k) ->
errors:(([< `Read | `Set_and_create ], 'l t_, (exn, 'l) Raw_tail.t)
Fieldslib.Field.t_with_perm ->
'k -> ('c -> (exn, 'j) Raw_tail.t) * 'm) ->
has_seen_error:(([< `Read | `Set_and_create ], 'n t_, bool)
Fieldslib.Field.t_with_perm ->
'm -> ('c -> bool) * 'o) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'p t_, bool)
Fieldslib.Field.t_with_perm ->
'o -> ('c -> bool) * 'q) ->
kill_index:(([< `Read | `Set_and_create ], 'r t_, Kill_index.t)
Fieldslib.Field.t_with_perm ->
'q -> ('c -> Kill_index.t) * 's) ->
'b -> ('c -> 'j t_) * 's
val create :
name:Core.Std.Info.t ->
here:Core.Std.Source_code_position.t option ->
id:int ->
parent:'a t_ option ->
errors:(exn, 'a) Raw_tail.t ->
has_seen_error:bool ->
someone_is_listening:bool -> kill_index:Kill_index.t -> 'a t_
val map :
name:(([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> Core.Std.Info.t) ->
here:(([< `Read | `Set_and_create ], 'b 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 ], 'c t_, int)
Fieldslib.Field.t_with_perm -> int) ->
parent:(([< `Read | `Set_and_create ], 'd t_, 'd t_ option)
Fieldslib.Field.t_with_perm -> 'e t_ option) ->
errors:(([< `Read | `Set_and_create ], 'f t_, (exn, 'f) Raw_tail.t)
Fieldslib.Field.t_with_perm -> (exn, 'e) Raw_tail.t) ->
has_seen_error:(([< `Read | `Set_and_create ], 'g t_, bool)
Fieldslib.Field.t_with_perm -> bool) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'h t_, bool)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], 'i t_, Kill_index.t)
Fieldslib.Field.t_with_perm -> Kill_index.t) ->
'e t_
val iter :
name:(([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'b) ->
here:(([< `Read | `Set_and_create ], 'c t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> 'd) ->
id:(([< `Read | `Set_and_create ], 'e t_, int)
Fieldslib.Field.t_with_perm -> 'f) ->
parent:(([< `Read | `Set_and_create ], 'g t_, 'g t_ option)
Fieldslib.Field.t_with_perm -> 'h) ->
errors:(([< `Read | `Set_and_create ], 'i t_, (exn, 'i) Raw_tail.t)
Fieldslib.Field.t_with_perm -> 'j) ->
has_seen_error:(([< `Read | `Set_and_create ], 'k t_, bool)
Fieldslib.Field.t_with_perm -> 'l) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'm t_, bool)
Fieldslib.Field.t_with_perm -> 'n) ->
kill_index:(([< `Read | `Set_and_create ], 'o t_, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'p) ->
'p
val fold :
init:'a ->
name:('a ->
([< `Read | `Set_and_create ], 'b t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'c) ->
here:('c ->
([< `Read | `Set_and_create ], 'd t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> 'e) ->
id:('e ->
([< `Read | `Set_and_create ], 'f t_, int)
Fieldslib.Field.t_with_perm -> 'g) ->
parent:('g ->
([< `Read | `Set_and_create ], 'h t_, 'h t_ option)
Fieldslib.Field.t_with_perm -> 'i) ->
errors:('i ->
([< `Read | `Set_and_create ], 'j t_, (exn, 'j) Raw_tail.t)
Fieldslib.Field.t_with_perm -> 'k) ->
has_seen_error:('k ->
([< `Read | `Set_and_create ], 'l t_, bool)
Fieldslib.Field.t_with_perm -> 'm) ->
someone_is_listening:('m ->
([< `Read | `Set_and_create ], 'n t_, bool)
Fieldslib.Field.t_with_perm -> 'o) ->
kill_index:('o ->
([< `Read | `Set_and_create ], 'p t_, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'q) ->
'q
val map_poly :
([< `Read | `Set_and_create ], 'a t_, 'b) Fieldslib.Field.user ->
'b list
val for_all :
name:(([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> bool) ->
here:(([< `Read | `Set_and_create ], 'b t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> bool) ->
id:(([< `Read | `Set_and_create ], 'c t_, int)
Fieldslib.Field.t_with_perm -> bool) ->
parent:(([< `Read | `Set_and_create ], 'd t_, 'd t_ option)
Fieldslib.Field.t_with_perm -> bool) ->
errors:(([< `Read | `Set_and_create ], 'e t_, (exn, 'e) Raw_tail.t)
Fieldslib.Field.t_with_perm -> bool) ->
has_seen_error:(([< `Read | `Set_and_create ], 'f t_, bool)
Fieldslib.Field.t_with_perm -> bool) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'g t_, bool)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], 'h t_, Kill_index.t)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val exists :
name:(([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> bool) ->
here:(([< `Read | `Set_and_create ], 'b t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> bool) ->
id:(([< `Read | `Set_and_create ], 'c t_, int)
Fieldslib.Field.t_with_perm -> bool) ->
parent:(([< `Read | `Set_and_create ], 'd t_, 'd t_ option)
Fieldslib.Field.t_with_perm -> bool) ->
errors:(([< `Read | `Set_and_create ], 'e t_, (exn, 'e) Raw_tail.t)
Fieldslib.Field.t_with_perm -> bool) ->
has_seen_error:(([< `Read | `Set_and_create ], 'f t_, bool)
Fieldslib.Field.t_with_perm -> bool) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'g t_, bool)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], 'h t_, Kill_index.t)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val to_list :
name:(([< `Read | `Set_and_create ], 'a t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm -> 'b) ->
here:(([< `Read | `Set_and_create ], 'c t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm -> 'b) ->
id:(([< `Read | `Set_and_create ], 'd t_, int)
Fieldslib.Field.t_with_perm -> 'b) ->
parent:(([< `Read | `Set_and_create ], 'e t_, 'e t_ option)
Fieldslib.Field.t_with_perm -> 'b) ->
errors:(([< `Read | `Set_and_create ], 'f t_, (exn, 'f) Raw_tail.t)
Fieldslib.Field.t_with_perm -> 'b) ->
has_seen_error:(([< `Read | `Set_and_create ], 'g t_, bool)
Fieldslib.Field.t_with_perm -> 'b) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'h t_, bool)
Fieldslib.Field.t_with_perm -> 'b) ->
kill_index:(([< `Read | `Set_and_create ], 'i t_, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'b) ->
'b list
module Direct :
sig
val iter :
'a t_ ->
name:(([< `Read | `Set_and_create ], 'b t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm ->
'a t_ -> Core.Std.Info.t -> 'c) ->
here:(([< `Read | `Set_and_create ], 'd t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
'a t_ -> Core.Std.Source_code_position.t option -> 'e) ->
id:(([< `Read | `Set_and_create ], 'f t_, int)
Fieldslib.Field.t_with_perm -> 'a t_ -> int -> 'g) ->
parent:(([< `Read | `Set_and_create ], 'h t_, 'h t_ option)
Fieldslib.Field.t_with_perm ->
'a t_ -> 'a t_ option -> 'i) ->
errors:(([< `Read | `Set_and_create ], 'j t_,
(exn, 'j) Raw_tail.t)
Fieldslib.Field.t_with_perm ->
'a t_ -> (exn, 'a) Raw_tail.t -> 'k) ->
has_seen_error:(([< `Read | `Set_and_create ], 'l t_, bool)
Fieldslib.Field.t_with_perm ->
'a t_ -> bool -> 'm) ->
someone_is_listening:(([< `Read | `Set_and_create ], 'n t_, bool)
Fieldslib.Field.t_with_perm ->
'a t_ -> bool -> 'o) ->
kill_index:(([< `Read | `Set_and_create ], 'p t_, Kill_index.t)
Fieldslib.Field.t_with_perm ->
'a t_ -> Kill_index.t -> 'q) ->
'q
val fold :
'a t_ ->
init:'b ->
name:('b ->
([< `Read | `Set_and_create ], 'c t_, Core.Std.Info.t)
Fieldslib.Field.t_with_perm ->
'a t_ -> Core.Std.Info.t -> 'd) ->
here:('d ->
([< `Read | `Set_and_create ], 'e t_,
Core.Std.Source_code_position.t option)
Fieldslib.Field.t_with_perm ->
'a t_ -> Core.Std.Source_code_position.t option -> 'f) ->
id:('f ->
([< `Read | `Set_and_create ], 'g t_, int)
Fieldslib.Field.t_with_perm -> 'a t_ -> int -> 'h) ->
parent:('h ->
([< `Read | `Set_and_create ], 'i t_, 'i t_ option)
Fieldslib.Field.t_with_perm ->
'a t_ -> 'a t_ option -> 'j) ->
errors:('j ->
([< `Read | `Set_and_create ], 'k t_,
(exn, 'k) Raw_tail.t)
Fieldslib.Field.t_with_perm ->
'a t_ -> (exn, 'a) Raw_tail.t -> 'l) ->
has_seen_error:('l ->
([< `Read | `Set_and_create ], 'm t_, bool)
Fieldslib.Field.t_with_perm ->
'a t_ -> bool -> 'n) ->
someone_is_listening:('n ->
([< `Read | `Set_and_create ], 'o t_, bool)
Fieldslib.Field.t_with_perm ->
'a t_ -> bool -> 'p) ->
kill_index:('p ->
([< `Read | `Set_and_create ], 'q t_, Kill_index.t)
Fieldslib.Field.t_with_perm ->
'a t_ -> Kill_index.t -> 'r) ->
'r
end
end
module Pretty :
sig
type one =
Raw_monitor.Pretty.one = {
name : Core.Std.Info.t;
here : Core.Std.Source_code_position.t option;
id : int;
has_seen_error : bool;
someone_is_listening : bool;
kill_index : Kill_index.t;
}
val sexp_of_one : one -> Sexplib.Sexp.t
type t = one list
val sexp_of_t : one list -> Sexplib.Sexp.t
end
val to_pretty : 'a t_ -> Pretty.one Core.Std.List.t
val sexp_of_t_ : 'a -> 'b t_ -> Sexplib.Sexp.t
exception Shutdown
val update_kill_index : 'a t_ -> global_kill_index:Kill_index.t -> unit
end