def par.bodies

snap@1.4.0.0 · src/par.bend:74

import Base
import snap@1.4.0.0/src/file.bend as File

74# the file each job wrote, one per status, by its place in the order
75def par.bodies(cs: List<&2, String>, +at: String, +nn: Nat) -> IO(List<&2, Maybe<&2, String>>):
76  match cs:
77    case []:
78      IO.pure(List<&2, Maybe<&2, String>>, [])
79    case _code <> ct:
80      do IO<List<&2, Maybe<&2, String>>>:
81        src : Maybe<&2, String> <- File.file.read(at ++ "/" ++ Nat.show(nn))
82        more : List<&2, Maybe<&2, String>> <- par.bodies(ct, at, (1n + nn : Nat))
83        return src <> more