Redis.run: def of bend-kit-redis@0.3.0.0
Import: import bend-kit-redis@0.3.0.0/redis.bend as Redis
Lines 610-627 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=610&end_line=627

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

def run(fuel: Nat, r: Bytes.Bytes & St) -> Bytes.Bytes & Step:
  match fuel:
    case 0n:
      (b, st) = r
      (b, Bad{})
    case 1n+f:
      (b, st) = r
      match st:
        case SOk{v, +i}:
          (b, Reply{v, i})
        case SMore{}:
          (b, More{})
        case SBad{}:
          (b, Bad{})
        case SHead{+i, stack}:
          run(f, head(i, stack, byte(b, i)))
        case SDone{v, +i, stack}:
          run(f, (b, done(stack, v, i)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  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=Step
  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=done
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=head