~/jendhub

def choose_checked

bendvy-ecs-core@0.1.0.3 · decode_data.bend:122

import bendvy-ecs-core@0.1.0.3/decode_data.bend as DecodeData
import Base

122def choose_checked(valid:Bool,+path:String,+expected:String,raw:Raw,rest:List<&2,Work>) -> Step:
123  match valid:
124    case True{}: Continue{rest}
125    case False{}: Stop{Invalid{path,expected,raw}}

Uses (7)

Used by (1)