@[reducible, inline]
PING [message]
Equations
Instances For
@[reducible, inline]
Equations
- LeanRedis.Command.ping message? = { request := LeanRedis.CommandRequest.ping message?, decode := LeanRedis.expectPong }
Instances For
@[reducible, inline]
AUTH [username] password
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[reducible, inline]
Equations
- LeanRedis.Command.auth auth = { request := LeanRedis.CommandRequest.auth auth, decode := LeanRedis.expectOk }
Instances For
@[reducible, inline]
SELECT index
Equations
Instances For
@[reducible, inline]
Equations
- LeanRedis.Command.select database = { request := LeanRedis.CommandRequest.select database, decode := LeanRedis.expectOk }