PrimitiveType

zio.blocks.schema.PrimitiveType
See thePrimitiveType companion trait
object PrimitiveType

The primitive types, one case per Scala or Java type.

Attributes

Companion
trait
Source
PrimitiveType.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case class BigDecimal(validation: Validation[BigDecimal]) extends NumericPrimitiveType[BigDecimal]

The primitive type of scala.BigDecimal. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of scala.BigDecimal. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[BigDecimal]
trait PrimitiveType[BigDecimal]
class Object
trait Matchable
class Any
Show all
case class BigInt(validation: Validation[BigInt]) extends NumericPrimitiveType[BigInt]

The primitive type of scala.BigInt. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of scala.BigInt. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[BigInt]
trait PrimitiveType[BigInt]
class Object
trait Matchable
class Any
Show all
case class Boolean(validation: Validation[Boolean]) extends PrimitiveType[Boolean]

The primitive type of Boolean. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of Boolean. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait PrimitiveType[Boolean]
class Object
trait Matchable
class Any
Show all
case class Byte(validation: Validation[Byte]) extends NumericPrimitiveType[Byte]

The primitive type of Byte. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of Byte. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[Byte]
trait PrimitiveType[Byte]
class Object
trait Matchable
class Any
Show all
case class Char(validation: Validation[Char]) extends PrimitiveType[Char]

The primitive type of Char. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of Char. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait PrimitiveType[Char]
class Object
trait Matchable
class Any
Show all
case class Currency(validation: Validation[Currency]) extends PrimitiveType[Currency]

The primitive type of java.util.Currency. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.util.Currency. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class DayOfWeek(validation: Validation[DayOfWeek]) extends PrimitiveType[DayOfWeek]

The primitive type of java.time.DayOfWeek. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.DayOfWeek. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Double(validation: Validation[Double]) extends NumericPrimitiveType[Double]

The primitive type of Double. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of Double. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[Double]
trait PrimitiveType[Double]
class Object
trait Matchable
class Any
Show all
case class Duration(validation: Validation[Duration]) extends PrimitiveType[Duration]

The primitive type of java.time.Duration. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.Duration. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Float(validation: Validation[Float]) extends NumericPrimitiveType[Float]

The primitive type of Float. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of Float. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[Float]
trait PrimitiveType[Float]
class Object
trait Matchable
class Any
Show all
case class Instant(validation: Validation[Instant]) extends PrimitiveType[Instant]

The primitive type of java.time.Instant. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.Instant. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Int(validation: Validation[Int]) extends NumericPrimitiveType[Int]

The primitive type of Int. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of Int. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait PrimitiveType[Int]
class Object
trait Matchable
class Any
Show all
case class LocalDate(validation: Validation[LocalDate]) extends PrimitiveType[LocalDate]

The primitive type of java.time.LocalDate. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.LocalDate. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

The primitive type of java.time.LocalDateTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.LocalDateTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class LocalTime(validation: Validation[LocalTime]) extends PrimitiveType[LocalTime]

The primitive type of java.time.LocalTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.LocalTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Long(validation: Validation[Long]) extends NumericPrimitiveType[Long]

The primitive type of Long. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of Long. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[Long]
trait PrimitiveType[Long]
class Object
trait Matchable
class Any
Show all
case class Month(validation: Validation[Month]) extends PrimitiveType[Month]

The primitive type of java.time.Month. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.Month. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class MonthDay(validation: Validation[MonthDay]) extends PrimitiveType[MonthDay]

The primitive type of java.time.MonthDay. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.MonthDay. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

The primitive type of java.time.OffsetDateTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.OffsetDateTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class OffsetTime(validation: Validation[OffsetTime]) extends PrimitiveType[OffsetTime]

The primitive type of java.time.OffsetTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.OffsetTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Period(validation: Validation[Period]) extends PrimitiveType[Period]

The primitive type of java.time.Period. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.Period. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Short(validation: Validation[Short]) extends NumericPrimitiveType[Short]

The primitive type of Short. Its validation can be a Validation.Numeric, such as Positive or Range.

The primitive type of Short. Its validation can be a Validation.Numeric, such as Positive or Range.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait NumericPrimitiveType[Short]
trait PrimitiveType[Short]
class Object
trait Matchable
class Any
Show all
case class String(validation: Validation[String]) extends PrimitiveType[String]

The primitive type of String. Its validation can be a Validation.String, such as NonEmpty or Length.

The primitive type of String. Its validation can be a Validation.String, such as NonEmpty or Length.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait PrimitiveType[String]
class Object
trait Matchable
class Any
Show all
case class UUID(validation: Validation[UUID]) extends PrimitiveType[UUID]

The primitive type of java.util.UUID. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.util.UUID. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case object Unit extends PrimitiveType[Unit]

The primitive type of Unit, without validation. It decodes only PrimitiveValue.Unit.

The primitive type of Unit, without validation. It decodes only PrimitiveValue.Unit.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait PrimitiveType[Unit]
class Object
trait Matchable
class Any
Show all
Self type
Unit.type
case class Year(validation: Validation[Year]) extends PrimitiveType[Year]

The primitive type of java.time.Year. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.Year. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class YearMonth(validation: Validation[YearMonth]) extends PrimitiveType[YearMonth]

The primitive type of java.time.YearMonth. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.YearMonth. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ZoneId(validation: Validation[ZoneId]) extends PrimitiveType[ZoneId]

The primitive type of java.time.ZoneId. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.ZoneId. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ZoneOffset(validation: Validation[ZoneOffset]) extends PrimitiveType[ZoneOffset]

The primitive type of java.time.ZoneOffset. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.ZoneOffset. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

The primitive type of java.time.ZonedDateTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

The primitive type of java.time.ZonedDateTime. Only Validation.None is useful as its validation: under any other validation, DynamicSchema#check rejects every value.

Attributes

Source
PrimitiveType.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def fromTypeId[A](typeId: TypeId[A]): Option[PrimitiveType[A]]

Returns the primitive type, without validation, of typeId when it is an opaque type or type alias whose underlying type is a primitive type, or is itself the type ID of a primitive type. Returns None otherwise, and for null. Reflect.Wrapper uses it to find the primitive type behind an opaque type.

Returns the primitive type, without validation, of typeId when it is an opaque type or type alias whose underlying type is a primitive type, or is itself the type ID of a primitive type. Returns None otherwise, and for null. Reflect.Wrapper uses it to find the primitive type behind an opaque type.

Attributes

Source
PrimitiveType.scala