sealed case class CaseClass16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z](field1: Field[A1], field2: Field[A2], field3: Field[A3], field4: Field[A4], field5: Field[A5], field6: Field[A6], field7: Field[A7], field8: Field[A8], field9: Field[A9], field10: Field[A10], field11: Field[A11], field12: Field[A12], field13: Field[A13], field14: Field[A14], field15: Field[A15], field16: Field[A16], construct: (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z, extractField1: (Z) => A1, extractField2: (Z) => A2, extractField3: (Z) => A3, extractField4: (Z) => A4, extractField5: (Z) => A5, extractField6: (Z) => A6, extractField7: (Z) => A7, extractField8: (Z) => A8, extractField9: (Z) => A9, extractField10: (Z) => A10, extractField11: (Z) => A11, extractField12: (Z) => A12, extractField13: (Z) => A13, extractField14: (Z) => A14, extractField15: (Z) => A15, extractField16: (Z) => A16, annotations: Chunk[Any] = Chunk.empty) extends Record[Z] with Product with Serializable
- Self Type
- Schema.CaseClass16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]
- Alphabetic
- By Inheritance
- CaseClass16
- Serializable
- Product
- Equals
- Record
- Schema
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new CaseClass16(field1: Field[A1], field2: Field[A2], field3: Field[A3], field4: Field[A4], field5: Field[A5], field6: Field[A6], field7: Field[A7], field8: Field[A8], field9: Field[A9], field10: Field[A10], field11: Field[A11], field12: Field[A12], field13: Field[A13], field14: Field[A14], field15: Field[A15], field16: Field[A16], construct: (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z, extractField1: (Z) => A1, extractField2: (Z) => A2, extractField3: (Z) => A3, extractField4: (Z) => A4, extractField5: (Z) => A5, extractField6: (Z) => A6, extractField7: (Z) => A7, extractField8: (Z) => A8, extractField9: (Z) => A9, extractField10: (Z) => A10, extractField11: (Z) => A11, extractField12: (Z) => A12, extractField13: (Z) => A13, extractField14: (Z) => A14, extractField15: (Z) => A15, extractField16: (Z) => A16, annotations: Chunk[Any] = Chunk.empty)
Type Members
- type Accessors[Lens[_, _], Prism[_, _], Traversal[_, _]] = (Lens[Z, A1], Lens[Z, A2], Lens[Z, A3], Lens[Z, A4], Lens[Z, A5], Lens[Z, A6], Lens[Z, A7], Lens[Z, A8], Lens[Z, A9], Lens[Z, A10], Lens[Z, A11], Lens[Z, A12], Lens[Z, A13], Lens[Z, A14], Lens[Z, A15], Lens[Z, A16])
- Definition Classes
- CaseClass16 → Schema
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def <*>[B](that: Schema[B]): Schema[(Z, B)]
A symbolic operator for zip.
- def <+>[B](that: Schema[B]): Schema[Either[Z, B]]
A symbolic operator for orElseEither.
A symbolic operator for orElseEither.
- Definition Classes
- Schema
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ?: Schema[Option[Z]]
A symbolic operator for optional.
- def annotate(annotation: Any): Schema.CaseClass16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]
Returns a new schema that with
annotation
Returns a new schema that with
annotation
- Definition Classes
- CaseClass16 → Schema
- val annotations: Chunk[Any]
Chunk of annotations for this schema
Chunk of annotations for this schema
- Definition Classes
- CaseClass16 → Schema
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def ast: SchemaAst
- Definition Classes
- Schema
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def coerce[B](newSchema: Schema[B]): Either[String, Schema[B]]
Convert to Schema[B] iff B and A are homomorphic.
Convert to Schema[B] iff B and A are homomorphic.
This can be used to e.g convert between a case class and it's "generic" representation as a ListMap[String,_]
- Definition Classes
- Schema
- val construct: (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z
- def defaultValue: Either[String, Z]
The default value for a
Schema
of typeA
. - def diff(thisValue: Z, thatValue: Z, differ: Option[Differ[Z]] = None): Diff[Z]
Performs a diff between thisValue and thatValue.
Performs a diff between thisValue and thatValue. See zio.schema.Differ for details on the default diff algorithms.
A custom zio.schema.Differ can be supplied if the default behavior is not acceptable.
- Definition Classes
- Schema
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val extractField1: (Z) => A1
- val extractField10: (Z) => A10
- val extractField11: (Z) => A11
- val extractField12: (Z) => A12
- val extractField13: (Z) => A13
- val extractField14: (Z) => A14
- val extractField15: (Z) => A15
- val extractField16: (Z) => A16
- val extractField2: (Z) => A2
- val extractField3: (Z) => A3
- val extractField4: (Z) => A4
- val extractField5: (Z) => A5
- val extractField6: (Z) => A6
- val extractField7: (Z) => A7
- val extractField8: (Z) => A8
- val extractField9: (Z) => A9
- val field1: Field[A1]
- val field10: Field[A10]
- val field11: Field[A11]
- val field12: Field[A12]
- val field13: Field[A13]
- val field14: Field[A14]
- val field15: Field[A15]
- val field16: Field[A16]
- val field2: Field[A2]
- val field3: Field[A3]
- val field4: Field[A4]
- val field5: Field[A5]
- val field6: Field[A6]
- val field7: Field[A7]
- val field8: Field[A8]
- val field9: Field[A9]
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fromDynamic(value: DynamicValue): Either[String, Z]
- Definition Classes
- Schema
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def makeAccessors(b: AccessorBuilder): (Lens[Z, A1], Lens[Z, A2], Lens[Z, A3], Lens[Z, A4], Lens[Z, A5], Lens[Z, A6], Lens[Z, A7], Lens[Z, A8], Lens[Z, A9], Lens[Z, A10], Lens[Z, A11], Lens[Z, A12], Lens[Z, A13], Lens[Z, A14], Lens[Z, A15], Lens[Z, A16])
- Definition Classes
- CaseClass16 → Schema
- def migrate[B](newSchema: Schema[B]): Either[String, (Z) => Either[String, B]]
Generate a homomorphism from A to B iff A and B are homomorphic
Generate a homomorphism from A to B iff A and B are homomorphic
- Definition Classes
- Schema
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def optional: Schema[Option[Z]]
Returns a new schema that modifies the type produced by this schema to be optional.
Returns a new schema that modifies the type produced by this schema to be optional.
- Definition Classes
- Schema
- def orElseEither[B](that: Schema[B]): Schema[Either[Z, B]]
Returns a new schema that combines this schema and the specified schema together, modeling their either composition.
Returns a new schema that combines this schema and the specified schema together, modeling their either composition.
- Definition Classes
- Schema
- def ordering: Ordering[Z]
- Definition Classes
- Schema
- def patch(oldValue: Z, diff: Diff[Z]): Either[String, Z]
Patch value with a Diff.
Patch value with a Diff.
- Definition Classes
- Schema
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def rawConstruct(values: Chunk[Any]): Either[String, Z]
- Definition Classes
- CaseClass16 → Record
- def repeated: Schema[Chunk[Z]]
- Definition Classes
- Schema
- def serializable: Schema[Schema[Z]]
- Definition Classes
- Schema
- def structure: Chunk[Field[_]]
- Definition Classes
- CaseClass16 → Record
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toDynamic(value: Z): DynamicValue
- Definition Classes
- Schema
- def toString(): String
- Definition Classes
- CaseClass16 → AnyRef → Any
- def transform[B](f: (Z) => B, g: (B) => Z): Schema[B]
Transforms this
Schema[A]
into aSchema[B]
, by supplying two functions that can transform betweenA
andB
, without possibility of failure.Transforms this
Schema[A]
into aSchema[B]
, by supplying two functions that can transform betweenA
andB
, without possibility of failure.- Definition Classes
- Schema
- def transformOrFail[B](f: (Z) => Either[String, B], g: (B) => Either[String, Z]): Schema[B]
Transforms this
Schema[A]
into aSchema[B]
, by supplying two functions that can transform betweenA
andB
(possibly failing in some cases).Transforms this
Schema[A]
into aSchema[B]
, by supplying two functions that can transform betweenA
andB
(possibly failing in some cases).- Definition Classes
- Schema
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def zip[B](that: Schema[B]): Schema[(Z, B)]
Returns a new schema that combines this schema and the specified schema together, modeling their tuple composition.
Returns a new schema that combines this schema and the specified schema together, modeling their tuple composition.
- Definition Classes
- Schema