☰
read
io.file.read
read -- effect providing byte reading operations from files
helper feature for read_file to allow recursion
reads all bytes from the file in the path
returns outcome array u8, a byte array representing the content of the file if the operation was successful
returns an error in case the operation fails
returns outcome array u8, a byte array representing the content of the file if the operation was successful
returns an error in case the operation fails
helper feature for read_file(fd, tmp)
this just calls the read operation and returns the result in a more useful
format for the use case of read_file(fd, tmp).
this just calls the read operation and returns the result in a more useful
format for the use case of read_file(fd, tmp).