~/jendhub

def read_at

bendtorch@1.3.0.0 · main.bend:1006

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

1006# n bytes from offset off
1007def read_at(path: String, +off: U32, +n: U32) -> IO(List<&2, U32>):
1008  do IO<List<&2, U32>>:
1009    f : File <- IO.try(File, File.open(path, "r"))
1010    m : File & Result<&1, &1, U32 & String, List<&2, U32>> <- File.read_at(f, off, n)
1011    rd_done(m)

Uses (12)

Used by (1)