def verbatim.of

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

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

145def verbatim.of(st: E, +tl: U32, r: Bytes.Bytes & U32, t: Bytes.Bytes) -> E:
146  (f, +fl) = r
147  put(st, "=" ++ U32.show((tl + 4 : U32)) ++ "\r\n", Bytes.append(Bytes.append(f, text(":")), t), U32.is_eq(fl, 3))

Uses (12)

Used by (1)

bend-kit-redis@0.3.0.0/redis:verbatim