@[reducible, inline]

abbrev LeanRedis.Transport.TCP : Type

Equations

• LeanRedis.Transport.TCP = Std.Internal.IO.Async.TCP.Socket.Client

@[implicit_reducible]

instance LeanRedis.Transport.TCP.instTransportTCP : Transport TCP

Equations

• One or more equations did not get rendered due to their size.

def LeanRedis.Transport.TCP.connect (endpoint : Endpoint) : Std.Internal.IO.Async.Async TCP

Equations

• LeanRedis.Transport.TCP.connect endpoint = LeanRedis.Transport.Transport.connect endpoint