def Utf8.left_fields

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

import Base

2051# What is left of a budget after repeated fields and the commas that join
2052# them.
2053def Utf8.left_fields(fields: List<&2, String>, budget: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
2054  match fields:
2055    case Nil{}:
2056      budget
2057    case Con{field, rest}:
2058      Utf8.left_more(rest, Utf8.left(field, budget))