Session

:= {  }

GENERATED FILE: do not edit directly; regenerate with scripts/command-catalog.roc generate. Binary-safe Redis OSS 8.10.1 Session command constructors.

Scalar wire arguments are List(U8). Required variadic arguments use a first value plus a remaining list, so an empty required collection is unrepresentable. Count prefixes are derived automatically. Parameters beginning with options are deliberately raw token lists for grammars whose combinations Redis validates; they are inserted verbatim and may be empty. A { first, rest } record is a non-empty raw token sequence for a required grammar choice; Redis validates the sequence when it executes the command. Commands that change protocol, suppress replies, or close the socket are encoding-only here; Execute.request! assumes one RESP2 reply and a reusable connection.

auth : List(List(U8)), List(U8) -> Command

Construct AUTH. Available since Redis 1.0.0. Official Redis command documentation. Parameters (in order): options_before_password, password. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

client_caching : List(U8) -> Command

Construct CLIENT CACHING. Available since Redis 6.0.0. Official Redis command documentation. Parameters (in order): mode.

client_getname : () -> Command

Construct CLIENT GETNAME. Available since Redis 2.6.9. Official Redis command documentation.

client_getredir : () -> Command

Construct CLIENT GETREDIR. Available since Redis 6.0.0. Official Redis command documentation.

client_id : () -> Command

Construct CLIENT ID. Available since Redis 5.0.0. Official Redis command documentation.

client_info : () -> Command

Construct CLIENT INFO. Available since Redis 6.2.0. Official Redis command documentation.

client_kill : { first : List(U8), rest : List(List(U8)) } -> Command

Construct CLIENT KILL. Available since Redis 2.4.0. Official Redis command documentation. Parameters (in order): filter.

client_list : List(List(U8)) -> Command

Construct CLIENT LIST. Available since Redis 2.4.0. Official Redis command documentation. Parameters (in order): options. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

client_no_evict : List(U8) -> Command

Construct CLIENT NO-EVICT. Available since Redis 7.0.0. Official Redis command documentation. Parameters (in order): enabled.

client_no_touch : List(U8) -> Command

Construct CLIENT NO-TOUCH. Available since Redis 7.2.0. Official Redis command documentation. Parameters (in order): enabled.

client_pause : List(U8), List(List(U8)) -> Command

Construct CLIENT PAUSE. Available since Redis 3.0.0. Official Redis command documentation. Parameters (in order): timeout, options. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

client_reply : List(U8) -> Command

Construct CLIENT REPLY. Available since Redis 3.2.0. Official Redis command documentation. Parameters (in order): action.

client_setinfo : { first : List(U8), rest : List(List(U8)) } -> Command

Construct CLIENT SETINFO. Available since Redis 7.2.0. Official Redis command documentation. Parameters (in order): attr.

client_setname : List(U8) -> Command

Construct CLIENT SETNAME. Available since Redis 2.6.9. Official Redis command documentation. Parameters (in order): connection_name.

client_tracking : List(U8), List(List(U8)) -> Command

Construct CLIENT TRACKING. Available since Redis 6.0.0. Official Redis command documentation. Parameters (in order): status, options. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

client_trackinginfo : () -> Command

Construct CLIENT TRACKINGINFO. Available since Redis 6.2.0. Official Redis command documentation.

client_unblock : List(U8), List(List(U8)) -> Command

Construct CLIENT UNBLOCK. Available since Redis 5.0.0. Official Redis command documentation. Parameters (in order): client_id_2, options. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

client_unpause : () -> Command

Construct CLIENT UNPAUSE. Available since Redis 6.2.0. Official Redis command documentation.

echo : List(U8) -> Command

Construct ECHO. Available since Redis 1.0.0. Official Redis command documentation. Parameters (in order): message.

hello : List(List(U8)) -> Command

Construct HELLO. Available since Redis 6.0.0. Official Redis command documentation. Parameters (in order): options. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

ping : List(List(U8)) -> Command

Construct PING. Available since Redis 1.0.0. Official Redis command documentation. Parameters (in order): options. Parameters beginning with options are unvalidated wire arguments in the documented syntax position.

quit : () -> Command

Construct QUIT. Available since Redis 1.0.0. Official Redis command documentation. Deprecated by Redis; retained for catalog completeness.

reset : () -> Command

Construct RESET. Available since Redis 6.2.0. Official Redis command documentation.

select : List(U8) -> Command

Construct SELECT. Available since Redis 1.0.0. Official Redis command documentation. Parameters (in order): index.