~/jendhub

def StateKey.parse.checked

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

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

1810# The key, when the check found the text valid.
1811def StateKey.parse.checked(text: String, valid: Bool, evidence: {StateKey.is_valid(text) == valid : Bool}) ->
1812  Result<&2, &2, EntryError, StateKey>:
1813  match valid:
1814    case True{}:
1815      Done{StateKey{text, evidence}}
1816    case False{}:
1817      Fail{InvalidKey{}}

Uses (6)

Used by (1)