DynamicOptic

zio.blocks.schema.DynamicOptic
See theDynamicOptic companion class
object DynamicOptic

The starting points for paths, their DynamicOptic.Node steps, and the schemas that make paths serializable.

Attributes

Companion
class
Source
DynamicOptic.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object Node

The kinds of step a DynamicOptic can take.

The kinds of step a DynamicOptic can take.

Attributes

Companion
trait
Source
DynamicOptic.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Node.type
sealed trait Node

One step of a DynamicOptic.

One step of a DynamicOptic.

Attributes

Companion
object
Source
DynamicOptic.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AtIndex
class AtIndices
class AtMapKey
class AtMapKeys
class Case
object Elements
class Field
object MapKeys
object MapValues
class SchemaSearch
class TypeSearch
object Wrapped
Show all

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete fields

A one-step path to every element of a sequence.

A one-step path to every element of a sequence.

Attributes

Source
DynamicOptic.scala

A one-step path to every key of a map.

A one-step path to every key of a map.

Attributes

Source
DynamicOptic.scala

A one-step path to every value of a map.

A one-step path to every value of a map.

Attributes

Source
DynamicOptic.scala

The empty path, which points at the value itself.

The empty path, which points at the value itself.

Attributes

Source
DynamicOptic.scala

A one-step path to the value inside a wrapper.

A one-step path to the value inside a wrapper.

Attributes

Source
DynamicOptic.scala

Implicits

Implicits

implicit lazy val atIndexSchema: Schema[AtIndex]

The schema of DynamicOptic.Node.AtIndex.

The schema of DynamicOptic.Node.AtIndex.

Attributes

Source
DynamicOptic.scala
implicit lazy val atIndicesSchema: Schema[AtIndices]

Attributes

Source
DynamicOptic.scala
implicit lazy val atMapKeySchema: Schema[AtMapKey]

Attributes

Source
DynamicOptic.scala
implicit lazy val atMapKeysSchema: Schema[AtMapKeys]

Attributes

Source
DynamicOptic.scala
implicit lazy val caseSchema: Schema[Case]

The schema of DynamicOptic.Node.Case.

The schema of DynamicOptic.Node.Case.

Attributes

Source
DynamicOptic.scala
implicit lazy val elementsSchema: Schema[Elements.type]

Attributes

Source
DynamicOptic.scala
implicit lazy val fieldSchema: Schema[Field]

The schema of DynamicOptic.Node.Field.

The schema of DynamicOptic.Node.Field.

Attributes

Source
DynamicOptic.scala
implicit lazy val mapKeysSchema: Schema[MapKeys.type]

The schema of DynamicOptic.Node.MapKeys.

The schema of DynamicOptic.Node.MapKeys.

Attributes

Source
DynamicOptic.scala
implicit lazy val mapValuesSchema: Schema[MapValues.type]

Attributes

Source
DynamicOptic.scala
implicit lazy val nodeSchema: Schema[Node]

The schema of DynamicOptic.Node, a variant of all the node kinds.

The schema of DynamicOptic.Node, a variant of all the node kinds.

Attributes

Source
DynamicOptic.scala
implicit lazy val schema: Schema[DynamicOptic]

The schema of DynamicOptic, a record with one field, nodes.

The schema of DynamicOptic, a record with one field, nodes.

Attributes

Source
DynamicOptic.scala
implicit lazy val typeSearchSchema: Schema[TypeSearch]

Attributes

Source
DynamicOptic.scala
implicit lazy val wrappedSchema: Schema[Wrapped.type]

The schema of DynamicOptic.Node.Wrapped.

The schema of DynamicOptic.Node.Wrapped.

Attributes

Source
DynamicOptic.scala