def Service.error

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

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

3802# Why the service has no operation; None{} with one.
3803def Service.error(service: Service) -> Maybe<&2, GenerationError>:
3804  match service:
3805    case Operating{origin, outgoing, received}:
3806      None{}
3807    case Untraced{error, received}:
3808      Some{error}

Uses (3)

Used by (0)

No other definition uses this definition.