diff --git a/trace-fuchsia/Trace_fuchsia_write/Argument/index.html b/trace-fuchsia/Trace_fuchsia_write/Argument/index.html new file mode 100644 index 0000000..480eeaf --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Argument/index.html @@ -0,0 +1,19 @@ + +Argument (trace-fuchsia.Trace_fuchsia_write.Argument)

Module Trace_fuchsia_write.Argument

type 'a t = string * [< user_data | `Kid of int ] as 'a
val check_valid : 'a -> unit
val is_i32_ : int -> bool
val size_word : + [< `Bool of bool & 'a + | `Float of float & 'b + | `Int of int + | `Kid of int & 'c + | `None + | `String of string ] + t -> + int
val encode : + Buf.t -> + [< `Bool of bool & 'a + | `Float of float & 'b + | `Int of int + | `Kid of int & 'c + | `None + | `String of string ] + t -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Arguments/index.html b/trace-fuchsia/Trace_fuchsia_write/Arguments/index.html new file mode 100644 index 0000000..50fa497 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Arguments/index.html @@ -0,0 +1,35 @@ + +Arguments (trace-fuchsia.Trace_fuchsia_write.Arguments)

Module Trace_fuchsia_write.Arguments

type 'a t = 'a Argument.t list
val len : + [< `Bool of bool + | `Float of float + | `Int of int + | `Kid of int + | `None + | `String of string ] + t -> + int
val check_valid : + [< `Bool of bool + | `Float of float + | `Int of int + | `Kid of int + | `None + | `String of string ] + t -> + unit
val size_word : + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + t -> + int
val encode : + Buf.t -> + [< `Bool of bool & 'a & 'b & 'c + | `Float of float & 'd & 'e & 'f + | `Int of int + | `Kid of int & 'g & 'h & 'i + | `None + | `String of string ] + t -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Buf/index.html b/trace-fuchsia/Trace_fuchsia_write/Buf/index.html new file mode 100644 index 0000000..4e45874 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Buf/index.html @@ -0,0 +1,2 @@ + +Buf (trace-fuchsia.Trace_fuchsia_write.Buf)

Module Trace_fuchsia_write.Buf

type t = {
  1. buf : bytes;
  2. mutable offset : int;
}
val empty : t
val create : int -> t
val clear : t -> unit
val available : t -> int
val size : t -> int
val add_i64 : t -> int64 -> unit
val add_string : t -> string -> unit
val to_string : t -> string
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Buf_pool/List_with_len/index.html b/trace-fuchsia/Trace_fuchsia_write/Buf_pool/List_with_len/index.html new file mode 100644 index 0000000..c6a8c2c --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Buf_pool/List_with_len/index.html @@ -0,0 +1,2 @@ + +List_with_len (trace-fuchsia.Trace_fuchsia_write.Buf_pool.List_with_len)

Module Buf_pool.List_with_len

type +'a t =
  1. | Nil
  2. | Cons of int * 'a * 'a t
val empty : 'a t
val len : 'a t -> int
val cons : 'a -> 'b t -> 'b t
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Buf_pool/index.html b/trace-fuchsia/Trace_fuchsia_write/Buf_pool/index.html new file mode 100644 index 0000000..30a639b --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Buf_pool/index.html @@ -0,0 +1,2 @@ + +Buf_pool (trace-fuchsia.Trace_fuchsia_write.Buf_pool)

Module Trace_fuchsia_write.Buf_pool

module List_with_len : sig ... end
type t = {
  1. max_len : int;
  2. buf_size : int;
  3. bufs : Buf.t List_with_len.t {A}1.t;
}
val create : ?max_len:int -> ?buf_size:int -> unit -> t
val alloc : t -> Buf.t
val recycle : t -> Buf.t -> unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Async_begin/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Async_begin/index.html new file mode 100644 index 0000000..59e235f --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Async_begin/index.html @@ -0,0 +1,29 @@ + +Async_begin (trace-fuchsia.Trace_fuchsia_write.Event.Async_begin)

Module Event.Async_begin

