The kinds of Reflect node, the Reflect.Bound and Reflect.Unbound aliases, and the nodes of the built-in primitive, option, either, collection and map types.
Attributes
- Companion
- trait
- Source
- Reflect.scala
- Graph
-
- Supertypes
- Self type
-
Reflect.type
Members list
Type members
Classlikes
A node that stands for another node, built the first time it is needed. A recursive type uses it to refer to itself: in the derived schema of case class Tree(value: Int, children: List[Tree]), the node of the children field is a Deferred. Derivation also uses it for every field with a default value.
A node that stands for another node, built the first time it is needed. A recursive type uses it to refer to itself: in the derived schema of case class Tree(value: Int, children: List[Tree]), the node of the children field is a Deferred. Derivation also uses it for every field with a default value.
Its methods forward to value, except for the default value and examples set on this node, and the type ID when _typeId is set. The methods that walk the tree stop when they come back to this node: typeId then returns a placeholder named ``, toString prints deferred => and the type ID, equals returns true, and the as* and is* methods return None and false.
Value parameters
- _typeId
-
a type ID to return instead of that node's
- _value
-
builds the node that this one stands for
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Reflectable[A]class Objecttrait Matchableclass AnyShow all
- Self type
-
Type alias for deferred nodes of a bound reflect.
Type alias for deferred nodes of a bound reflect.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Deferred.type
A node for a DynamicValue of any shape. fromDynamicValue returns any value as it is, and default values and examples are stored as they are given. Two dynamic nodes are equal when their documentation and modifiers are.
A node for a DynamicValue of any shape. fromDynamicValue returns any value as it is, and default values and examples are stored as they are given. Two dynamic nodes are equal when their documentation and modifiers are.
Value parameters
- dynamicBinding
-
a
Binding.Dynamicin a bound reflect,NoBindingin an unbound one - storedDefaultValue
-
the default value
- storedExamples
-
the examples
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Reflectable[DynamicValue]class Objecttrait Matchableclass AnyShow all
Type alias for dynamic nodes of a bound reflect.
Type alias for dynamic nodes of a bound reflect.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Dynamic.type
Patterns that match the sequence node of a standard collection by its type ID and return its element node.
Patterns that match the sequence node of a standard collection by its type ID and return its element node.
Attributes
- Source
- Reflect.scala
- Supertypes
- Self type
-
Extractors.type
A node for a map M[K, V] with keys of type K and values of type V.
A node for a map M[K, V] with keys of type K and values of type V.
Value parameters
- key
-
the node of the key type
- mapBinding
-
a
Binding.Mapwith the constructor and deconstructor ofMin a bound reflect,NoBindingin an unbound one - storedDefaultValue
-
the default value, stored as a DynamicValue
- storedExamples
-
the examples, stored as DynamicValues
- value
-
the node of the value type
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
- Self type
-
Type aliases for map nodes.
Type aliases for map nodes.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Map.type
A node for one of the scalar types listed in PrimitiveType, such as String, Int or java.time.Instant. It converts values to and from DynamicValue with primitiveType.
A node for one of the scalar types listed in PrimitiveType, such as String, Int or java.time.Instant. It converts values to and from DynamicValue with primitiveType.
Value parameters
- primitiveBinding
-
a
Binding.Primitivein a bound reflect,NoBindingin an unbound one - primitiveType
-
the primitive type, with the
ValidationthatDynamicSchema#checkchecks - storedDefaultValue
-
the default value, stored as a DynamicValue
- storedExamples
-
the examples, stored as DynamicValues
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Reflectable[A]class Objecttrait Matchableclass AnyShow all
- Self type
-
Type alias for primitive nodes of a bound reflect.
Type alias for primitive nodes of a bound reflect.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Primitive.type
A node for a product type, such as a case class, with a Term per field in declaration order.
A node for a product type, such as a case class, with a Term per field in declaration order.
Value parameters
- fields
-
the fields, each a Term with the field's name and node
- recordBinding
-
a
Binding.Recordwith the constructor and deconstructor ofAin a bound reflect,NoBindingin an unbound one - storedDefaultValue
-
the default value, stored as a DynamicValue
- storedExamples
-
the examples, stored as DynamicValues
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Reflectable[A]class Objecttrait Matchableclass AnyShow all
- Self type
-
Register layout helpers for record nodes.
Register layout helpers for record nodes.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Record.type
A node for a collection C[A] of elements of type A, such as List[A], Vector[A] or Set[A].
A node for a collection C[A] of elements of type A, such as List[A], Vector[A] or Set[A].
Value parameters
- element
-
the node of the element type
- seqBinding
-
a
Binding.Seqwith the constructor and deconstructor ofCin a bound reflect,NoBindingin an unbound one - storedDefaultValue
-
the default value, stored as a DynamicValue
- storedExamples
-
the examples, stored as DynamicValues
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
- Self type
-
Type aliases for sequence nodes.
Type aliases for sequence nodes.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Sequence.type
The kinds of node. A Reflect.Deferred has the kind of the node it stands for.
The kinds of node. A Reflect.Deferred has the kind of the node it stands for.
Attributes
- Companion
- trait
- Source
- Reflect.scala
- Supertypes
- Self type
-
Type.type
The kind of a Reflect node, which Reflect#nodeType returns. Its NodeBinding is the kind of binding that such a node holds.
The kind of a Reflect node, which Reflect#nodeType returns. Its NodeBinding is the kind of binding that such a node holds.
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
- Known subtypes
A function that replaces a node of any type, which Reflect#updated applies to the node at a DynamicOptic path.
A function that replaces a node of any type, which Reflect#updated applies to the node at a DynamicOptic path.
Attributes
- Source
- Reflect.scala
- Supertypes
A node for a sum type, such as a sealed trait or an enum, with a Term per case. The value of each case term is the node of that case, usually a record.
A node for a sum type, such as a sealed trait or an enum, with a Term per case. The value of each case term is the node of that case, usually a record.
Value parameters
- cases
-
the cases, each a Term with the case's name and node
- storedDefaultValue
-
the default value, stored as a DynamicValue
- storedExamples
-
the examples, stored as DynamicValues
- variantBinding
-
a
Binding.Variantwith the discriminator and matchers ofAin a bound reflect,NoBindingin an unbound one
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Reflectable[A]class Objecttrait Matchableclass AnyShow all
Type alias for variant nodes of a bound reflect.
Type alias for variant nodes of a bound reflect.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Variant.type
A node for a type A that wraps a value of type B, such as an opaque type or a type built with Schema#transform. A has the DynamicValue form of B: toDynamicValue unwraps the value, and fromDynamicValue decodes a B and wraps it, returning a ConversionFailed error at .wrapped when the wrap function throws.
A node for a type A that wraps a value of type B, such as an opaque type or a type built with Schema#transform. A has the DynamicValue form of B: toDynamicValue unwraps the value, and fromDynamicValue decodes a B and wraps it, returning a ConversionFailed error at .wrapped when the wrap function throws.
Value parameters
- storedDefaultValue
-
the default value, stored as a DynamicValue
- storedExamples
-
the examples, stored as DynamicValues
- wrapped
-
the node of the wrapped type
B - wrapperBinding
-
a
Binding.Wrapperwith the wrap and unwrap functions in a bound reflect,NoBindingin an unbound one
Attributes
- Companion
- object
- Source
- Reflect.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Reflectable[A]class Objecttrait Matchableclass AnyShow all
- Self type
-
Type aliases for wrapper nodes.
Type aliases for wrapper nodes.
Attributes
- Companion
- class
- Source
- Reflect.scala
- Supertypes
- Self type
-
Wrapper.type
Types
A Reflect with runtime bindings, capable of constructing and deconstructing values.
A Reflect with runtime bindings, capable of constructing and deconstructing values.
Attributes
- Source
- Reflect.scala
A Reflect without runtime bindings, used for structural inspection and validation.
A Reflect without runtime bindings, used for structural inspection and validation.
Unbound reflects retain all schema metadata (type names, documentation, validations) but lack the runtime machinery to construct or deconstruct actual values. They are used by DynamicSchema for runtime validation of DynamicValue instances.
Attributes
- Source
- Reflect.scala
Inherited and Abstract types
The names of the product elements.
The name of the type.
Value members
Concrete methods
Returns the primitive node of BigDecimal, without validation.
Returns the primitive node of BigInt, without validation.
Returns the primitive node of Boolean, without validation.
Returns the primitive node of Byte, without validation.
Returns the primitive node of Char, without validation.
Returns the sequence node of Chunk[A], whose elements are described by element.
Returns the sequence node of Chunk[A], whose elements are described by element.
Attributes
- Source
- Reflect.scala
Returns the map node of ChunkMap[K, V], with the key node key and the value node value.
Returns the map node of ChunkMap[K, V], with the key node key and the value node value.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.util.Currency, without validation.
Returns the primitive node of java.util.Currency, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.DayOfWeek, without validation.
Returns the primitive node of java.time.DayOfWeek, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of Double, without validation.
Returns the primitive node of java.time.Duration, without validation.
Returns the primitive node of java.time.Duration, without validation.
Attributes
- Source
- Reflect.scala
Returns a Reflect.Dynamic node for values of any shape.
Creates an Either[A, B] variant using the layouts described by the two child reflects.
Creates an Either[A, B] variant using the layouts described by the two child reflects.
Type parameters
- A
-
the left value type
- B
-
the right value type
- F
-
the metadata type constructor
Value parameters
- F
-
the conversion from runtime bindings to metadata
- left
-
the reflect for left values
- right
-
the reflect for right values
Attributes
- Returns
-
a variant reflect whose cases are ordered as
Left, thenRight - Source
- Reflect.scala
Returns the primitive node of Float, without validation.
Returns the sequence node of IndexedSeq[A], whose elements are described by element.
Returns the sequence node of IndexedSeq[A], whose elements are described by element.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.Instant, without validation.
Returns the primitive node of java.time.Instant, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of Int, without validation.
Returns the sequence node of List[A], whose elements are described by element.
Returns the sequence node of List[A], whose elements are described by element.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.LocalDate, without validation.
Returns the primitive node of java.time.LocalDate, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.LocalDateTime, without validation.
Returns the primitive node of java.time.LocalDateTime, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.LocalTime, without validation.
Returns the primitive node of java.time.LocalTime, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of Long, without validation.
Returns the map node of an immutable Map[K, V], with the key node key and the value node value.
Returns the map node of an immutable Map[K, V], with the key node key and the value node value.
Attributes
- Source
- Reflect.scala
Returns the variant node of zio.blocks.maybe.Maybe[A] for a reference type A, typed as a Variant[F, AnyRef], with the cases Absent and Present. Present is a record with the single field value, whose node is element.
Returns the variant node of zio.blocks.maybe.Maybe[A] for a reference type A, typed as a Variant[F, AnyRef], with the cases Absent and Present. Present is a record with the single field value, whose node is element.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Boolean], whose Present binding keeps the value in a Boolean register.
Like maybe, for Maybe[Boolean], whose Present binding keeps the value in a Boolean register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Byte], whose Present binding keeps the value in a Byte register.
Like maybe, for Maybe[Byte], whose Present binding keeps the value in a Byte register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Char], whose Present binding keeps the value in a Char register.
Like maybe, for Maybe[Char], whose Present binding keeps the value in a Char register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Double], whose Present binding keeps the value in a Double register.
Like maybe, for Maybe[Double], whose Present binding keeps the value in a Double register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Float], whose Present binding keeps the value in a Float register.
Like maybe, for Maybe[Float], whose Present binding keeps the value in a Float register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Int], whose Present binding keeps the value in an Int register.
Like maybe, for Maybe[Int], whose Present binding keeps the value in an Int register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Long], whose Present binding keeps the value in a Long register.
Like maybe, for Maybe[Long], whose Present binding keeps the value in a Long register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Short], whose Present binding keeps the value in a Short register.
Like maybe, for Maybe[Short], whose Present binding keeps the value in a Short register.
Attributes
- Source
- Reflect.scala
Like maybe, for Maybe[Unit].
Returns the primitive node of java.time.Month, without validation.
Returns the primitive node of java.time.MonthDay, without validation.
Returns the primitive node of java.time.MonthDay, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.OffsetDateTime, without validation.
Returns the primitive node of java.time.OffsetDateTime, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.OffsetTime, without validation.
Returns the primitive node of java.time.OffsetTime, without validation.
Attributes
- Source
- Reflect.scala
Returns the variant node of Option[A] for a reference type A, with the cases None and Some. Some is a record with the single field value, whose node is element.
Returns the variant node of Option[A] for a reference type A, with the cases None and Some. Some is a record with the single field value, whose node is element.
Attributes
- Source
- Reflect.scala
Like option, for Option[Boolean], whose Some binding keeps the value in a Boolean register.
Like option, for Option[Boolean], whose Some binding keeps the value in a Boolean register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Byte], whose Some binding keeps the value in a Byte register.
Like option, for Option[Byte], whose Some binding keeps the value in a Byte register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Char], whose Some binding keeps the value in a Char register.
Like option, for Option[Char], whose Some binding keeps the value in a Char register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Double], whose Some binding keeps the value in a Double register.
Like option, for Option[Double], whose Some binding keeps the value in a Double register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Float], whose Some binding keeps the value in a Float register.
Like option, for Option[Float], whose Some binding keeps the value in a Float register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Int], whose Some binding keeps the value in an Int register.
Like option, for Option[Int], whose Some binding keeps the value in an Int register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Long], whose Some binding keeps the value in a Long register.
Like option, for Option[Long], whose Some binding keeps the value in a Long register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Short], whose Some binding keeps the value in a Short register.
Like option, for Option[Short], whose Some binding keeps the value in a Short register.
Attributes
- Source
- Reflect.scala
Like option, for Option[Unit].
Returns the primitive node of java.time.Period, without validation.
Returns the sequence node of Seq[A], whose elements are described by element.
Returns the sequence node of Seq[A], whose elements are described by element.
Attributes
- Source
- Reflect.scala
Returns the sequence node of Set[A], whose elements are described by element.
Returns the sequence node of Set[A], whose elements are described by element.
Attributes
- Source
- Reflect.scala
Returns the primitive node of Short, without validation.
Returns the primitive node of String, without validation.
Returns the primitive node of Unit.
Returns the primitive node of java.util.UUID, without validation.
Returns the sequence node of Vector[A], whose elements are described by element.
Returns the sequence node of Vector[A], whose elements are described by element.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.Year, without validation.
Returns the primitive node of java.time.YearMonth, without validation.
Returns the primitive node of java.time.YearMonth, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.ZoneId, without validation.
Returns the primitive node of java.time.ZoneOffset, without validation.
Returns the primitive node of java.time.ZoneOffset, without validation.
Attributes
- Source
- Reflect.scala
Returns the primitive node of java.time.ZonedDateTime, without validation.
Returns the primitive node of java.time.ZonedDateTime, without validation.
Attributes
- Source
- Reflect.scala