»
option
option
Type Parameters
Functions
absolute value
§
§
returns o if outcome is ok, otherwise return the outcome's own
error.
error.
§(f Unary (switch.this switch.A switch.B) switch.A) => switch.this switch.A switch.B [Inherited from switch]
§
(f Unary (switch.this switch.A switch.B) switch.A)
=>
switch.this switch.A switch.B [Inherited from switch]
synonym for infix >>=
this switch as an equatable_switch
converts switch into a list of either a single element in case
switch.this.exists or `nil`otherwise
switch.this.exists or `nil`otherwise
convert this switch to an option
convert this switch to an outcome
convert this switch to an outcome
converts option to a string
returns the result of $T for an option containing an instance
of T, alternatively returns $nil for an option that is nil.
returns the result of $T for an option containing an instance
of T, alternatively returns $nil for an option that is nil.
monadic operator
Same as non-generic >>=, but also maps to a different type B.
Same as non-generic >>=, but also maps to a different type B.
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.
unwraps a switch that is known to contain a value
this can only be called in cases where it is known for sure that this switch
is not nil. A runtime error will be created otherwise.
this can only be called in cases where it is known for sure that this switch
is not nil. A runtime error will be created otherwise.
unwrap value or get default
not equals operator
modulo operator
exponentation operator
multiplication operator
addition operator
subtraction operator
division operator
lower or equal than operator
lower than operator
equals operator
greater or equal than operator
§(f Unary (switch.this switch.A switch.B) switch.A) => switch.this switch.A switch.B [Inherited from switch]
§
(f Unary (switch.this switch.A switch.B) switch.A)
=>
switch.this switch.A switch.B [Inherited from switch]
monadic operator
§(B type, MB type:monad (monad.infix >>=~.B) (monad.infix >>=~.MB), f Unary MB monad.A) => MB [Inherited from monad] [Abstract feature]
§
(B
type
, MB type
:monad (monad.infix >>=~.B) (monad.infix >>=~.MB), f Unary MB monad.A) =>
MB [Inherited from monad]
[Abstract feature]
monadic operator to another monad
Apply f to elements of type A and wrap them in MB.
Apply f to elements of type A and wrap them in MB.
monadic operator for bool result, false for nil
greater than operator
join operator
if this switch is nil return the result of f
otherwise just return this switch.
otherwise just return this switch.
unwraps an switch if it exists, returns default value otherwise.
short-hand postfix operator for '!exists'
short-hand postfix operator for 'exists'
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.
'prefix +' (identity)
'prefix -' (negation)
sign function resulting in `-1`/`0`/`+1` depending on whether `numeric.this`
is less than, equal or larger than zero
is less than, equal or larger than zero
value of a switch that is known to contain a value
This can only be called in cases where it is known for sure that this
switch is not a B. A runtime error will be created otherwise.
This can only be called in cases where it is known for sure that this
switch is not a B. A runtime error will be created otherwise.
value of a switch or default if switch contains B
Type Functions
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
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.
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
=>
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
=>
or
val(n T) is
name of this type, including type parameters, e.g. 'option (list i32)'.
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
return function
explicitly tag value a to become choice
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`.
0.093dev (2025-05-13 15:50:27 GIT hash 38f965e14265a6f3ba3f96f18ddedb79352428af built by fridi@fzen)
option represents an optional value of type T