(state: State, options: IntegerOptions)
| 112 | } |
| 113 | |
| 114 | function renderNextFrame(state: State, options: IntegerOptions) { |
| 115 | return Effect.gen(function*() { |
| 116 | const terminal = yield* Terminal.Terminal |
| 117 | const columns = yield* terminal.columns |
| 118 | const figures = yield* InternalAnsiUtils.figures |
| 119 | const leadingSymbol = Doc.annotate(Doc.text("?"), Ansi.cyanBright) |
| 120 | const trailingSymbol = Doc.annotate(figures.pointerSmall, Ansi.blackBright) |
| 121 | const errorMsg = renderError(state, figures.pointerSmall) |
| 122 | const promptMsg = renderOutput(state, leadingSymbol, trailingSymbol, options) |
| 123 | return promptMsg.pipe( |
| 124 | Doc.cat(errorMsg), |
| 125 | Optimize.optimize(Optimize.Deep), |
| 126 | Doc.render({ style: "pretty", options: { lineWidth: columns } }) |
| 127 | ) |
| 128 | }) |
| 129 | } |
| 130 | |
| 131 | function renderSubmission(nextState: State, options: IntegerOptions) { |
| 132 | return Effect.gen(function*() { |
no test coverage detected
searching dependent graphs…