~/jendhub

def Manager.inboxes

bend-kube-runtime@0.2.0.0 · src/runtime.bend:688

import bend-kube-runtime@0.2.0.0/src/runtime.bend as Runtime
import Base

688def Manager.inboxes(cs: List<&2, Ctrl>) -> IO(List<&2, Chan(Msg)>):
689  match cs:
690    case Nil{}:
691      IO.pure(List<&2, Chan(Msg)>, Nil{})
692    case Con{c, t}:
693      IO.bind(Chan(Msg), List<&2, Chan(Msg)>, Controller.inbox(),
694        ch => IO.bind(List<&2, Chan(Msg)>, List<&2, Chan(Msg)>, Manager.inboxes(t),
695          rest => IO.pure(List<&2, Chan(Msg)>, ch <> rest)))

Uses (8)

Used by (1)