Reply

:= []

Strict, reusable decoders for common Redis RESP2 reply shapes.

Nullable decoders accept the matching null kind and reject the other kind. Redis error replies are separated from shape mismatches. Commands with richer or version-dependent replies can continue to inspect Resp.Resp directly instead of using one of these decoders.

utf8 : List(U8) -> Try(Str, [InvalidUtf8])

Compose after any decoder that returns bytes. Text interpretation is explicit and rejects malformed UTF-8 rather than replacing bytes.

raw : Resp -> Try(Resp, Error)

Preserve any RESP2 value, including a Redis error reply.

bulk : Resp -> Try(List(U8), Error)

Decode a required bulk-string reply.

bulk_or_null : Resp -> Try(OptionalBytes, Error)

Decode a bulk string or RESP null, as returned by commands such as GET.

integer : Resp -> Try(I64, Error)

Decode an integer reply without narrowing its signed RESP2 range.

simple : Resp -> Try(List(U8), Error)

Decode any simple-string reply as binary bytes.

okay : Resp -> Try({  }, Error)

Require Redis's exact +OK status reply.

array : Resp -> Try(List(Resp), Error)

Decode an array without imposing a schema on its elements.

array_or_null : Resp -> Try(OptionalArray, Error)

Decode an array or RESP null, as returned by blocking collection commands.

optional_bulk_array : Resp -> Try(List(OptionalBytes), Error)

Decode an array whose elements are bulk strings or nulls, such as MGET.

ErrorClass : [Generic, WrongType, Moved, Ask, NoAuth, WrongPass, NoPermission, Busy, Loading, ReadOnly, OutOfMemory, ClusterDown, TryAgain, ExecAbort, NoScript, Unknown(Bytes)]

Error prefixes are Redis conventions, not RESP syntax. Unknown prefixes stay binary-safe; the original error bytes remain in Execute.ServerError.

Expected : [
    ArrayOrNullReply,
    ArrayReply,
    BulkOrNullReply,
    BulkReply,
    IntegerBooleanReply,
    IntegerReply,
    OkayReply,
    OptionalBulkArrayReply,
    SimpleReply,
]
Error : [
    ServerError(List(U8)),
    UnexpectedReply({ actual : Resp, expected : Expected }),
]

UnexpectedReply retains the complete actual value for diagnostics. Map errors to a compact application-owned summary before storing or queueing them long-term; retaining this error can keep large reply trees alive.