(terminal: Terminal.Terminal)
| 540 | }; |
| 541 | |
| 542 | const displaySingleError = (terminal: Terminal.Terminal) => (err: string) => |
| 543 | terminal.display(`${err}\n`); |
| 544 | |
| 545 | const displayErrors = (terminal: Terminal.Terminal, errors: readonly string[]) => |
| 546 | pipe(errors, EffectArray.map(displaySingleError(terminal)), Effect.all, Effect.asVoid); |