BindingCompanionVersionSpecific

Derives a Binding for type A at compile time.

Supports:

• Primitive types (Int, String, Boolean, etc.)
• Case classes and tuples (derives Binding.Record)
• Case objects and enum cases without parameters (derives a Binding.Record that always returns the object)
• Sealed traits, sealed abstract classes and enums (derives Binding.Variant)
• Option, Either, and their subtypes
• zio.blocks.schema.DynamicValue
• A class with one field whose companion has an apply from the field's type to Either[E, A] (derives a Binding.Wrapper whose wrap calls apply and throws a SchemaError on a Left)
• Structural types, on the JVM only
• zio-prelude newtypes (derives Binding.Wrapper)
• On Scala 3 only: named tuples (derives Binding.Record), union types (derives Binding.Variant, with the cases sorted by the full name of each case's type, not in the order the union is written) and opaque types (derives Binding.Wrapper)

On Scala 3, a structural record type needs a build of this library with Scala 3.5 or later; a union of structural types does not. Both Scala 3 artifacts are such builds (zio-blocks-schema with Scala 3.9, zio-blocks-next-schema with Scala 3.10). (In 0.0.56, zio-blocks-schema was built with Scala 3.3 and rejected structural record types at compile time.)

For sequence types (List, Vector, etc.) and map types, use the overloads that take type constructors: Binding.of[List], Binding.of[Map]; Binding.of[List[Int]] does not compile.

Creates a Binding.Seq for a sequence type constructor from the implicit SeqConstructor and SeqDeconstructor instances. The resulting binding has element type Nothing, which upcasts to any element type via covariance.

Creates a Binding.Map for a map type constructor from the implicit MapConstructor and MapDeconstructor instances. The resulting binding has key and value types Nothing, which upcast via covariance.