def TraceDraw.retry

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

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext

import Base

1028# Try another trace ID candidate, or fail once the eight are used.
1029def TraceDraw.retry(remaining: Nat, excluded: Maybe<&2, TraceId>) -> TraceStep:
1030  match remaining:
1031    case 0n:
1032      TraceFailed{ExhaustedTraceId{}}
1033    case 1n+p:
1034      NeedTraceWord{TraceDraw{p, NoTraceWord{}, excluded}}

Uses (7)

Used by (2)