Service.read_all: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/files/service.bend as Service
Lines 32-41 of bolt@1.27.0.0/src/lsp/files/service.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/files/service.bend&start_line=32&end_line=41

import Base

# 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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/service.bend&name=Files
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/service.bend&name=read