Readable

trait Readable[t: Type]Source

A trait for types which are resources that can be read from.

type Aef: EffSource

Effect associated with reading from the resource.

type Elm: TypeSource

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

instance Readable[BufReader[a, t, rr]] with Readable[t]Source

instance Readable[DecodingReader[t, rr]] with Readable[t]Source

instance Readable[StdOut]Source

instance Readable[StdErr]Source

instance Readable[java.io.InputStream]Source

instance Readable[TcpSocket]Source

Signatures

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.