type=5

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + async_id:int -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Async_end/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Async_end/index.html new file mode 100644 index 0000000..90ef4d8 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Async_end/index.html @@ -0,0 +1,29 @@ + +Async_end (trace-fuchsia.Trace_fuchsia_write.Event.Async_end)

Module Event.Async_end

type=7

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + async_id:int -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Counter/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Counter/index.html new file mode 100644 index 0000000..8ef25ce --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Counter/index.html @@ -0,0 +1,28 @@ + +Counter (trace-fuchsia.Trace_fuchsia_write.Event.Counter)

Module Event.Counter

type=1

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Duration_begin/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Duration_begin/index.html new file mode 100644 index 0000000..a7a18f5 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Duration_begin/index.html @@ -0,0 +1,28 @@ + +Duration_begin (trace-fuchsia.Trace_fuchsia_write.Event.Duration_begin)

Module Event.Duration_begin

type=2

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Duration_complete/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Duration_complete/index.html new file mode 100644 index 0000000..c0e4101 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Duration_complete/index.html @@ -0,0 +1,29 @@ + +Duration_complete (trace-fuchsia.Trace_fuchsia_write.Event.Duration_complete)

Module Event.Duration_complete

type=4

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + end_time_ns:int64 -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Duration_end/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Duration_end/index.html new file mode 100644 index 0000000..34dbd6f --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Duration_end/index.html @@ -0,0 +1,28 @@ + +Duration_end (trace-fuchsia.Trace_fuchsia_write.Event.Duration_end)

Module Event.Duration_end

type=3

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/Instant/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/Instant/index.html new file mode 100644 index 0000000..9a897ed --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/Instant/index.html @@ -0,0 +1,28 @@ + +Instant (trace-fuchsia.Trace_fuchsia_write.Event.Instant)

Module Event.Instant

type=0

val size_word : + name:string -> + t_ref:Thread_ref.t -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
val encode : + Output.t -> + name:string -> + t_ref:Thread_ref.t -> + time_ns:int64 -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Event/index.html b/trace-fuchsia/Trace_fuchsia_write/Event/index.html new file mode 100644 index 0000000..fa86666 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Event/index.html @@ -0,0 +1,2 @@ + +Event (trace-fuchsia.Trace_fuchsia_write.Event)

Module Trace_fuchsia_write.Event

record type = 4

module Instant : sig ... end

type=0

module Counter : sig ... end

type=1

module Duration_begin : sig ... end

type=2

module Duration_end : sig ... end

type=3

module Duration_complete : sig ... end

type=4

module Async_begin : sig ... end

type=5

module Async_end : sig ... end

type=7

\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/I64/index.html b/trace-fuchsia/Trace_fuchsia_write/I64/index.html new file mode 100644 index 0000000..8b1ae21 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/I64/index.html @@ -0,0 +1,2 @@ + +I64 (trace-fuchsia.Trace_fuchsia_write.I64)

Module Trace_fuchsia_write.I64

include module type of struct include Stdlib.Int64 end
val zero : int64
val one : int64
val minus_one : int64
val neg : int64 -> int64
val add : int64 -> int64 -> int64
val sub : int64 -> int64 -> int64
val mul : int64 -> int64 -> int64
val div : int64 -> int64 -> int64
val unsigned_div : int64 -> int64 -> int64
val rem : int64 -> int64 -> int64
val unsigned_rem : int64 -> int64 -> int64
val succ : int64 -> int64
val pred : int64 -> int64
val abs : int64 -> int64
val max_int : int64
val min_int : int64
val logand : int64 -> int64 -> int64
val logor : int64 -> int64 -> int64
val logxor : int64 -> int64 -> int64
val lognot : int64 -> int64
val shift_left : int64 -> int -> int64
val shift_right : int64 -> int -> int64
val shift_right_logical : int64 -> int -> int64
val of_int : int -> int64
val to_int : int64 -> int
val unsigned_to_int : int64 -> int option
val of_float : float -> int64
val to_float : int64 -> float
val of_int32 : int32 -> int64
val to_int32 : int64 -> int32
val of_nativeint : nativeint -> int64
val to_nativeint : int64 -> nativeint
val of_string : string -> int64
val of_string_opt : string -> int64 option
val to_string : int64 -> string
val bits_of_float : float -> int64
val float_of_bits : int64 -> float
type t = int64
val compare : t -> t -> int
val unsigned_compare : t -> t -> int
val equal : t -> t -> bool
val min : t -> t -> t
val max : t -> t -> t
val (+) : int64 -> int64 -> int64
val (-) : int64 -> int64 -> int64
val (=) : t -> t -> bool
val (land) : int64 -> int64 -> int64
val (lor) : int64 -> int64 -> int64
val lnot : int64 -> int64
val (lsl) : int64 -> int -> int64
val (lsr) : int64 -> int -> int64
val (asr) : int64 -> int -> int64
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Kernel_object/index.html b/trace-fuchsia/Trace_fuchsia_write/Kernel_object/index.html new file mode 100644 index 0000000..66caca8 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Kernel_object/index.html @@ -0,0 +1,27 @@ + +Kernel_object (trace-fuchsia.Trace_fuchsia_write.Kernel_object)

