~/jendhub

def read.fail

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

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

770def read.fail(tls: Bool, sock: Socket, why: Failure) -> IO(Result<&1, &1, Failure, Conn & Val>):
771  do IO<Result<&1, &1, Failure, Conn & Val>>:
772    io.close(tls, sock)
773    return Fail{why}

Uses (12)

Used by (1)