def numeric_checked

bendvy-ecs-core@0.1.0.4 · restore_raw.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/restore_raw_number.bend as Number

27def numeric_checked(+path:String,+raw:D.Raw,positive:Bool,result:Number.Checked) -> Decoded<U32>:
28  match result:
29    case Number.Invalid{}:invalid(~U32,path,"unsigned 32-bit integer",raw)
30    case Number.Value{+value}:numeric_positive(path,raw,positive,value,U32.is_gt(value,0))