Collectrun.fetch_all: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
Lines 95-103 of cswap-bend-cli@0.1.0.0/collectrun.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&start_line=95&end_line=103

import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec

def fetch_all(js: List<&2, Job>, +root: String, +models: List<&2, String>, +threshold: U32, +now: U32) -> IO(List<&2, Urec.Rec>):
  match js:
    case Nil{}:
      IO.pure(List<&2, Urec.Rec>, [])
    case Con{Job{st, None{}}, t}:
      fetch_all(t, root, models, threshold, now)
    case Con{Job{st, Some{claim}}, t}:
      IO.bind(Urec.Rec, List<&2, Urec.Rec>, fetch_st(st, claim, root, models, threshold, now),
        r => IO.bind(List<&2, Urec.Rec>, List<&2, Urec.Rec>, fetch_all(t, root, models, threshold, now), rest => IO.pure(List<&2, Urec.Rec>, r <> rest)))

Uses (10):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=Job
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=fetch_st
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=Rec