PerformanceAPI
Types
performance
Provides access to performance-related information for the current page. It's part of the High Resolution Time API, but is enhanced by the Performance Timeline API, the Navigation Timing API, the User Timing API, and the Resource Timing API. See Performance on MDN
type performance = { timeOrigin: float, eventCounts: eventCounts,}Record fields
Module
There are methods and helpers defined in Performance .
performanceEntry
Encapsulates a single performance metric that is part of the performance timeline. A performance entry can be directly created by making a performance mark or measure (for example by calling the mark() method) at an explicit point in an application. Performance entries are also created in indirect ways such as loading a resource (such as an image). See PerformanceEntry on MDN
type performanceEntry = { name: string, entryType: string, startTime: float, duration: float,}Record fields
Module
There are methods and helpers defined in PerformanceEntry .
performanceEntryList
type performanceEntryList = WebAPI.Prelude.anyperformanceMark
PerformanceMark is an abstract interface for PerformanceEntry objects with an entryType of "mark". Entries of this type are created by calling performance.mark() to add a named DOMHighResTimeStamp (the mark) to the browser's performance timeline. See PerformanceMark on MDN
type performanceMark = { name: string, entryType: string, startTime: float, duration: float, detail: JSON.t,}Record fields
Module
There are methods and helpers defined in PerformanceMark .
performanceMarkOptions
type performanceMarkOptions = { mutable detail?: JSON.t, mutable startTime?: float,}Record fields
detail
startTime
performanceMeasure
PerformanceMeasure is an abstract interface for PerformanceEntry objects with an entryType of "measure". Entries of this type are created by calling performance.measure() to add a named DOMHighResTimeStamp (the measure) between two marks to the browser's performance timeline. See PerformanceMeasure on MDN
type performanceMeasure = { name: string, entryType: string, startTime: float, duration: float, detail: JSON.t,}Record fields
performanceMeasureOptions
type performanceMeasureOptions = { mutable detail?: JSON.t, mutable start?: unknown, mutable duration?: float, mutable end?: unknown,}