~/jendhub

def Entries.get

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

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

1955# The value of the first entry with this key.
1956def Entries.get(entries: List<&2, StateEntry>, +key: String) -> Maybe<&2, StateValue>:
1957  match entries:
1958    case Nil{}:
1959      None{}
1960    case Con{+entry, rest}:
1961      Entries.get.put(entry, Entries.get(rest, key), String.eq(StateEntry.key_text(entry), key))

Uses (8)

Used by (1)