def build.step

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

import Base

312def build.step(~R: Type, ~E: Data, ~destroy: R -> IO(Unit),
313  result: Result<&2, &1, E, R>, resources: List<R>,
314  next: List<R> -> IO(Result<&2, &1, E, List<R>>)
315) -> IO(Result<&2, &1, E, List<R>>):
316  match result:
317    case Fail{error}:
318      do IO<Result<&2, &1, E, List<R>>>:
319        dispose(~R, ~destroy, resources)
320        return Fail{error}
321    case Done{resource}:
322      next(resource <> resources)