ExtensibleMetaSchema

zio.schema.meta.ExtensibleMetaSchema
See theExtensibleMetaSchema companion trait

Attributes

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

Members list

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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Dictionary

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Dictionary.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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Either

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object FailNode

Attributes

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

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Fallback

Attributes

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

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Known

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Labelled

Attributes

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

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Lineage

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object ListNode

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
ListNode.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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Product

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Ref

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Sum

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Tuple

Attributes

Companion
class
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
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtensibleMetaSchema[BuiltIn]
class Object
trait Matchable
class Any
Show all
object Value

Attributes

Companion
class
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 val nodePathSchema: Schema[NodePath]
implicit def schema[BuiltIn <: TypeList](implicit builtInInstances: SchemaInstances[BuiltIn]): Schema[ExtensibleMetaSchema[BuiltIn]]