Prelude / Readable

Readable

trait Readable[t: Type]Source

Trait for types that can be read from.

Associated Types

type Aef: EffSource

Effect associated with reading from the resource.

type Elm: TypeSource

Type of each element that can be read from the resource.

Primitives: java.io.InputStream
Non-primitives: BufReader[a, t, rr], DecodingReader[t, rr], StdErr, StdOut, TcpSocket

def read(buffer: Array[Elm[t], r], reader: t): Result[IoError, Int32] \ r + Aef[t] with Readable[t]§ Source

Reads k elements from the resource and writes them into b.

Returns Ok(k) to signify that k bytes were successfully read and written to b.

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

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