Attributes
Members list
Type members
Inherited and Abstract types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
Creates an interval that includes all values greater than the given bound. i.e [lower_bound,+∞)
Creates an interval that includes all values greater than the given bound. i.e [lower_bound,+∞)
Attributes
Creates an interval that includes all values less than the given bound. i.e (-∞,upper_bound]
Creates an interval that includes all values less than the given bound. i.e (-∞,upper_bound]
Attributes
Creates an interval that includes all values between the given bounds. i.e [lower_bound, upper_bound]
Creates an interval that includes all values between the given bounds. i.e [lower_bound, upper_bound]
Attributes
Create a finite inclusive interval bound
Create a finite inclusive interval bound
Attributes
Concrete fields
Inclusive -∞ interval bound
Inclusive -∞ interval bound
Attributes
An empty interval that contains no values, ∄ posixTime ∣ never.contains(posixTime)
An empty interval that contains no values, ∄ posixTime ∣ never.contains(posixTime)
Attributes
Inclusive +∞ interval bound
Inclusive +∞ interval bound
Attributes
Givens
Givens
Extensions
Extensions
Checks if an interval is entirely after a given time. Returns true if all values in the interval are greater than the given time.
Checks if an interval is entirely after a given time. Returns true if all values in the interval are greater than the given time.
Attributes
Checks if an interval is entirely before a given time. Returns true if all values in the interval are less than the given time.
Checks if an interval is entirely before a given time. Returns true if all values in the interval are less than the given time.
Attributes
Checks if an interval is entirely between two given times. Returns true if all values in the interval are between the given times.
Checks if an interval is entirely between two given times. Returns true if all values in the interval are between the given times.