def Parse.end

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

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

389# The value must end here. Only the first character after it is inspected, so
390# an arbitrarily long suffix is refused without being read.
391def Parse.end(text: String) -> Result<&2, &2, Error, Unit>:
392  match text:
393    case SNil{}:
394      Done{Unit{}}
395    case SCon{char, tail}:
396      Fail{TrailingInput{}}

Uses (4)

Used by (2)