def Parse.separator

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

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

import Base

381# Read the "-" expected at `offset`.
382def Parse.separator(text: String, offset: Nat) -> Result<&2, &2, Error, String>:
383  match text:
384    case SNil{}:
385      Fail{UnexpectedEnd{offset}}
386    case SCon{char, tail}:
387      Parse.separator_result(tail, Char.is_eq(char, '-'), offset)

Uses (7)

Used by (3)