def agg

bend-kit-redis@0.3.0.0 · redis.bend:161

import bend-kit-redis@0.3.0.0/redis.bend as Redis

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

161def agg(st: E, +kind: U32, sub: E) -> E:
162  E{o, +ok, +n} = st
163  E{body, +good, +k} = sub
164  +head = kind.tag(kind) ++ U32.show(agg.count(kind, k)) ++ "\r\n"
165  E{Bytes.append(Bytes.append(o, text(head)), body), Bool.and(ok, Bool.and(good, agg.ok(kind, k))), (n + 1 : U32)}

Uses (11)

Used by (1)

bend-kit-redis@0.3.0.0/redis:enc