sealed trait CaseClass5[A1, A2, A3, A4, A5, Z] extends Record[Z]
- Self Type
- CaseClass5[A1, A2, A3, A4, A5, Z]
- Alphabetic
- By Inheritance
- CaseClass5
- Record
- Schema
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
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])
- Definition Classes
- CaseClass5 → Schema
- abstract type Field1 <: String
- abstract type Field2 <: String
- abstract type Field3 <: String
- abstract type Field4 <: String
- abstract type Field5 <: String
-
type
FieldNames = Field1 with Field2 with Field3 with Field4 with Field5
- Definition Classes
- CaseClass5 → Record
-
type
Terms = (Field1, A1) with (Field2, A2) with (Field3, A3) with (Field4, A4) with (Field5, A5)
- Definition Classes
- CaseClass5 → Record
Abstract Value Members
-
abstract
def
annotate(annotation: Any): Schema[Z]
Returns a new schema that with
annotation
Returns a new schema that with
annotation
- Definition Classes
- Schema
-
abstract
def
annotations: Chunk[Any]
Chunk of annotations for this schema
Chunk of annotations for this schema
- Definition Classes
- CaseClass5 → Schema
- abstract def construct: (A1, A2, A3, A4, A5) ⇒ Z
- abstract def field1: WithFieldName[Z, Field1, A1]
- abstract def field2: WithFieldName[Z, Field2, A2]
- abstract def field3: WithFieldName[Z, Field3, A3]
- abstract def field4: WithFieldName[Z, Field4, A4]
- abstract def field5: WithFieldName[Z, Field5, A5]
-
abstract
def
id: TypeId
- Definition Classes
- CaseClass5 → Record
Concrete 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[scala.util.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.
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
ast: MetaSchema
- Definition Classes
- Schema
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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
-
def
construct(values: Chunk[Any])(implicit unsafe: Unsafe): scala.util.Either[String, Z]
- Definition Classes
- CaseClass5 → Record
-
def
deconstruct(value: Z)(implicit unsafe: Unsafe): Chunk[Any]
- Definition Classes
- CaseClass5 → Record
-
def
defaultValue: scala.util.Either[String, Z]
The default value for a
Schema
of typeA
. -
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
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
fields: Chunk[Field[Z, _]]
- Definition Classes
- CaseClass5 → Record
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromDynamic(value: DynamicValue): scala.util.Either[String, Z]
- Definition Classes
- Schema
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
makeAccessors(b: AccessorBuilder): (Lens[Field1, Z, A1], Lens[Field2, Z, A2], Lens[Field3, Z, A3], Lens[Field4, Z, A4], Lens[Field5, Z, A5])
- Definition Classes
- CaseClass5 → Schema
-
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
-
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[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
-
def
ordering: Ordering[Z]
- Definition Classes
- Schema
-
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
-
def
repeated: Schema[Chunk[Z]]
- Definition Classes
- Schema
-
def
serializable: Schema[Schema[Z]]
- Definition Classes
- Schema
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toDynamic(value: Z): DynamicValue
- Definition Classes
- Schema
-
def
toString(): String
- Definition Classes
- CaseClass5 → AnyRef → Any
-
def
transform[B](f: (Z) ⇒ B, g: (B) ⇒ Z)(implicit loc: SourceLocation): 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) ⇒ scala.util.Either[String, B], g: (B) ⇒ scala.util.Either[String, Z])(implicit loc: SourceLocation): 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
-
def
validate(value: Z)(implicit schema: Schema[Z]): Chunk[ValidationError]
- Definition Classes
- Schema
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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