Term

zio.blocks.schema.Term
See theTerm companion class
object Term

The kinds of term, and helpers for Term.

Attributes

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

Members list

Type members

Classlikes

object Type

The two kinds of term: Record for a field, Variant for a case.

The two kinds of term: Record for a field, Variant for a case.

Attributes

Companion
trait
Source
Term.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Type.type
sealed trait Type

Whether a Term is a field of a record or a case of a variant.

Whether a Term is a field of a record or a case of a variant.

Attributes

Companion
object
Source
Term.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Record
object Variant
trait Updater[F[_, _]]

A function that replaces a term of any type, which Reflect.Record#modifyField and Reflect.Variant#modifyCase apply.

A function that replaces a term of any type, which Reflect.Record#modifyField and Reflect.Variant#modifyCase apply.

Attributes

Source
Term.scala
Supertypes
class Object
trait Matchable
class Any

Types

type Bound[S, A] = Term[Binding, S, A]

A term of a bound reflect.

A term of a bound reflect.

Attributes

Source
Term.scala

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