src/lsp/files/service.bend source

src/lsp/files/service.bend on the hub · documented module

# files: an effect service: a file's text by path, where Base lives, and# the working directory a relative path is read against.import Base# effect service: a file's text, where Base is, and the working directorytype Files is Type:  Files{read: String -> IO(Maybe<&2, String>), base_path: Unit -> IO(String), cwd: Unit -> IO(String)}# None when the file cannot be readdef read(ff: Files, path: String) -> IO(Maybe<&2, String>):  Files{r, _b, _c} = ff  r(path)# the path of Base, from a files servicedef base_path(ff: Files) -> IO(String):  Files{_r, b, _c} = ff  b(Unit{})# the working directory, from the root; "" when it cannot be nameddef cwd(ff: Files) -> IO(String):  # noqa: L001 effect accessor  Files{_r, _b, c} = ff  c(Unit{})# every path read, in order (a missing file is a None)def read_all(~ff: Files, paths: List<&2, String>) -> IO(List<&2, Maybe<&2, String>>):  # noqa: L001 effect accessor  match paths:    case Nil{}:      IO.pure(List<&2, Maybe<&2, String>>, [])    case Con{p, rest}:      do IO<List<&2, Maybe<&2, String>>>:        r : Maybe<&2, String> <- read(ff, p)        more : List<&2, Maybe<&2, String>> <- read_all(~ff, rest)        return r <> more