def Entries.format.rest

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

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

1968# Each entry after the first, preceded by its comma.
1969def Entries.format.rest(entries: List<&2, StateEntry>) -> String:
1970  match entries:
1971    case Nil{}:
1972      ""
1973    case Con{entry, rest}:
1974      "," ++ StateEntry.format(entry) ++ Entries.format.rest(rest)

Uses (5)

Used by (1)