def StateError.show

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

import Base

2307# The name of a tracestate error; InvalidEntry adds the member number and the
2308# reason.
2309def StateError.show(error: StateError) -> String:
2310  match error:
2311    case StateTooLarge{}:
2312      "StateTooLarge"
2313    case TooManyMembers{}:
2314      "TooManyMembers"
2315    case InvalidEntry{member, reason}:
2316      "InvalidEntry " ++ Nat.show(member) ++ " " ++ EntryError.show(reason)