def Parse.bytes_end

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

import Base

851# The list must end after the ID's bytes: a cell after them fails with
852# TrailingInput, whatever it holds.
853def Parse.bytes_end(bytes: List<&2, U32>) -> Result<&2, &2, Error, Unit>:
854  match bytes:
855    case Nil{}:
856      Done{Unit{}}
857    case Con{cell, rest}:
858      Fail{TrailingInput{}}