ExtensibleMetaSchema

zio.schema.meta.ExtensibleMetaSchema$
See theExtensibleMetaSchema companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class Dictionary[BuiltIn <: TypeList](keys: ExtensibleMetaSchema[BuiltIn], values: ExtensibleMetaSchema[BuiltIn], path: NodePath, optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Dictionary

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class Either[BuiltIn <: TypeList](path: NodePath, left: ExtensibleMetaSchema[BuiltIn], right: ExtensibleMetaSchema[BuiltIn], optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Either

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Either.type
final case class FailNode[BuiltIn <: TypeList](message: String, path: NodePath, optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object FailNode

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class Known[BuiltIn <: TypeList](typeId: TypeId, path: NodePath, optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Known

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Known.type
final case class Labelled[BuiltIn <: TypeList](label: String, schema: ExtensibleMetaSchema[BuiltIn])

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Labelled

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Lineage(paths: Chunk[(Int, NodePath)])

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Lineage

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Lineage.type
final case class ListNode[BuiltIn <: TypeList](item: ExtensibleMetaSchema[BuiltIn], path: NodePath, optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object ListNode

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class Product[BuiltIn <: TypeList](id: TypeId, path: NodePath, fields: Chunk[Labelled[BuiltIn]], optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Product

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Product.type
final case class Ref[BuiltIn <: TypeList](refPath: NodePath, path: NodePath, optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Ref

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Ref.type
final case class Sum[BuiltIn <: TypeList](id: TypeId, path: NodePath, cases: Chunk[Labelled[BuiltIn]], optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Sum

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Sum.type
final case class Tuple[BuiltIn <: TypeList](path: NodePath, left: ExtensibleMetaSchema[BuiltIn], right: ExtensibleMetaSchema[BuiltIn], optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Tuple

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Tuple.type
final case class Value[BuiltIn <: TypeList](valueType: StandardType[_], path: NodePath, optional: Boolean)(implicit builtInInstances: SchemaInstances[BuiltIn]) extends ExtensibleMetaSchema[BuiltIn]

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
object Value

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Value.type

Value members

Concrete methods

def fromSchema[A, BuiltIn <: TypeList](schema: Schema[A])(implicit builtInInstances: SchemaInstances[BuiltIn]): ExtensibleMetaSchema[BuiltIn]

Implicits

Implicits

implicit val equals: Equal[MetaSchema]
implicit def schema[BuiltIn <: TypeList](implicit builtInInstances: SchemaInstances[BuiltIn]): Schema[ExtensibleMetaSchema[BuiltIn]]