def start

bend-kit-camber@0.15.0.1 · camber.bend:349

import Base

349# The initializer closes partial handles within a failed bundle; start closes
350# all prior whole bundles. No workers exist until the complete set opens.
351def start(~K: Data, ~R: Type, ~P: Data, ~I: Data, ~E: Data, ~O: Data,
352  ~create: K -> Nat -> IO(Result<&2, &1, E, R>),
353  ~handler: R -> P -> I -> IO(R & Result<&2, &2, E, O>), ~destroy: R -> IO(Unit),
354  config: K, +capacity: Nat, room: U32
355) -> IO(Result<&2, &1, E, Owner<R, P, I, E, O>>):
356  do IO<Result<&2, &1, E, Owner<R, P, I, E, O>>>:
357    result : Result<&2, &1, E, List<R>> <- build(~K, ~R, ~E, ~create, ~destroy, capacity, config, Nil{})
358    start.ready(~R, ~P, ~I, ~E, ~O, ~handler, ~destroy, capacity, room, result)