~/jendhub

def Entries.get.put

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

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

1947# The value of `entry` when its key matched, or the result for the rest.
1948def Entries.get.put(entry: StateEntry, rest: Maybe<&2, StateValue>, hit: Bool) -> Maybe<&2, StateValue>:
1949  match hit:
1950    case True{}:
1951      Some{StateEntry.value(entry)}
1952    case False{}:
1953      rest

Uses (5)

Used by (1)