~/jendhub

def slurp.more

bolt@1.27.0.0 · src/lsp/files/disk.bend:28

import bolt@1.27.0.0/src/lsp/files/disk.bend as Disk
import Base

28def slurp.more(
29  rr: Result<&1, &1, U32 & String, List<&2, U32>>,
30  file: File,
31  acc: List<&2, U32>,
32  rest: File -> List<&2, U32> -> IO(Maybe<&2, String>)
33) -> IO(Maybe<&2, String>):
34  match rr:
35    case Fail{e}:
36      slurp.end(file, acc)
37    case Done{bytes}:
38      slurp.cut(bytes, file, acc, rest)

Uses (10)

Used by (1)