Module Trace_fuchsia_write.Kernel_object

record type = 7

val size_word : + name:string -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd + | `Float of float & 'e & 'f & 'g & 'h + | `Int of int + | `Kid of int & 'i & 'j & 'k & 'l + | `None + | `String of string ] + Arguments.t -> + unit -> + int
type ty = int
val ty_process : ty
val ty_thread : ty
val encode : + Output.t -> + name:string -> + ty:ty -> + kid:int -> + args: + [< `Bool of bool & 'a & 'b & 'c & 'd & 'e & 'f & 'g + | `Float of float & 'h & 'i & 'j & 'k & 'l & 'm & 'n + | `Int of int + | `Kid of int & 'o & 'p & 'q & 'r & 's & 't & 'u + | `None + | `String of string ] + Arguments.t -> + unit -> + unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Metadata/Initialization_record/index.html b/trace-fuchsia/Trace_fuchsia_write/Metadata/Initialization_record/index.html new file mode 100644 index 0000000..78ba8ee --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Metadata/Initialization_record/index.html @@ -0,0 +1,2 @@ + +Initialization_record (trace-fuchsia.Trace_fuchsia_write.Metadata.Initialization_record)

Module Metadata.Initialization_record

val size_word : int
val default_ticks_per_sec : int64

Default: 1 tick = 1 ns

val encode : Output.t -> ticks_per_secs:int64 -> unit -> unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Metadata/Magic_record/index.html b/trace-fuchsia/Trace_fuchsia_write/Metadata/Magic_record/index.html new file mode 100644 index 0000000..c10d9c0 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Metadata/Magic_record/index.html @@ -0,0 +1,2 @@ + +Magic_record (trace-fuchsia.Trace_fuchsia_write.Metadata.Magic_record)

Module Metadata.Magic_record

First record in the trace

val value : int64
val size_word : int
val encode : Output.t -> unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Metadata/Provider_info/index.html b/trace-fuchsia/Trace_fuchsia_write/Metadata/Provider_info/index.html new file mode 100644 index 0000000..22ad0f6 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Metadata/Provider_info/index.html @@ -0,0 +1,2 @@ + +Provider_info (trace-fuchsia.Trace_fuchsia_write.Metadata.Provider_info)

Module Metadata.Provider_info

val size_word : name:string -> unit -> int
val encode : Output.t -> id:int -> name:string -> unit -> unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Metadata/Provider_section/index.html b/trace-fuchsia/Trace_fuchsia_write/Metadata/Provider_section/index.html new file mode 100644 index 0000000..080ba66 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Metadata/Provider_section/index.html @@ -0,0 +1,2 @@ + +Provider_section (trace-fuchsia.Trace_fuchsia_write.Metadata.Provider_section)

Module Metadata.Provider_section

\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Metadata/Trace_info/index.html b/trace-fuchsia/Trace_fuchsia_write/Metadata/Trace_info/index.html new file mode 100644 index 0000000..583244c --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Metadata/Trace_info/index.html @@ -0,0 +1,2 @@ + +Trace_info (trace-fuchsia.Trace_fuchsia_write.Metadata.Trace_info)

Module Metadata.Trace_info

