std/time/timer▲toc

High resolution timer.

.

fun elapsed( action : () -> <ndetstd/core/types/ndet: X|e> a ) : <ndetstd/core/types/ndet: X|e> (durationstd/time/duration/duration: V, a)

Return the number of fractional seconds that it takes to evaluate action.

fun ticks(): ndetstd/core/types/ndet: X durationstd/time/duration/duration: V

Return a high-resolution time stamp in fractional SI seconds. The duration is guaranteed to be monotonically increasing and have at least millisecond resolution.

fun ticks-resolution(): ndetstd/core/types/ndet: X durationstd/time/duration/duration: V

Return the smallest time difference in seconds that ticksstd/time/timer/ticks: () -> ndet duration can measure.

private import std/core/typesstd/core/types, std/core/hndstd/core/hnd, std/core/exnstd/core/exn, std/core/boolstd/core/bool, std/core/orderstd/core/order, std/core/charstd/core/char, std/core/intstd/core/int, std/core/vectorstd/core/vector, std/core/stringstd/core/string, std/core/sslicestd/core/sslice, std/core/liststd/core/list, std/core/maybestd/core/maybe, std/core/eitherstd/core/either, std/core/tuplestd/core/tuple, std/core/showstd/core/show, std/core/debugstd/core/debug, std/core/delayedstd/core/delayed, std/core/consolestd/core/console, std/corestd/core, std/num/float64std/num/float64, std/num/ddoublestd/num/ddouble, std/time/durationstd/time/duration, std/time/instantstd/time/instant