Documentation

Std.Time.Time.Unit.Basic

This module defines various units used for measuring, counting, and converting between hours, minutes, second, nanosecond, millisecond and nanoseconds.

The units are organized into types representing these time-related concepts, with operations provided to facilitate conversions and manipulations between them.

@[inline]

def Std.Time.Nanosecond.Offset.toMilliseconds (offset : Offset) :

Millisecond.Offset

Converts a Nanosecond.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.ofMilliseconds (offset : Millisecond.Offset) :

Converts a Millisecond.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.toSeconds (offset : Offset) :

Converts a Nanosecond.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.ofSeconds (offset : Second.Offset) :

Converts a Second.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.toMinutes (offset : Offset) :

Converts a Nanosecond.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.ofMinutes (offset : Minute.Offset) :

Converts a Minute.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.toHours (offset : Offset) :

Converts a Nanosecond.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Nanosecond.Offset.ofHours (offset : Hour.Offset) :

Converts an Hour.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.toNanoseconds (offset : Offset) :

Nanosecond.Offset

Converts a Millisecond.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.ofNanoseconds (offset : Nanosecond.Offset) :

Converts a Nanosecond.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.toSeconds (offset : Offset) :

Converts a Millisecond.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.ofSeconds (offset : Second.Offset) :

Converts a Second.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.toMinutes (offset : Offset) :

Converts a Millisecond.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.ofMinutes (offset : Minute.Offset) :

Converts a Minute.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.toHours (offset : Offset) :

Converts a Millisecond.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Millisecond.Offset.ofHours (offset : Hour.Offset) :

Converts an Hour.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.toNanoseconds (offset : Offset) :

Nanosecond.Offset

Converts a Second.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.ofNanoseconds (offset : Nanosecond.Offset) :

Converts a Nanosecond.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.toMilliseconds (offset : Offset) :

Millisecond.Offset

Converts a Second.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.ofMilliseconds (offset : Millisecond.Offset) :

Converts a Millisecond.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.toMinutes (offset : Offset) :

Converts a Second.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.ofMinutes (offset : Minute.Offset) :

Converts a Minute.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.toHours (offset : Offset) :

Converts a Second.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Second.Offset.ofHours (offset : Hour.Offset) :

Converts an Hour.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.toNanoseconds (offset : Offset) :

Nanosecond.Offset

Converts a Minute.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.ofNanoseconds (offset : Nanosecond.Offset) :

Converts a Nanosecond.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.toMilliseconds (offset : Offset) :

Millisecond.Offset

Converts a Minute.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.ofMilliseconds (offset : Millisecond.Offset) :

Converts a Millisecond.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.toSeconds (offset : Offset) :

Converts a Minute.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.ofSeconds (offset : Second.Offset) :

Converts a Second.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.toHours (offset : Offset) :

Converts a Minute.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Minute.Offset.ofHours (offset : Hour.Offset) :

Converts an Hour.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.toNanoseconds (offset : Offset) :

Nanosecond.Offset

Converts an Hour.Offset to a Nanosecond.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.ofNanoseconds (offset : Nanosecond.Offset) :

Converts a Nanosecond.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.toMilliseconds (offset : Offset) :

Millisecond.Offset

Converts an Hour.Offset to a Millisecond.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.ofMilliseconds (offset : Millisecond.Offset) :

Converts a Millisecond.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.toSeconds (offset : Offset) :

Converts an Hour.Offset to a Second.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.ofSeconds (offset : Second.Offset) :

Converts a Second.Offset to an Hour.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.toMinutes (offset : Offset) :

Converts an Hour.Offset to a Minute.Offset.

Instances For

@[inline]

def Std.Time.Hour.Offset.ofMinutes (offset : Minute.Offset) :

Converts a Minute.Offset to an Hour.Offset.

Instances For