Type

zio.blocks.schema.Reflect.Type
See theType companion trait
object Type

The kinds of node. A Reflect.Deferred has the kind of the node it stands for.

Attributes

Companion
trait
Source
Reflect.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Type.type

Members list

Type members

Classlikes

case object Dynamic extends Type

The kind of a Reflect.Dynamic node.

The kind of a Reflect.Dynamic node.

Attributes

Source
Reflect.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
Dynamic.type
case class Map[M[_, _]]() extends Type

The kind of a Reflect.Map node of map type M.

The kind of a Reflect.Map node of map type M.

Attributes

Source
Reflect.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
case object Primitive extends Type

The kind of a Reflect.Primitive node.

The kind of a Reflect.Primitive node.

Attributes

Source
Reflect.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
Primitive.type
case object Record extends Type

The kind of a Reflect.Record node.

The kind of a Reflect.Record node.

Attributes

Source
Reflect.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
Record.type
case class Sequence[C[_]]() extends Type

The kind of a Reflect.Sequence node of collection type C.

The kind of a Reflect.Sequence node of collection type C.

Attributes

Source
Reflect.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
case object Variant extends Type

The kind of a Reflect.Variant node.

The kind of a Reflect.Variant node.

Attributes

Source
Reflect.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
Variant.type
case class Wrapper[A, B]() extends Type

The kind of a Reflect.Wrapper node of A wrapping B.

The kind of a Reflect.Wrapper node of A wrapping B.

Attributes

Source
Reflect.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
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