def item.def

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

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import Base

608def item.def(+major: U32, +ai: U32, +arg: W64, +i: U32, a: Array<U32>, +len: U32, stack: List<&1, Frame>) -> Array<U32> & St:
609  match major:
610    case 0:
611      (a, SDone{UInt{arg}, i, stack})
612    case 1:
613      (a, SDone{NInt{arg}, i, stack})
614    case 2:
615      item.str(False{}, i, stack, bstr.read(False{}, arg, a, len, i))
616    case 3:
617      item.str(True{}, i, stack, bstr.read(True{}, arg, a, len, i))
618    case 4:
619      (a, item.len(False{}, arg, len, i, stack))
620    case 5:
621      (a, item.len(True{}, arg, len, i, stack))
622    case 6:
623      (a, SHead{i, Con{FTag{arg}, stack}})
624    case _:
625      (a, item.simple(decode.major7(U32.is_lt(ai, 24), ai, arg), i, stack))

Uses (18)

Used by (1)