~/jendhub

def read.opened

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

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

58def read.opened(rr: Result<&1, &1, U32 & String, File>) -> IO(Maybe<&2, String>):
59  match rr:
60    case Fail{e}:
61      IO.pure(Maybe<&2, String>, None{})
62    case Done{file}:
63      slurp(U32.to_nat(100000), file, [])

Uses (11)

Used by (1)