\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Metadata/index.html b/trace-fuchsia/Trace_fuchsia_write/Metadata/index.html new file mode 100644 index 0000000..63704cd --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Metadata/index.html @@ -0,0 +1,2 @@ + +Metadata (trace-fuchsia.Trace_fuchsia_write.Metadata)

Module Trace_fuchsia_write.Metadata

record type = 0

module Magic_record : sig ... end

First record in the trace

module Initialization_record : sig ... end
module Provider_info : sig ... end
module Provider_section : sig ... end
module Trace_info : sig ... end
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Output/index.html b/trace-fuchsia/Trace_fuchsia_write/Output/index.html new file mode 100644 index 0000000..41b51bc --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Output/index.html @@ -0,0 +1,2 @@ + +Output (trace-fuchsia.Trace_fuchsia_write.Output)

Module Trace_fuchsia_write.Output

type t = {
  1. mutable buf : Buf.t;
  2. mutable send_buf : Buf.t -> unit;
  3. buf_pool : Buf_pool.t;
}
val create : buf_pool:Buf_pool.t -> send_buf:(Buf.t -> unit) -> unit -> t
val flush : t -> unit
val get_buf : t -> available_word:int -> Buf.t

Obtain a buffer with at least available bytes

val into_buffer : buf_pool:Buf_pool.t -> Stdlib.Buffer.t -> t
val dispose : t -> unit
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Str_ref/index.html b/trace-fuchsia/Trace_fuchsia_write/Str_ref/index.html new file mode 100644 index 0000000..e560878 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Str_ref/index.html @@ -0,0 +1,2 @@ + +Str_ref (trace-fuchsia.Trace_fuchsia_write.Str_ref)

Module Trace_fuchsia_write.Str_ref

type t = int

16 bits

val inline : int -> t
\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Thread_record/index.html b/trace-fuchsia/Trace_fuchsia_write/Thread_record/index.html new file mode 100644 index 0000000..7cb9636 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Thread_record/index.html @@ -0,0 +1,2 @@ + +Thread_record (trace-fuchsia.Trace_fuchsia_write.Thread_record)

Module Trace_fuchsia_write.Thread_record

record type = 3

val size_word : int
val encode : Output.t -> as_ref:int -> pid:int -> tid:int -> unit -> unit

Record that Thread_ref.ref as_ref represents the pair pid, tid

\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Thread_ref/index.html b/trace-fuchsia/Trace_fuchsia_write/Thread_ref/index.html new file mode 100644 index 0000000..b8e7360 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Thread_ref/index.html @@ -0,0 +1,2 @@ + +Thread_ref (trace-fuchsia.Trace_fuchsia_write.Thread_ref)

Module Trace_fuchsia_write.Thread_ref

type t =
  1. | Ref of int
  2. | Inline of {
    1. pid : int;
    2. tid : int;
    }
val inline : pid:int -> tid:int -> t
val ref : int -> t
val size_word : t -> int
val as_i8 : t -> int

8-bit int for the reference

\ No newline at end of file diff --git a/trace-fuchsia/Trace_fuchsia_write/Util/index.html b/trace-fuchsia/Trace_fuchsia_write/Util/index.html new file mode 100644 index 0000000..5b842e7 --- /dev/null +++ b/trace-fuchsia/Trace_fuchsia_write/Util/index.html @@ -0,0 +1,2 @@ + +Util (trace-fuchsia.Trace_fuchsia_write.Util)

Module Trace_fuchsia_write.Util

val missing_to_round : int -> int

How many bytes are missing for n to be a multiple of 8

val round_to_word : int -> int

Round up to a multiple of 8

