~/jendhub

def StateValue.parse.checked

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

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

1830# The value, when the check found the text valid.
1831def StateValue.parse.checked(text: String, valid: Bool, evidence: {StateValue.is_valid(text) == valid : Bool}) ->
1832  Result<&2, &2, EntryError, StateValue>:
1833  match valid:
1834    case True{}:
1835      Done{StateValue{text, evidence}}
1836    case False{}:
1837      Fail{InvalidValue{}}

Uses (6)

Used by (1)