~/jendhub

def load.miss

bolt@1.27.0.0 · src/lsp/nav.bend:31

import bolt@1.27.0.0/src/lsp/nav.bend as Nav
import Base
import bolt@1.27.0.0/src/lsp/files/service.bend as F

31def load.miss(~fs: F.Files, open: Maybe<&2, String>, path: String) -> IO(String):
32  match open:
33    case Some{text}:
34      IO.pure(String, text)
35    case None{}:
36      do IO<String>:
37        r : Maybe<&2, String> <- F.read(fs, path)
38        return Maybe.default(&2, String, r, "")

Uses (8)

Used by (1)