(finalizer: (exit: MicroExit<any, any>) => Micro<void>)
| 3334 | } |
| 3335 | } |
| 3336 | addFinalizer(finalizer: (exit: MicroExit<any, any>) => Micro<void>): Micro<void> { |
| 3337 | return suspend(() => { |
| 3338 | if (this.state._tag === "Open") { |
| 3339 | this.state.finalizers.add(finalizer) |
| 3340 | return void_ |
| 3341 | } |
| 3342 | return finalizer(this.state.exit) |
| 3343 | }) |
| 3344 | } |
| 3345 | unsafeRemoveFinalizer(finalizer: (exit: MicroExit<any, any>) => Micro<void>): void { |
| 3346 | if (this.state._tag === "Open") { |
| 3347 | this.state.finalizers.delete(finalizer) |