~/jendhub

def Scan.finish

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

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

2272# The last member ends with the value.
2273def Scan.finish(scan: Scan) -> Result<&2, &2, StateError, TraceState>:
2274  match scan:
2275    case Stopped{error}:
2276      Fail{error}
2277    case Scanning{member, room, current, entries}:
2278      Scan.result(Scan.close(member, room, current, entries))

Uses (6)

Used by (1)