@zio.dev/zio-blocks 0.0.22 → 0.0.25

package/index.md

@@ -23,6 +23,7 @@ The philosophy is simple: **use what you need, nothing more**. Each block is ind
 | **Docs** | GitHub Flavored Markdown parsing and rendering | ✅ Available |
 | **TypeId** | Compile-time type identity with rich metadata | ✅ Available |
 | **Context** | Type-indexed heterogeneous collections | ✅ Available |
+| **MediaType** | Type-safe IANA media types with 2,600+ predefined types | ✅ Available |
 | **Streams** | Pull-based streaming primitives | 🚧 In Development |
 
 ## Core Principles
@@ -80,14 +81,14 @@ val thriftCodec  = Schema[Person].derive(ThriftFormat)      // Thrift
 ### Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-schema" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema" % "0.0.25"
 
 // Optional format modules:
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-avro" % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-toon" % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-messagepack" % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-thrift" % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-bson" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-avro" % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-toon" % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-messagepack" % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-thrift" % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-bson" % "0.0.25"
 ```
 
 ### Example: Optics
@@ -142,7 +143,7 @@ Chunk is designed for:
 ### Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-chunk" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-chunk" % "0.0.25"
 ```
 
 ### Example
@@ -201,19 +202,19 @@ Using(openDatabase()) { db =>
 Scope makes resource leaks a **compile error**, not a runtime bug:
 
 ```scala
-import zio.blocks.scope._
+import zio.blocks.scope.*
 
 Scope.global.scoped { scope =>
-  import scope._
+  import scope.*
 
   val db: $[Database] = allocate(Resource(openDatabase()))
 
   // Methods are hidden - can't call db.query() directly
-  // Must use scope.use to access:
-  val result = scope.use(db)(_.query("SELECT 1"))
+  // Must use $ to access:
+  val result: String = $(db)(_.query("SELECT 1"))
 
   // Trying to return `db` would be a compile error!
-  result  // Only pure data escapes
+  result  // Only pure data (String) escapes
 }
 // db.close() called automatically
 ```
@@ -230,27 +231,26 @@ Scope.global.scoped { scope =>
 ### Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-scope" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-scope" % "0.0.25"
 ```
 
 ### Example: Basic Resource Management
 
 ```scala
-import zio.blocks.scope._
+import zio.blocks.scope.*
 
-final class Database extends AutoCloseable {
+final class Database extends AutoCloseable:
   def query(sql: String): String = s"Result: $sql"
   def close(): Unit = println("Database closed")
-}
 
 Scope.global.scoped { scope =>
-  import scope._
+  import scope.*
 
-  // Allocate returns scope.$[Database] (scoped value)
+  // Allocate returns $[Database] (scoped value)
   val db: $[Database] = allocate(Resource(new Database))
 
-  // Access via scope.use - result (String) escapes, db does not
-  val result = scope.use(db)(_.query("SELECT * FROM users"))
+  // Access via $ - result (String) escapes, db does not
+  val result: String = $(db)(_.query("SELECT * FROM users"))
 
   println(result)
 }
@@ -261,7 +261,7 @@ Scope.global.scoped { scope =>
 ### Example: Dependency Injection
 
 ```scala
-import zio.blocks.scope._
+import zio.blocks.scope.*
 
 case class Config(dbUrl: String)
 class Database(config: Config) extends AutoCloseable { ... }
@@ -275,11 +275,11 @@ val serviceResource: Resource[UserService] = Resource.from[UserService](
 )
 
 Scope.global.scoped { scope =>
-  import scope._
+  import scope.*
 
   val service = allocate(serviceResource)
 
-  scope.use(service)(_.createUser("Alice"))
+  $(service)(_.createUser("Alice"))
 }
 // Cleanup runs LIFO: UserService → Database (UserRepo has no cleanup)
 ```
@@ -288,24 +288,18 @@ Scope.global.scoped { scope =>
 
 ```scala
 Scope.global.scoped { connScope =>
-  import connScope._
+  import connScope.*
 
   val conn = allocate(Resource.fromAutoCloseable(new Connection))
 
   // Transaction lives in child scope - cleaned up before connection
   val result: String = scoped { txScope =>
-    import txScope._
-
-    // For-comprehension: flatMap unwraps $[Connection] to Connection,
-    // so c.beginTransaction() returns a raw Resource[Transaction]
-    for {
-      c  <- lower(conn)
-      tx <- allocate(c.beginTransaction())
-    } yield {
-      tx.execute("INSERT INTO users VALUES (1, 'Alice')")
-      tx.commit()
-      "success"
-    }
+    import txScope.*
+    val c  = lower(conn)
+    val tx = $(c)(_.beginTransaction()).allocate
+    $(tx)(_.execute("INSERT INTO users VALUES (1, 'Alice')"))
+    $(tx)(_.commit())
+    "success"
   }
   // Transaction closed here, connection still open
 
@@ -340,7 +334,7 @@ Generating documentation, README files, or any Markdown content programmatically
 ### Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-docs" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-docs" % "0.0.25"
 ```
 
 ### Example
@@ -424,7 +418,7 @@ Compile-time type identity with rich metadata. TypeId captures comprehensive inf
 ### Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-typeid" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-typeid" % "0.0.25"
 ```
 
 ### Example
@@ -467,7 +461,7 @@ A type-indexed heterogeneous collection that stores values by their types with c
 ### Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-context" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-context" % "0.0.25"
 ```
 
 ### Example
@@ -548,6 +542,7 @@ ZIO Blocks supports **Scala 2.13** and **Scala 3.x** with full source compatibil
 ### Optics & Navigation
 
 - [Optics](./reference/optics.md) - Lenses, prisms, and traversals
+- [SchemaExpr](./reference/schema-expr.md) - Schema-aware expressions for queries and validation
 - [Path Interpolator](./path-interpolator.md) - Type-safe path construction
 - [DynamicValue](./reference/dynamic-value.md) - Schema-less dynamic values
 
@@ -572,3 +567,11 @@ ZIO Blocks supports **Scala 2.13** and **Scala 3.x** with full source compatibil
 - [TypeId](./reference/typeid.md) - Type identity and metadata
 - [Context](./reference/context.md) - Type-indexed heterogeneous collections
 - [Docs (Markdown)](./reference/docs.md) - Markdown parsing and rendering
+- [MediaType](./reference/media-type.md) - Type-safe IANA media types
+
+### Guides
+
+- [Query DSL Part 1: Expressions](./guides/query-dsl-reified-optics.md) - Build type-safe, composable query expressions
+- [Query DSL Part 2: SQL Generation](./guides/query-dsl-sql.md) - Translate query expressions into SQL
+- [Query DSL Part 3: Extending the Expression Language](./guides/query-dsl-extending.md) - Add custom operators beyond SchemaExpr
+- [Query DSL Part 4: A Fluent SQL Builder](./guides/query-dsl-fluent-builder.md) - Build type-safe SELECT, UPDATE, INSERT, DELETE statements

package/package.json

@@ -2,7 +2,7 @@
   "name": "@zio.dev/zio-blocks",
   "description": "ZIO Blocks Documentation",
   "license": "Apache-2.0",
-  "version": "0.0.22",
+  "version": "0.0.25",
   "repository": {
     "url": "https://github.com/zio/zio-blocks"
   }

package/reference/codec.md

@@ -48,23 +48,23 @@ val result: Either[SchemaError, Person] = Person.codec.decode(bytes)
 To include the base schema module with JSON support, add the following dependency to your `build.sbt`:
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-schema" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema" % "0.0.25"
 ```
 
 Additional format modules are separate artifacts:
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-avro"        % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-toon"        % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-messagepack" % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-thrift"      % "0.0.22"
-libraryDependencies += "dev.zio" %% "zio-blocks-schema-bson"        % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-avro"        % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-toon"        % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-messagepack" % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-thrift"      % "0.0.25"
+libraryDependencies += "dev.zio" %% "zio-blocks-schema-bson"        % "0.0.25"
 ```
 
 For cross-platform projects (Scala.js):
 
 ```scala
-libraryDependencies += "dev.zio" %%% "zio-blocks-schema" % "0.0.22"
+libraryDependencies += "dev.zio" %%% "zio-blocks-schema" % "0.0.25"
 ```
 
 Supported Scala versions: 2.13.x and 3.x.
@@ -227,7 +227,8 @@ val person = Person("Alice", 30)
 
 // Array[Byte]
 val bytes: Array[Byte] = codec.encode(person)
-val fromBytes: Either[SchemaError, Person] = codec.decode(bytes)
+val fromBytes1: Either[SchemaError, Person] = codec.decode(bytes)
+val fromBytes2: Either[SchemaError, Person] = codec.decode(bytes, 0, bytes.length)
 
 // String
 val jsonStr: String = codec.encodeToString(person)
@@ -272,16 +273,17 @@ val fromStr: Either[SchemaError, Person] = codec.decode("name: Alice\nage: 30")
 
 `BinaryCodec` subclasses (JSON, TOON, MessagePack, Avro, Thrift) expose the following convenience overloads (availability may vary by format):
 
-| Method                                               | Description                                  |
-|------------------------------------------------------|----------------------------------------------|
-| `encode(value): Array[Byte]`                         | Encode to a byte array                       |
-| `decode(input: Array[Byte]): Either[SchemaError, A]` | Decode from a byte array                     |
-| `encode(value, output: ByteBuffer): Unit`            | Encode into a `ByteBuffer`                   |
-| `decode(input: ByteBuffer): Either[SchemaError, A]`  | Decode from a `ByteBuffer`                   |
-| `encode(value, output: OutputStream): Unit`          | Encode into an `OutputStream` (JSON, TOON, Avro)   |
-| `decode(input: InputStream): Either[SchemaError, A]` | Decode from an `InputStream` (JSON, TOON, Avro)    |
-| `encodeToString(value): String`                      | Encode to a `String` (JSON, TOON)            |
-| `decode(input: String): Either[SchemaError, A]`      | Decode from a `String` (JSON, TOON)          |
+| Method                                                                   | Description                                      |
+|--------------------------------------------------------------------------|--------------------------------------------------|
+| `encode(value): Array[Byte]`                                             | Encode to a byte array                           |
+| `decode(input: Array[Byte]): Either[SchemaError, A]`                     | Decode from a byte array                         |
+| `decode(input: Array[Byte], from: Int, to: Int): Either[SchemaError, A]` | Decode from a byte array slice                   |
+| `encode(value, output: ByteBuffer): Unit`                                | Encode into a `ByteBuffer`                       |
+| `decode(input: ByteBuffer): Either[SchemaError, A]`                      | Decode from a `ByteBuffer`                       |
+| `encode(value, output: OutputStream): Unit`                              | Encode into an `OutputStream` (JSON, TOON, Avro) |
+| `decode(input: InputStream): Either[SchemaError, A]`                     | Decode from an `InputStream` (JSON, TOON, Avro)  |
+| `encodeToString(value): String`                                          | Encode to a `String` (JSON, TOON)                |
+| `decode(input: String): Either[SchemaError, A]`                          | Decode from a `String` (JSON, TOON)              |
 
 The `String`-based methods are available on text-oriented binary codecs (JSON, TOON) but not on purely binary formats like Avro or Thrift.
 

package/reference/docs.md

@@ -10,7 +10,7 @@ Complete API reference for the zio-blocks-docs module - a zero-dependency GitHub
 ## Installation
 
 ```scala
-libraryDependencies += "dev.zio" %% "zio-blocks-docs" % "0.0.22"
+libraryDependencies += "dev.zio" %% "zio-blocks-docs" % "0.0.25"
 ```
 
 ## Core Types

package/reference/dynamic-optic.md

@@ -25,6 +25,10 @@ val result = data.get(path).one
 // Right(DynamicValue.Primitive(PrimitiveValue.String("Alice")))
 ```
 
+:::tip
+For a practical example of extracting column names from `DynamicOptic` paths to generate SQL, see the [Query DSL Part 2: SQL Generation](../guides/query-dsl-sql.md) guide.
+:::
+
 ## Motivation
 
 Most of the time you work with typed `Optic[S, A]` values — they are statically verified and provide type-safe

package/reference/json-schema.md

@@ -621,7 +621,7 @@ val schemaJson = userSchema.toJson.print
 
 ## Cross-Platform Support
 
-`JsonSchema` works across all platforms:
+`JsonSchema` works across 2 platforms:
 
 - **JVM** - Full functionality
 - **Scala.js** - Browser and Node.js

package/reference/json.md

@@ -971,9 +971,9 @@ error.errors.head.source // DynamicOptic path to error location
 
 ## Cross-Platform Support
 
-The `Json` type works across all platforms:
+The `Json` type works across 2 platforms:
 
 - **JVM** - Full functionality
 - **Scala.js** - Browser and Node.js
 
-String interpolators use compile-time validation that works on all platforms.
+String interpolators use compile-time validation that works on both platforms too.