zio-schema
API
Generated with
zio-schema/zio.schema/Schema/Enum16

Enum16

zio.schema.Schema.Enum16
sealed case class Enum16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Show all
Self type
Enum16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]

Members list

Type members

Types

override type Accessors[Lens[_, _, _], Prism[_, _, _], Traversal[_, _]] = (Prism[case1.id.type, Z, A1], Prism[case2.id.type, Z, A2], Prism[case3.id.type, Z, A3], Prism[case4.id.type, Z, A4], Prism[case5.id.type, Z, A5], Prism[case6.id.type, Z, A6], Prism[case7.id.type, Z, A7], Prism[case8.id.type, Z, A8], Prism[case9.id.type, Z, A9], Prism[case10.id.type, Z, A10], Prism[case11.id.type, Z, A11], Prism[case12.id.type, Z, A12], Prism[case13.id.type, Z, A13], Prism[case14.id.type, Z, A14], Prism[case15.id.type, Z, A15], Prism[case16.id.type, Z, A16])

Value members

Concrete methods

override def annotate(annotation: Any): Enum16[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

Attributes

Definition Classes
override def cases: Chunk[Case[Z, _]]

Attributes

Definition Classes
override def defaultValue: Either[String, Z]

The default value for a Schema of type A.

The default value for a Schema of type A.

Attributes

Definition Classes
override def makeAccessors(b: AccessorBuilder): (b.Prism[case1.id.type, Z, A1], b.Prism[case2.id.type, Z, A2], b.Prism[case3.id.type, Z, A3], b.Prism[case4.id.type, Z, A4], b.Prism[case5.id.type, Z, A5], b.Prism[case6.id.type, Z, A6], b.Prism[case7.id.type, Z, A7], b.Prism[case8.id.type, Z, A8], b.Prism[case9.id.type, Z, A9], b.Prism[case10.id.type, Z, A10], b.Prism[case11.id.type, Z, A11], b.Prism[case12.id.type, Z, A12], b.Prism[case13.id.type, Z, A13], b.Prism[case14.id.type, Z, A14], b.Prism[case15.id.type, Z, A15], b.Prism[case16.id.type, Z, A16])

Attributes

Definition Classes

Inherited methods

def <*>[B](that: Schema[B]): Schema[(Z, B)]

A symbolic operator for zip.

A symbolic operator for zip.

Attributes

Inherited from:
Schema
def <+>[B](that: Schema[B]): Schema[Either[Z, B]]

A symbolic operator for orElseEither.

A symbolic operator for orElseEither.

Attributes

Inherited from:
Schema
def ?: Schema[Option[Z]]

A symbolic operator for optional.

A symbolic operator for optional.

Attributes

Inherited from:
Schema
def ast: MetaSchema

Attributes

Inherited from:
Schema
def caseOf(z: Z): Option[Case[Z, _]]

Attributes

Inherited from:
Enum
def caseOf(id: String): Option[Case[Z, _]]

Attributes

Inherited from:
Enum
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,_]

Attributes

Inherited from:
Schema
def default(value: Z): Schema[Z]

Add a default value to this schema.

Add a default value to this schema.

Attributes

Inherited from:
Schema
def diff(thisValue: Z, thatValue: Z): Patch[Z]

Performs a diff between thisValue and thatValue. See zio.schema.Differ for details on the default diff algorithms.

Performs a diff between thisValue and thatValue. See zio.schema.Differ for details on the default diff algorithms.

Attributes

Inherited from:
Schema
def fromDynamic(value: DynamicValue): Either[String, Z]

Attributes

Inherited from:
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

Attributes

Inherited from:
Schema
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.

Attributes

Inherited from:
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.

Attributes

Inherited from:
Schema
def ordering: Ordering[Z]

Attributes

Inherited from:
Schema
def patch(oldValue: Z, diff: Patch[Z]): Either[String, Z]

Patch value with a Patch.

Patch value with a Patch.

Attributes

Inherited from:
Schema
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def repeated: Schema[Chunk[Z]]

Attributes

Inherited from:
Schema
def serializable: Schema[Schema[Z]]

Attributes

Inherited from:
Schema
def toDynamic(value: Z): DynamicValue

Attributes

Inherited from:
Schema
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Enum -> Any
Inherited from:
Enum
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.

Attributes

Inherited from:
Schema
def transformOrFail[B](f: Z => Either[String, B], g: B => 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).

Attributes

Inherited from:
Schema
def validate(value: Z)(implicit schema: Schema[Z]): Chunk[ValidationError]

Attributes

Inherited from:
Schema
def validation(validation: Validation[Z]): Schema[Z]

Attributes

Inherited from:
Schema
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.

Attributes

Inherited from:
Schema

Inherited fields

val discriminatorName: Option[String]

Attributes

Inherited from:
Enum
val noDiscriminator: Boolean

Attributes

Inherited from:
Enum
lazy val nonTransientCases: Chunk[Case[Z, _]]

Attributes

Inherited from:
Enum
Generated with