☰
state
state
§(T type, S type, val state.T, get state.S, r effect_mode.val):oneway_monad state.T, state state.T state.S is
§(T
type
, S type
, val state.T, get state.S, r effect_mode.val):
oneway_monad state.T, state state.T state.S is
Functions
replace effect in the current context by this and abort current execution
does this effect support abort?
Redefining this to return `false` helps to detect unexptected calls to
`abort` at runtime and ensure that the static analysis finds that the
code executed with this effect will always return normally and produce
a result. This is used, e.g, in `mutate` to avoid static analysis
reporting `panic` as an effect of the use of a local mutate instance.
Redefining this to return `false` helps to detect unexptected calls to
`abort` at runtime and ensure that the static analysis finds that the
code executed with this effect will always return normally and produce
a result. This is used, e.g, in `mutate` to avoid static analysis
reporting `panic` as an effect of the use of a local mutate instance.
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 hierachy 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 hierachy of types. So for Type values, dynamic_type is redefined
to just return Type.type.
monadic operator
§(B type, MB type, f Unary (monad.infix >>=~.MB) monad.A):Any => monad.infix >>=~.MB [Inherited from monad]
§(B
type
, MB type
, f Unary (monad.infix >>=~.MB) monad.A):
Any =>
monad.infix >>=~.MB [Inherited from monad]
monadic operator to another monad
Apply f to elements of type A and wrap them in MB.
NYI: This is currently useless since a redefinition is not
allowed for features with generic arguments. Is there a way
we could allow this anyway?
Apply f to elements of type A and wrap them in MB.
NYI: This is currently useless since a redefinition is not
allowed for features with generic arguments. Is there a way
we could allow this anyway?
join operator
NYI: useless since redefinition currently not supported for
feature with generics.
NYI: useless since redefinition currently not supported for
feature with generics.
map this using f
modify the state, leaving the contents unchanged
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.
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.
set state to new, leaving the contents unchanged
abort the current execution and return from the surrounding call to
abortable with result == false.
abortable with result == false.
return function
§(R type, f Function effect.run.R, def Function effect.run.R):Any => effect.run.R [Inherited from effect]
§(R
type
, f Function effect.run.R, def Function effect.run.R):
Any =>
effect.run.R [Inherited from effect]
execute the code of 'f' in the context of this effect
Type Features
has an effect of the given type been installed?
has an effect of the given type been installed?
return function
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`.
this can be used both as plain or as a oneway monad to store a state
in a way orthogonal to the actual computation.