def Parse.separator_result

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

import Base

372# The rest of the text after a "-", or ExpectedSeparator at its offset.
373def Parse.separator_result(tail: String, ok: Bool, offset: Nat) ->
374  Result<&2, &2, Error, String>:
375  match ok:
376    case False{}:
377      Fail{ExpectedSeparator{offset}}
378    case True{}:
379      Done{tail}