def Limits.new.checked

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

import Base

1653# The configuration, when the check found it valid.
1654def Limits.new.checked(traceparent_input: Nat, tracestate_input: Nat, tracestate_output: Nat, valid: Bool,
1655  evidence: {Limits.is_valid(traceparent_input, tracestate_input, tracestate_output) == valid : Bool}) ->
1656  Result<&2, &2, LimitsError, Limits>:
1657  match valid:
1658    case True{}:
1659      Done{Limits{traceparent_input, tracestate_input, tracestate_output, evidence}}
1660    case False{}:
1661      Fail{Limits.error(traceparent_input, tracestate_output)}