def Service.remove

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

import Base

3820# Delete an entry of the state that the service's operation sends (see
3821# OutgoingContext.remove). A service without an operation is unchanged.
3822def Service.remove(service: Service, key: StateKey) -> Service:
3823  match service:
3824    case Operating{origin, outgoing, received}:
3825      Operating{origin, OutgoingContext.remove(outgoing, key), received}
3826    case Untraced{error, received}:
3827      Untraced{error, received}