~/jendhub

def Scan.within

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

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

2280# Read the fields only when they fit the budget.
2281def Scan.within(fits: Maybe<&2, Nat>, fields: List<&2, String>) -> Result<&2, &2, StateError, TraceState>:
2282  match fits:
2283    case None{}:
2284      Fail{StateTooLarge{}}
2285    case Some{left}:
2286      Scan.finish(Scan.fields(fields, Scan.start()))

Uses (10)

Used by (1)