def read

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

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

import Base

800# The next reply. Bytes already read are decoded before the socket is asked for more.
801def read(c: Conn) -> IO(Result<&1, &1, Failure, Conn & Val>):
802  Conn{tls, sock, rd, key, ms} = c
803  read.loop(Nat.mul(65536n, 256n), RNext{tls, sock, key, ms, next(rd)})

Uses (10)

Used by (2)