def TraceStep.waiting

bend-trace-context@0.2.0.0 · trace_context.bend:1088

import Base

1088# The draw that a trace ID draw's step feeds its next word to, while it
1089# waits for one: the view of the step that Drive needs.
1090def TraceStep.waiting(step: TraceStep) -> Maybe<&2, TraceDraw>:
1091  match step:
1092    case NeedTraceWord{draw}:
1093      Some{draw}
1094    case DrawnTraceId{id}:
1095      None{}
1096    case TraceFailed{error}:
1097      None{}