»
duration
time.duration
Fields
Functions
create a string representation of this duration. The string
representation is not accurate, it consists of at least two
and at most 4 decimal digits followed by a time unit string.
representation is not accurate, it consists of at least two
and at most 4 decimal digits followed by a time unit string.
Get the dynamic type of this instance. For value instances `x`, this is
equal to `type_of x`, but for `x` with a `ref` type `x.dynamic_type` gives
the actual runtime type, while `type_of x` results in the static
compile-time type.
There is no dynamic type of a type instance since this would result in an
endless hierarchy of types. So for Type values, dynamic_type is redefined
to just return Type.type.
equal to `type_of x`, but for `x` with a `ref` type `x.dynamic_type` gives
the actual runtime type, while `type_of x` results in the static
compile-time type.
There is no dynamic type of a type instance since this would result in an
endless hierarchy of types. So for Type values, dynamic_type is redefined
to just return Type.type.
this duration in whole hours, omitting fractional part
this duration multiplied by n
this duration and another one combined
this duration in micro seconds, omitting fractional part
this duration in milli seconds, omitting fractional part
this duration in whole minutes, omitting fractional part
convenience prefix operator to create a string from a value.
This permits usage of `$` as a prefix operator in a similar way both
inside and outside of constant strings: $x and "$x" will produce the
same string.
This permits usage of `$` as a prefix operator in a similar way both
inside and outside of constant strings: $x and "$x" will produce the
same string.
this duration in whole seconds, omitting fractional part
this duration in whole weeks, omitting fractional part
this duration in whole Julian years, omitting fractional part
Type Functions
create duration of n years
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
string representation of this type to be used for debugging.
result has the form "Type of '<name>'", but this might change in the future
result has the form "Type of '<name>'", but this might change in the future
create duration of n days
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
There is no dynamic type of a type instance since this would result in an
endless hierarchy of types, so dynamic_type is redefined to just return
Type.type here.
endless hierarchy of types, so dynamic_type is redefined to just return
Type.type here.
equality implements the default equality relation for values of this type.
This relation must be
- reflexive (equality a a),
- symmetric (equality a b = equality b a), and
- transitive ((equality a b && equality b c) : equality a c).
result is true iff 'a' is considered to represent the same abstract value
as 'b'.
This relation must be
- reflexive (equality a a),
- symmetric (equality a b = equality b a), and
- transitive ((equality a b && equality b c) : equality a c).
result is true iff 'a' is considered to represent the same abstract value
as 'b'.
create duration of n hours
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
create duration of n hours
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
Is this type assignable to a type parameter with constraint `T`?
The result of this is a compile-time constant that can be used to specialize
code for a particular type.
is_of_integer_type(n T : numeric) => T : integer
say (is_of_integer_type 1234) # true
say (is_of_integer_type 3.14) # false
it is most useful in conjunction preconditions or `if` statements as in
pair(a,b T) is
same
pre T : property.equatable
=>
a = b
or
val(n T) is
The result of this is a compile-time constant that can be used to specialize
code for a particular type.
is_of_integer_type(n T : numeric) => T : integer
say (is_of_integer_type 1234) # true
say (is_of_integer_type 3.14) # false
it is most useful in conjunction preconditions or `if` statements as in
pair(a,b T) is
same
pre T : property.equatable
=>
a = b
or
val(n T) is
(a time.duration, b time.duration) => bool[Redefinition of property.partially_orderable.type.lteq][Contains abstract features]¶
(a time.duration, b time.duration)
=>
bool[Redefinition of property.partially_orderable.type.lteq]
[Contains abstract features]
¶total order
max value for a duration given in days
max value for a duration given in hours
max value for a duration given in micros
max value for a duration given in millis
max value for a duration given in minutes
max value for a duration given in nanos
max value for a duration given in seconds
max value for a duration given in weeks
max value for a duration given in years
create duration of n min
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
create duration of n min
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
create duration of n ms
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
name of this type, including type parameters, e.g. 'option (list i32)'.
create duration of n ns
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
convenience prefix operator to create a string from a value.
This permits usage of `$` as a prefix operator in a similar way both
inside and outside of constant strings: $x and "$x" will produce the
same string.
NYI: Redefinition allows the type feature to be distinguished from its normal counterpart, see #3913
This permits usage of `$` as a prefix operator in a similar way both
inside and outside of constant strings: $x and "$x" will produce the
same string.
NYI: Redefinition allows the type feature to be distinguished from its normal counterpart, see #3913
create duration of n seconds
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
create duration of n seconds
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
Get a type as a value.
This is a feature with the effect equivalent to Fuzion's `expr.type` call tail.
It is recommended to use `expr.type` and not `expr.type_value`.
`type_value` is here to show how this can be implemented and to illustrate the
difference to `dynamic_type`.
This is a feature with the effect equivalent to Fuzion's `expr.type` call tail.
It is recommended to use `expr.type` and not `expr.type_value`.
`type_value` is here to show how this can be implemented and to illustrate the
difference to `dynamic_type`.
create duration of n weeks
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
create duration of n years
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
create duration of n µs
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
NYI: Turn this into a 'postfix' call, see https://fuzion-lang.dev/design/postfix_calls
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
This is intended for high precision time specification and measurement, it
uses a time resolution of 1ns.
The maximum value is about 580 years, so this is not intended for use in
calendars that may require time spans exceeding several centuries or millennia,
nor astrological time spans.