Term

zio.blocks.schema.Term
See theTerm companion object
final case class Term[F[_, _], S, A](name: String, value: Reflect[F, A], doc: Doc = ..., modifiers: Seq[Term] = ...) extends Reflectable[A]

A named child of a Reflect node: a field of a record or a case of a variant. S is the type of the record or variant, and A the type of the field or case; the type members Source and Focus name them.

Value parameters

doc

the documentation of the field or case

modifiers

modifiers such as Modifier.rename or Modifier.transient

name

the name of the field or case

value

the node of A

Attributes

Companion
object
Source
Term.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Reflectable[A]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

type Focus = A

Attributes

Source
Term.scala
type Source = S

Attributes

Source
Term.scala

Value members

Concrete methods

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
Source
Term.scala
def transform[G[_, _]](path: DynamicOptic, termType: Type, f: ReflectTransformer[F, G]): Lazy[Term[G, S, A]]

Returns this term with value transformed by f, at path extended with this term's field step (for Term.Type.Record) or case step (for Term.Type.Variant). The name, documentation and modifiers stay the same.

Returns this term with value transformed by f, at path extended with this term's field step (for Term.Type.Record) or case step (for Term.Type.Variant). The name, documentation and modifiers stay the same.

Attributes

Source
Term.scala

Inherited methods

def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala