~/jendhub

def got

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

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

762def got(+tls: Bool, +key: String, +ms: U32, rd: Reader, m: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>) -> Rd:
763  (s, r) = m
764  match r:
765    case Fail{(code, why)}:
766      RFail{tls, s, IoFail{code, why}}
767    case Done{(+len, words)}:
768      got.len(U32.is_zero(len), tls, key, ms, rd, s, len, words)

Uses (13)

Used by (1)