Redis.item: def of bend-kit-redis@0.3.0.0
Import: import bend-kit-redis@0.3.0.0/redis.bend as Redis
Lines 535-567 of bend-kit-redis@0.3.0.0/redis.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-redis@0.3.0.0/redis.bend&start_line=535&end_line=567

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

# The type byte t, then the line from s until the CRLF at e.
def item(+t: U32, +s: U32, +e: U32, b: Bytes.Bytes, stack: List<&1, Frame>) -> Bytes.Bytes & St:
  match t:
    case 43:
      line.st(0, (e + 2 : U32), stack, Bytes.slice(b, s, (e - s : U32)))
    case 45:
      line.st(1, (e + 2 : U32), stack, Bytes.slice(b, s, (e - s : U32)))
    case 44:
      line.st(2, (e + 2 : U32), stack, Bytes.slice(b, s, (e - s : U32)))
    case 40:
      line.st(3, (e + 2 : U32), stack, Bytes.slice(b, s, (e - s : U32)))
    case 58:
      int.st((e + 2 : U32), stack, num(b, s, e))
    case 95:
      (b, null.st(U32.is_eq(s, e), (e + 2 : U32), stack))
    case 35:
      boolean.st((e + 2 : U32), stack, U32.is_eq(e, (s + 1 : U32)), byte(b, s))
    case 36:
      blob.st(0, (e + 2 : U32), stack, num(b, s, e))
    case 33:
      blob.st(1, (e + 2 : U32), stack, num(b, s, e))
    case 61:
      blob.st(2, (e + 2 : U32), stack, num(b, s, e))
    case 42:
      agg.st(0, (e + 2 : U32), stack, num(b, s, e))
    case 37:
      agg.st(1, (e + 2 : U32), stack, num(b, s, e))
    case 126:
      agg.st(2, (e + 2 : U32), stack, num(b, s, e))
    case 124:
      agg.st(3, (e + 2 : U32), stack, num(b, s, e))
    case _:
      agg.st(4, (e + 2 : U32), stack, num(b, s, e))

Uses (22):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=slice
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=agg.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=blob.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=boolean.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=byte
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=int.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=line.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=null.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=num