def decode.major7.arg

bend-kit-cbor@0.3.0.0 · cbor.bend:428

import Base

428def decode.major7.arg(+ai: U32, +arg: W64) -> Maybe<&1, Val>:
429  match ai:
430    case 24:
431      W64{+hi, +lo} = arg
432      decode.other(U32.is_le(32, lo) && U32.is_le(lo, 255), lo)
433    case 25:
434      W64{hi, lo} = arg
435      Some{Flt{Half{lo}}}
436    case 26:
437      W64{hi, lo} = arg
438      Some{Flt{Single{lo}}}
439    case 27:
440      Some{Flt{Double{arg}}}
441    case _:
442      None{}