flix

0.72.0

EncodingWriter

Definitions

def wrap(charset: CharacterSet, byteWriter: t): EncodingWriter[t] \ IO Source

Wraps byteWriter in an EncodingWriter.

def write(src: Array[Char, r], writer: EncodingWriter[t]): Result[IoError, Int32] \ r + Aef[t] with Writable[t] where Writable.Elm[t] ~ Int8 Source

Reads k items from src and writes them to writer.

Returns Ok(k) to signify that k items were successfully read and written to r.

Guarantees that 0 <= k <= length(b).

Returns Err(e) if some underlying I/O error occurs.