\ No newline at end of file diff --git a/trace/Trace/index.html b/trace/Trace/index.html index 37e0e16..b14c613 100644 --- a/trace/Trace/index.html +++ b/trace/Trace/index.html @@ -6,31 +6,13 @@ ?data:(unit -> (string * user_data) list) -> string -> (span -> 'a) -> - 'a

with_span ~__FILE__ ~__LINE__ name f enters a new span sp, and calls f sp. sp might be a dummy span if no collector is installed. When f sp returns or raises, the span sp is exited.

This is the recommended way to instrument most code.

NOTE an important restriction is that this is only supposed to work for synchronous, direct style code. Monadic concurrency, Effect-based fibers, etc. might not play well with this style of spans on some or all backends. If you use cooperative concurrency, see enter_manual_span.

val enter_span : + 'a

with_span ~__FILE__ ~__LINE__ name f enters a new span sp, and calls f sp. sp might be a dummy span if no collector is installed. When f sp returns or raises, the span sp is exited.

This is the recommended way to instrument most code.

NOTE an important restriction is that this is only supposed to work for synchronous, direct style code. Monadic concurrency, Effect-based fibers, etc. might not play well with this style of spans on some or all backends.

val enter_span : ?__FUNCTION__:string -> __FILE__:string -> __LINE__:int -> ?data:(unit -> (string * user_data) list) -> string -> - span
val exit_span : span -> unit
val add_data_to_span : span -> (string * user_data) list -> unit

Add structured data to the given active span (see with_span). Behavior is not specified if the span has been exited.

val enter_manual_sub_span : - parent:explicit_span -> - ?flavor:[ `Sync | `Async ] -> - ?__FUNCTION__:string -> - __FILE__:string -> - __LINE__:int -> - ?data:(unit -> (string * user_data) list) -> - string -> - explicit_span

Like with_span but the caller is responsible for obtaining the parent span from their own caller, and carry the resulting explicit_span to the matching exit_manual_span.

val enter_manual_toplevel_span : - ?flavor:[ `Sync | `Async ] -> - ?__FUNCTION__:string -> - __FILE__:string -> - __LINE__:int -> - ?data:(unit -> (string * user_data) list) -> - string -> - explicit_span

Like with_span but the caller is responsible for carrying this explicit_span around until it's exited with exit_manual_span. The span can be used as a parent in enter_manual_sub_span.

val exit_manual_span : explicit_span -> unit

Exit an explicit span. This can be on another thread, in a fiber or lightweight thread, etc. and will be supported by backends nonetheless. The span can be obtained via enter_manual_sub_span or enter_manual_toplevel_span.

val add_data_to_manual_span : - explicit_span -> - (string * user_data) list -> - unit

add_data_explicit esp data adds data to the span esp. The behavior is not specified is the span has been exited already.

val message : + span
val exit_span : span -> unit
val add_data_to_span : span -> (string * user_data) list -> unit

Add structured data to the given active span (see with_span). Behavior is not specified if the span has been exited.

val message : ?span:span -> ?data:(unit -> (string * user_data) list) -> string -> diff --git a/trace/Trace_core/Collector/index.html b/trace/Trace_core/Collector/index.html new file mode 100644 index 0000000..015d582 --- /dev/null +++ b/trace/Trace_core/Collector/index.html @@ -0,0 +1,2 @@ + +Collector (trace.Trace_core.Collector)

Module Trace_core.Collector

A global collector.

The collector, if present, is responsible for collecting messages and spans, and storing them, recording them, forward them, or offering them to other services and processes.

val dummy_span : int64
val dummy_explicit_span : Trace_core__.Types.explicit_span
module type S = sig ... end

Signature for a collector.

\ No newline at end of file diff --git a/trace/Trace_core/Collector/module-type-S/index.html b/trace/Trace_core/Collector/module-type-S/index.html new file mode 100644 index 0000000..ec6b838 --- /dev/null +++ b/trace/Trace_core/Collector/module-type-S/index.html @@ -0,0 +1,71 @@ + +S (trace.Trace_core.Collector.S)

Module type Collector.S

Signature for a collector.

This is only relevant to implementors of tracing backends; to instrument your code you only need to look at the Trace module.

val with_span : + __FUNCTION__:string option -> + __FILE__:string -> + __LINE__:int -> + data: + (string + * [ `Int of int + | `String of string + | `Bool of bool + | `Float of float + | `None ]) + list -> + string -> + (int64 -> 'a) -> + 'a

Run the function in a new span.

This replaces the previous enter_span and exit_span which were too flexible to be efficient to implement in async contexts.

  • since 0.3
val enter_span : + __FUNCTION__:string option -> + __FILE__:string -> + __LINE__:int -> + data: + (string + * [ `Int of int + | `String of string + | `Bool of bool + | `Float of float + | `None ]) + list -> + string -> + int64

Enter a new implicit span. For many uses cases, with_span will be easier to use.

  • since 0.6
val exit_span : int64 -> unit

Exit span. This should be called on the same thread as the corresponding enter_span, and nest properly with other calls to enter/exit_span and with_span.

  • since 0.6
val add_data_to_span : + int64 -> + (string + * [ `Int of int + | `String of string + | `Bool of bool + | `Float of float + | `None ]) + list -> + unit
  • since Adds data to the current span.

0.4

val message : + ?span:int64 -> + data: + (string + * [ `Int of int + | `String of string + | `Bool of bool + | `Float of float + | `None ]) + list -> + string -> + unit

Emit a message with associated metadata.

val name_thread : string -> unit

Give a name to the current thread.

val name_process : string -> unit

Give a name to the current process.

val counter_int : + data: + (string + * [ `Int of int + | `String of string + | `Bool of bool + | `Float of float + | `None ]) + list -> + string -> + int -> + unit

Integer counter.

val counter_float : + data: + (string + * [ `Int of int + | `String of string + | `Bool of bool + | `Float of float + | `None ]) + list -> + string -> + float -> + unit

Float counter.

val shutdown : unit -> unit

Shutdown collector, possibly waiting for it to finish sending data.

\ No newline at end of file diff --git a/trace/Trace_core/Meta_map/Key/index.html b/trace/Trace_core/Meta_map/Key/index.html new file mode 100644 index 0000000..727dd7f --- /dev/null +++ b/trace/Trace_core/Meta_map/Key/index.html @@ -0,0 +1,2 @@ + +Key (trace.Trace_core.Meta_map.Key)

Module Meta_map.Key

Keys with a type witness.

type 'a t

A key of type 'a t is used to access the portion of the map or table that associates keys of type 'a to values.

val create : unit -> 'a t

Make a new key. This is generative, so calling create () twice with the same return type will produce incompatible keys that cannot see each other's bindings.

val equal : 'a t -> 'a t -> bool

Compare two keys that have compatible types.

\ No newline at end of file diff --git a/trace/Trace_core/Meta_map/index.html b/trace/Trace_core/Meta_map/index.html new file mode 100644 index 0000000..27abef0 --- /dev/null +++ b/trace/Trace_core/Meta_map/index.html @@ -0,0 +1,2 @@ + +Meta_map (trace.Trace_core.Meta_map)

Module Trace_core.Meta_map

Associative containers with Heterogeneous Values

module Key : sig ... end

Keys with a type witness.

type pair =
  1. | Pair : 'a Key.t * 'a -> pair
type t

Immutable map from Key.t to values

val empty : t
val mem : _ Key.t -> t -> bool
val add : 'a Key.t -> 'a -> t -> t
val remove : _ Key.t -> t -> t
val length : t -> int
val cardinal : t -> int
val find : 'a Key.t -> t -> 'a option
val find_exn : 'a Key.t -> t -> 'a
  • raises Not_found

    if the key is not in the table.

val iter : (pair -> unit) -> t -> unit
val add_list : t -> pair list -> t
val of_list : pair list -> t
val to_list : t -> pair list
\ No newline at end of file diff --git a/trace/Trace_core/index.html b/trace/Trace_core/index.html index 5b1473a..584f858 100644 --- a/trace/Trace_core/index.html +++ b/trace/Trace_core/index.html @@ -6,31 +6,13 @@ ?data:(unit -> (string * user_data) list) -> string -> (span -> 'a) -> - 'a

with_span ~__FILE__ ~__LINE__ name f enters a new span sp, and calls f sp. sp might be a dummy span if no collector is installed. When f sp returns or raises, the span sp is exited.

This is the recommended way to instrument most code.

NOTE an important restriction is that this is only supposed to work for synchronous, direct style code. Monadic concurrency, Effect-based fibers, etc. might not play well with this style of spans on some or all backends. If you use cooperative concurrency, see enter_manual_span.

val enter_span : + 'a

with_span ~__FILE__ ~__LINE__ name f enters a new span sp, and calls f sp. sp might be a dummy span if no collector is installed. When f sp returns or raises, the span sp is exited.

This is the recommended way to instrument most code.

NOTE an important restriction is that this is only supposed to work for synchronous, direct style code. Monadic concurrency, Effect-based fibers, etc. might not play well with this style of spans on some or all backends.

val enter_span : ?__FUNCTION__:string -> __FILE__:string -> __LINE__:int -> ?data:(unit -> (string * user_data) list) -> string -> - span
val exit_span : span -> unit
val add_data_to_span : span -> (string * user_data) list -> unit

Add structured data to the given active span (see with_span). Behavior is not specified if the span has been exited.

val enter_manual_sub_span : - parent:explicit_span -> - ?flavor:[ `Sync | `Async ] -> - ?__FUNCTION__:string -> - __FILE__:string -> - __LINE__:int -> - ?data:(unit -> (string * user_data) list) -> - string -> - explicit_span

Like with_span but the caller is responsible for obtaining the parent span from their own caller, and carry the resulting explicit_span to the matching exit_manual_span.

val enter_manual_toplevel_span : - ?flavor:[ `Sync | `Async ] -> - ?__FUNCTION__:string -> - __FILE__:string -> - __LINE__:int -> - ?data:(unit -> (string * user_data) list) -> - string -> - explicit_span

Like with_span but the caller is responsible for carrying this explicit_span around until it's exited with exit_manual_span. The span can be used as a parent in enter_manual_sub_span.

val exit_manual_span : explicit_span -> unit

Exit an explicit span. This can be on another thread, in a fiber or lightweight thread, etc. and will be supported by backends nonetheless. The span can be obtained via enter_manual_sub_span or enter_manual_toplevel_span.

val add_data_to_manual_span : - explicit_span -> - (string * user_data) list -> - unit

add_data_explicit esp data adds data to the span esp. The behavior is not specified is the span has been exited already.

val message : + span
val exit_span : span -> unit
val add_data_to_span : span -> (string * user_data) list -> unit

Add structured data to the given active span (see with_span). Behavior is not specified if the span has been exited.

val message : ?span:span -> ?data:(unit -> (string * user_data) list) -> string -> diff --git a/trace/Trace_private_util/B_queue/index.html b/trace/Trace_private_util/B_queue/index.html new file mode 100644 index 0000000..193dbc8 --- /dev/null +++ b/trace/Trace_private_util/B_queue/index.html @@ -0,0 +1,2 @@ + +B_queue (trace.Trace_private_util.B_queue)

Module Trace_private_util.B_queue

Basic Blocking Queue

type 'a t
val create : unit -> _ t
exception Closed
val push : 'a t -> 'a -> unit

push q x pushes x into q, and returns ().

  • raises Closed

    if close q was previously called.

val pop_all : 'a t -> 'a list

pop_all bq returns all items presently in bq, in the same order, and clears bq. It blocks if no element is in bq.

val close : _ t -> unit

Close the queue, meaning there won't be any more push allowed.

\ No newline at end of file diff --git a/trace/Trace_private_util/Domain_util/index.html b/trace/Trace_private_util/Domain_util/index.html new file mode 100644 index 0000000..2448442 --- /dev/null +++ b/trace/Trace_private_util/Domain_util/index.html @@ -0,0 +1,2 @@ + +Domain_util (trace.Trace_private_util.Domain_util)

Module Trace_private_util.Domain_util

val cpu_relax : unit -> unit
val n_domains : unit -> int
\ No newline at end of file diff --git a/trace/Trace_private_util/Mpsc_bag/index.html b/trace/Trace_private_util/Mpsc_bag/index.html new file mode 100644 index 0000000..0d8f1c5 --- /dev/null +++ b/trace/Trace_private_util/Mpsc_bag/index.html @@ -0,0 +1,2 @@ + +Mpsc_bag (trace.Trace_private_util.Mpsc_bag)

Module Trace_private_util.Mpsc_bag

A multi-producer, single-consumer bag

type 'a t
val create : unit -> 'a t
val add : 'a t -> 'a -> unit

add q x adds x in the bag.

val pop_all : 'a t -> 'a list option

Return all current items in the insertion order.

\ No newline at end of file