☰
dir
io.dir
Reference Constructors
reference to the writing operations that could take place
Value Constructors
make -- effect providing make directory
read -- effect providing reading operations in directories
Functions
create a String from this instance. Unless redefined, `a.as_string` will
create `"instance[T]"` where `T` is the dynamic type of `a`
create `"instance[T]"` where `T` is the dynamic type of `a`
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.
make dir with the currently installed dir.make-effect.
if none is installed the default handler will be used to
install the effect and perform the operation.
if none is installed the default handler will be used to
install the effect and perform the operation.
name of this type, including type parameters, e.g. 'option (list i32)'.
short hand to get the currently
installed open effect
from the environment.
see `use` on how to use this.
installed open effect
from the environment.
see `use` on how to use this.
short hand to get the currently
installed open effect
for type T from the environment.
see `use` on how to use this.
installed open effect
for type T from the environment.
see `use` on how to use this.
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.
short-hand for accessing read effect in current environment
short hand for use when
it is not necessary to distinguish between opens
usage example:
it is not necessary to distinguish between opens
usage example:
this opens a directory and installs the (open T) effect to be used
in `code()`.
type parameter T is used to distinguish between several open
directories.
usage example:
in `code()`.
type parameter T is used to distinguish between several open
directories.
usage example:
Reference Types
reference to the writing operations that could take place
reference to the reading operations that could take place
Value Types
make -- effect providing make directory
effect for manipulating open directories
T is used to distinguish several open directories
T is used to distinguish several open directories
unit type used internally by open- and use-
short hands which can be used when one does not need
to distinguish between several open directories.
short hands which can be used when one does not need
to distinguish between several open directories.
read -- effect providing reading operations in directories
Type Features
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`.
directories