Add command builder primitives and response extraction helpers (#17)

* Add command builder primitives and response extraction helpers

Six command builder primitives (RedisServer, RedisString, RedisKey,
RedisHash, RedisList, RedisSet) replace raw Array[ByteSeq] val
construction for common Redis commands. Each method is a pure function
returning Array[ByteSeq] val, using ByteSeq parameters to accept both
String and Array[U8] val inputs.

RespConvert provides total functions for extracting typed values from
RespValue responses with a three-way return: the extracted value for
matching types, RespNull for null input, or None for type mismatches.
This replaces nested pattern matching on RespValue variants.

Tests include 11 property tests for RespConvert (one per extractor),
9 property tests for variadic command builders, 8 example test classes,
and an integration test exercising the full roundtrip against Redis.

Design: #16

* Add RespVerbatimString to as_bytes

Aligns with the Discussion #16 design. Users wanting raw bytes from
a VerbatimString no longer need to pattern-match directly.

* Remove release notes (pre-1.0)

Author: SeanTAllen

CLAUDE.md

@@ -50,6 +50,23 @@ Package: `redis`
 - `_BuildHelloCommand` / `_BuildAuthCommand` (primitives in `session.pony`): Build HELLO 3 and AUTH commands for protocol negotiation and authentication.
 - `_IllegalState` / `_Unreachable` (in `_mort.pony`): Primitives for detecting impossible states.
 
+### Command Builders
+
+Six public primitives for constructing common Redis commands as `Array[ByteSeq] val`. Each method is a pure function.
+
+- `RedisServer` (in `redis_server.pony`): PING, ECHO, DBSIZE, FLUSHDB.
+- `RedisString` (in `redis_string.pony`): GET, SET (with NX/EX variants), INCR, DECR, INCRBY, DECRBY, MGET, MSET.
+- `RedisKey` (in `redis_key.pony`): DEL, EXISTS, EXPIRE, TTL, PERSIST, KEYS, RENAME, TYPE (as `type_of`).
+- `RedisHash` (in `redis_hash.pony`): HGET, HSET, HDEL, HGETALL, HEXISTS.
+- `RedisList` (in `redis_list.pony`): LPUSH, RPUSH, LPOP, RPOP, LLEN, LRANGE.
+- `RedisSet` (in `redis_set.pony`): SADD, SREM, SMEMBERS, SISMEMBER, SCARD.
+
+Fixed-argument commands use `recover val [as ByteSeq: ...] end`. Variadic commands use `recover val` with `Array.push` loops.
+
+### Response Extraction
+
+- `RespConvert` (primitive in `resp_convert.pony`): Total functions for extracting typed values from `RespValue`. Each extractor returns `(T | RespNull | None)` except `as_error` → `(String | None)` and `is_ok` → `Bool`. Methods: `as_string`, `as_bytes`, `as_integer`, `as_bool`, `as_array`, `as_double`, `as_big_number`, `as_map`, `as_set`, `as_error`, `is_ok`.
+
 ### SSL/TLS
 
 - `SSLMode` (type alias in `ssl_mode.pony`): `(SSLDisabled | SSLRequired)`. Controls whether the session uses plaintext TCP or SSL/TLS.

examples/basic/main.pony

@@ -22,16 +22,18 @@ actor Client is (SessionStatusNotify & ResultReceiver)
 
   be redis_session_ready(session: Session) =>
     _out.print("Connected and ready.")
-    let cmd: Array[ByteSeq] val = ["SET"; "hello"; "world"]
-    session.execute(cmd, this)
+    session.execute(RedisString.set("hello", "world"), this)
 
   be redis_session_connection_failed(session: Session) =>
     _out.print("Failed to connect.")
 
   be redis_response(session: Session, response: RespValue) =>
-    match response
-    | let s: RespSimpleString => _out.print("Response: " + s.value)
-    | let e: RespError => _out.print("Error: " + e.message)
+    if RespConvert.is_ok(response) then
+      _out.print("Response: OK")
+    else
+      match RespConvert.as_error(response)
+      | let msg: String => _out.print("Error: " + msg)
+      end
     end
     _session.close()
 

redis/_test.pony

@@ -71,3 +71,49 @@ actor \nodoc\ Main is TestList
     // Command construction unit tests
     test(_TestBuildHelloCommand)
     test(_TestBuildAuthCommand)
+
+    // RespConvert property tests
+    test(Property1UnitTest[RespValue](_TestRespConvertAsString))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsBytes))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsInteger))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsBool))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsArray))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsDouble))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsBigNumber))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsMap))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsSet))
+    test(Property1UnitTest[RespValue](_TestRespConvertAsError))
+    test(Property1UnitTest[RespValue](_TestRespConvertIsOk))
+
+    // RespConvert example tests
+    test(_TestRespConvertIsOkExamples)
+    test(_TestRespConvertAsErrorBulkExample)
+
+    // Command builder property tests
+    test(Property1UnitTest[Array[String] val](_TestRedisKeyDelProperty))
+    test(Property1UnitTest[Array[String] val](_TestRedisKeyExistsProperty))
+    test(Property1UnitTest[Array[String] val](
+      _TestRedisStringMgetProperty))
+    test(Property1UnitTest[(String, Array[String] val)](
+      _TestRedisListLpushProperty))
+    test(Property1UnitTest[(String, Array[String] val)](
+      _TestRedisListRpushProperty))
+    test(Property1UnitTest[(String, Array[String] val)](
+      _TestRedisSetSaddProperty))
+    test(Property1UnitTest[(String, Array[String] val)](
+      _TestRedisSetSremProperty))
+    test(Property1UnitTest[(String, Array[String] val)](
+      _TestRedisHashHdelProperty))
+    test(Property1UnitTest[Array[(String, String)] val](
+      _TestRedisStringMsetProperty))
+
+    // Command builder example tests
+    test(_TestRedisServerExamples)
+    test(_TestRedisStringExamples)
+    test(_TestRedisKeyExamples)
+    test(_TestRedisHashExamples)
+    test(_TestRedisListExamples)
+    test(_TestRedisSetExamples)
+
+    // Command API integration test
+    test(_TestCommandApiSetAndGet)