def Read.clean

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

import Base

2849# The fields a later version does not know, once searched for a control
2850# character: none, or the offset of the first.
2851def Read.clean(found: Maybe<&2, Nat>) -> Result<&2, &2, Error, Unit>:
2852  match found:
2853    case None{}:
2854      Done{Unit{}}
2855    case Some{offset}:
2856      Fail{ControlCharacter{offset}}