Action.Meta
Action and action invocation metadata.
Convenience for more informative tracing.
module Key : sig ... end
Metadata keys.
type name = string
The type for action names.
type binding =
| Binding : 'a Key.t * 'a -> binding
The type for metadata bindings.
type t
The type for metadata.
val make : ?bindings:binding list -> name:name -> unit -> t
make ~name ~meta () is metadata for an action named name with additional metadata meta.
make ~name ~meta ()
name
val none : t
none is metadata for when there is none.
none
val name : t -> name
name meta is the name of the primitive operation.
name meta
val bindings : t -> binding list
bindings meta is meta's list of bindings.
bindings meta
meta
val is_none : t -> bool
is_none m is true if and only if m is none.
is_none m
true
m
val pp : Stdlib.Format.formatter -> t -> unit
pp formats metadata.
pp