dir

reference to the writing operations that could take place

make -- effect providing make directory

read -- effect providing reading operations in directories

create a String from this instance. Unless redefined, `a.as_string` will
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.

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.

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.

short hand to get the currently
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.

short-hand for accessing read effect in current environment

short hand for use when
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:

reference to the writing operations that could take place

reference to the reading operations that could take place

make -- effect providing make directory

effect for manipulating 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.

read -- effect providing reading operations in directories

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`.