def TraceState.get

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

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

1963# The value of the entry with this key, if there is one (laws get_entry and
1964# get_absent). The key is validated, so a lookup never needs to check it.
1965def TraceState.get(state: TraceState, key: StateKey) -> Maybe<&2, StateValue>:
1966  Entries.get(TraceState.entries(state), StateKey.to_string(key))

Uses (7)

Used by (1)