sealed trait CaseClass8[A1, A2, A3, A4, A5, A6, A7, A8, Z] extends Record[Z]

Self Type
CaseClass8[A1, A2, A3, A4, A5, A6, A7, A8, Z]
Linear Supertypes
Record[Z], Schema[Z], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CaseClass8
  2. Record
  3. Schema
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type Accessors[Lens[_, _, _], Prism[_, _, _], Traversal[_, _]] = (Lens[Field1, Z, A1], Lens[Field2, Z, A2], Lens[Field3, Z, A3], Lens[Field4, Z, A4], Lens[Field5, Z, A5], Lens[Field6, Z, A6], Lens[Field7, Z, A7], Lens[Field8, Z, A8])
    Definition Classes
    CaseClass8 → Schema
  2. abstract type Field1 <: Singleton with String
  3. abstract type Field2 <: Singleton with String
  4. abstract type Field3 <: Singleton with String
  5. abstract type Field4 <: Singleton with String
  6. abstract type Field5 <: Singleton with String
  7. abstract type Field6 <: Singleton with String
  8. abstract type Field7 <: Singleton with String
  9. abstract type Field8 <: Singleton with String
  10. type FieldNames = Field1 with Field2 with Field3 with Field4 with Field5 with Field6 with Field7 with Field8
    Definition Classes
    CaseClass8 → Record
  11. type Terms = (Field1, A1) with (Field2, A2) with (Field3, A3) with (Field4, A4) with (Field5, A5) with (Field6, A6) with (Field7, A7) with (Field8, A8)
    Definition Classes
    CaseClass8 → Record

Abstract Value Members

  1. abstract def annotate(annotation: Any): Schema[Z]

    Returns a new schema that with annotation

    Returns a new schema that with annotation

    Definition Classes
    Schema
  2. abstract def annotations: Chunk[Any]

    Chunk of annotations for this schema

    Chunk of annotations for this schema

    Definition Classes
    CaseClass8 → Schema
  3. abstract def construct: (A1, A2, A3, A4, A5, A6, A7, A8) => Z
  4. abstract def field1: WithFieldName[Z, Field1, A1]
  5. abstract def field2: WithFieldName[Z, Field2, A2]
  6. abstract def field3: WithFieldName[Z, Field3, A3]
  7. abstract def field4: WithFieldName[Z, Field4, A4]
  8. abstract def field5: WithFieldName[Z, Field5, A5]
  9. abstract def field6: WithFieldName[Z, Field6, A6]
  10. abstract def field7: WithFieldName[Z, Field7, A7]
  11. abstract def field8: WithFieldName[Z, Field8, A8]
  12. abstract def id: TypeId
    Definition Classes
    CaseClass8 → Record

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def <*>[B](that: Schema[B]): Schema[(Z, B)]

    A symbolic operator for zip.

    A symbolic operator for zip.

    Definition Classes
    Schema
  4. def <+>[B](that: Schema[B]): Schema[scala.util.Either[Z, B]]

    A symbolic operator for orElseEither.

    A symbolic operator for orElseEither.

    Definition Classes
    Schema
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def ?: Schema[Option[Z]]

    A symbolic operator for optional.

    A symbolic operator for optional.

    Definition Classes
    Schema
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def ast: MetaSchema
    Definition Classes
    Schema
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. def coerce[B](newSchema: Schema[B]): scala.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
  11. def construct(values: Chunk[Any])(implicit unsafe: Unsafe): scala.util.Either[String, Z]
    Definition Classes
    CaseClass8 → Record
  12. def deconstruct(value: Z)(implicit unsafe: Unsafe): Chunk[Any]
    Definition Classes
    CaseClass8 → Record
  13. def defaultValue: scala.util.Either[String, Z]

    The default value for a Schema of type A.

    The default value for a Schema of type A.

    Definition Classes
    Record → Schema
  14. def diff(thisValue: Z, thatValue: Z): Patch[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.

    Definition Classes
    Schema
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  17. def fields: Chunk[Field[Z, _]]
    Definition Classes
    CaseClass8 → Record
  18. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  19. def fromDynamic(value: DynamicValue): scala.util.Either[String, Z]
    Definition Classes
    Schema
  20. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def makeAccessors(b: AccessorBuilder): (Lens[Field1, Z, A1], Lens[Field2, Z, A2], Lens[Field3, Z, A3], Lens[Field4, Z, A4], Lens[Field5, Z, A5], Lens[Field6, Z, A6], Lens[Field7, Z, A7], Lens[Field8, Z, A8])
    Definition Classes
    CaseClass8 → Schema
  24. def migrate[B](newSchema: Schema[B]): scala.Either[String, (Z) => scala.util.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
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. 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
  29. def orElseEither[B](that: Schema[B]): Schema[scala.util.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
  30. def ordering: Ordering[Z]
    Definition Classes
    Schema
  31. def patch(oldValue: Z, diff: Patch[Z]): scala.util.Either[String, Z]

    Patch value with a Patch.

    Patch value with a Patch.

    Definition Classes
    Schema
  32. def repeated: Schema[Chunk[Z]]
    Definition Classes
    Schema
  33. def serializable: Schema[Schema[Z]]
    Definition Classes
    Schema
  34. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  35. def toDynamic(value: Z): DynamicValue
    Definition Classes
    Schema
  36. def toString(): String
    Definition Classes
    CaseClass8 → AnyRef → Any
  37. def transform[B](f: (Z) => B, g: (B) => Z)(implicit loc: SourceLocation): Schema[B]

    Transforms this Schema[A] into a Schema[B], by supplying two functions that can transform between A and B, without possibility of failure.

    Transforms this Schema[A] into a Schema[B], by supplying two functions that can transform between A and B, without possibility of failure.

    Definition Classes
    Schema
  38. def transformOrFail[B](f: (Z) => scala.util.Either[String, B], g: (B) => scala.util.Either[String, Z])(implicit loc: SourceLocation): Schema[B]

    Transforms this Schema[A] into a Schema[B], by supplying two functions that can transform between A and B (possibly failing in some cases).

    Transforms this Schema[A] into a Schema[B], by supplying two functions that can transform between A and B (possibly failing in some cases).

    Definition Classes
    Schema
  39. def validate(value: Z)(implicit schema: Schema[Z]): Chunk[ValidationError]
    Definition Classes
    Schema
  40. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  43. 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

Inherited from Record[Z]

Inherited from Schema[Z]

Inherited from AnyRef

Inherited from Any

Ungrouped