☰
buffered
io.buffered
unit type to group buffered io
Value Constructors
buffered.reader effect allows buffered reading
by using the given Read_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
by using the given Read_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
buffered.writer effect allows buffered writing
by using the given Write_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
by using the given Write_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
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.
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.
read n bytes using the currently installed byte reader effect
if the returned sequence is empty or count is less than n, end of file has been reached.
if the returned sequence is empty or count is less than n, end of file has been reached.
use the currently installed byte reader effect
to read until the specified delimiter byte occurs
if specified, strips carriage return bytes before
the delimiter before returning the read data
to read until the specified delimiter byte occurs
if specified, strips carriage return bytes before
the delimiter before returning the read data
Read input fully and split it at the given delimiter. If specified, delete
any trailing carriage returns (ASCII 13) from the resulting strings.
any trailing carriage returns (ASCII 13) from the resulting strings.
Read input fully into an array of bytes until end_of_file is reached
use the currently installed byte reader effect
to read until a line feed occurs.
returns the line
to read until a line feed occurs.
returns the line
Read input line by line calling `f` for each line until `f` returns false
or end_of_file is reached.
or end_of_file is reached.
Read input fully and split it at linefeed (ASCII 10) characters. Delete
any trailing carriage returns (ASCII 13) from the resulting strings.
any trailing carriage returns (ASCII 13) from the resulting strings.
read string, up to n codepoints or until end of file
requires `buffered.reader` effect to be installed.
requires `buffered.reader` effect to be installed.
short hand for getting the currently installed `buffered.reader`
Value Types
buffered.reader effect allows buffered reading
by using the given Read_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
by using the given Read_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
buffered.writer effect allows buffered writing
by using the given Write_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
by using the given Write_Provider
note: anything in the buffer when effect is uninstalled will be discarded.
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`.