package trace

  1. Overview
  2. Docs
A stub for tracing/observability, agnostic in how data is collected

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (13)

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    Simon Cruanes

Sources

trace-0.10.tbz
sha256=c5a43827bbd5521e779c8856e44f4c718dccda902d00a242b598516110ada04d
sha512=f19cb25a767ed428cb1d4a497312267524bfaaf9550caa5fc1e84809494f0b7eaf26030d95563c75dea66606fcbec1be7e34baa4cba86fc57d64bc5d5b98efd5

doc/trace.core/Trace_core/Meta_map/index.html

Module Trace_core.Meta_mapSource

include module type of struct include Hmap end

Keys

Sourcetype 'a key = 'a Hmap.key

The type for keys whose lookup value is of type 'a.

Sourcemodule Key = Hmap.Key

Keys.

Maps

Sourcetype t = Hmap.t

The type for heterogeneous value maps.

Sourceval empty : t

empty is the empty map.

Sourceval is_empty : t -> bool

is_empty m is true iff m is empty.

Sourceval mem : 'a key -> t -> bool

mem k m is true iff k is bound in m.

Sourceval add : 'a key -> 'a -> t -> t

add k v m is m with k bound to v.

Sourceval singleton : 'a key -> 'a -> t

singleton k v is add k v empty.

Sourceval rem : 'a key -> t -> t

rem k m is m with k unbound.

Sourceval find : 'a key -> t -> 'a option

find k m is the value of k's binding in m, if any.

Sourceval get : 'a key -> t -> 'a

get k m is the value of k's binding in m.

Sourcetype binding = Hmap.binding =
  1. | B : 'a key * 'a -> binding

The type for bindings.

Sourceval iter : (binding -> unit) -> t -> unit

iter f m applies f to all bindings of m.

Sourceval fold : (binding -> 'a -> 'a) -> t -> 'a -> 'a

fold f m acc folds over the bindings of m with f, starting with acc

Sourceval for_all : (binding -> bool) -> t -> bool

for_all p m is true iff all bindings of m satisfy p.

Sourceval exists : (binding -> bool) -> t -> bool

exists p m is true iff there exists a bindings of m that satisfies p.

Sourceval filter : (binding -> bool) -> t -> t

filter p m are the bindings of m that satisfy p.

Sourceval cardinal : t -> int

cardinal m is the number of bindings in m.

Sourceval any_binding : t -> binding option

any_binding m is a binding of m (if not empty).

Sourceval get_any_binding : t -> binding

get_any_binding m is a binding of m.

Functorial interface

The functorial interface allows to associate more information to the keys. For example a key name or a key value pretty-printer.

Sourcemodule type KEY_INFO = Hmap.KEY_INFO

The type for key information.

Sourcemodule type S = Hmap.S

Output signature of the functor Make

Sourcemodule Make = Hmap.Make

Functor for heterogeneous maps whose keys hold information of type Key_info.t

Sourceval find_exn : 'a key -> t -> 'a