package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

A

Ahrefs <github@ahrefs.com>

Maintainers

I

igor@ahrefs.com

Sources

devkit-1.20210517.tbz

md5=00995ebead339d6ec1ba7859c3fc3a58

sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb

sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133

doc/devkit.core/Devkit_core/Action/class-timer_start/index.html

Class `Action.timer_start`Source

Basic timer. Also allows recording a sequence of interesting times from the given start point. Can serialize recorded events to json (useful for Logstash events)

method record : string -> Devkit_core.Time.t -> unit

method mark : string -> unit

method show : string

method json : (string * Yojson.Safe.t) list

method get : Devkit_core.Time.t

method get_str : string

method get_state : Devkit_core.Time.t * (string * Devkit_core.Time.t) list

method reset : unit

Resets both the internal start value, in addition to the list of recorded events