def dispose

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

import bend-kit-camber@0.15.0.1/camber.bend as Camber

import Base

97def dispose(~R: Type, ~destroy: R -> IO(Unit), resources: List<R>) -> IO(Unit):
98  match resources:
99    case Nil{}:
100      IO.pure(Unit, Unit{})
101    case Con{resource, rest}:
102      do IO<Unit>:
103        destroy(resource)
104        dispose(~R, ~destroy, rest)

Uses (5)

Used by (6)