Node

zio.blocks.schema.DynamicOptic.Node
See theNode companion trait
object Node

The kinds of step a DynamicOptic can take.

Attributes

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

Members list

Type members

Classlikes

case class AtIndex(index: Int) extends Node

The sequence element at index.

The sequence element at index.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case class AtIndices(index: Seq[Int]) extends Node

The sequence elements at the indices in index.

The sequence elements at the indices in index.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case class AtMapKey(key: DynamicValue) extends Node

The map value at key.

The map value at key.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case class AtMapKeys(keys: Seq[DynamicValue]) extends Node

The map values at keys.

The map values at keys.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case class Case(name: String) extends Node

The variant case name.

The variant case name.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case object Elements extends Node

Every element of a sequence.

Every element of a sequence.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
Self type
Elements.type
case class Field(name: String) extends Node

The record field name.

The record field name.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case object MapKeys extends Node

Every key of a map.

Every key of a map.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
Self type
MapKeys.type
case object MapValues extends Node

Every value of a map.

Every value of a map.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
Self type
MapValues.type
case class SchemaSearch(schemaRepr: SchemaRepr) extends Node

Every value that matches the schema pattern schemaRepr. DynamicOptic#searchSchema and the # steps of p"..." build it.

Every value that matches the schema pattern schemaRepr. DynamicOptic#searchSchema and the # steps of p"..." build it.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case class TypeSearch(typeId: TypeId[_ <: AnyKind]) extends Node

Every value of the nominal type identified by typeId. DynamicOptic#search and the searchFor step of the optic macros build it.

Every value of the nominal type identified by typeId. DynamicOptic#search and the searchFor step of the optic macros build it.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
case object Wrapped extends Node

The value inside a wrapper.

The value inside a wrapper.

Attributes

Source
DynamicOptic.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Node
class Object
trait Matchable
class Any
Show all
Self type
Wrapped.type

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